2011年12月8日木曜日

vdiの限界

最近 VDIのcitrixを読んでいると、PCの時代は終わったのでは?と思うことがある。過渡期のシステムと思って10年は持つと思っていたが、早めに終焉を迎えるかもしれない。
 PCがいらないのであれば VDI DaaSもいらないのではと思うようになった。
 MSの時代がしばらく続くがRichClientがソフト+通信でできるようになってきた。

2011年4月4日月曜日

ソフトウエア工学 古きを訪ねて

プログラミング思考法が為になる

SE 古きを訪ねて

有沢先生の本を読んでいる
 KNUTH先生のプログラム論がおもしろい

仮想化 温故知新

KVMからQEMUのコードを見ている
 MINIXも見ている

 VMware Xen の生い立ちを見ている

2011年1月25日火曜日

NP完全問題と3SAT問題 P=NP証明?

3SAT問題を多項式時間で解くアルゴリズムが発表される。
P=NP証明に?
hylomによる 2011年01月24日 22時32分の掲載
Vladimir Romanov氏が、3SAT問題を解く多項式時間アルゴリズムなるものをリリースしたそうだ(該当のブログエントリ)3SAT問題はNP完全なので、この主張が正しければ、P=NPであることになる。ソースコードはGitHubにて公開されている 。

2011年1月22日土曜日

Selected Papers on Fun and Games

Selected Papers on Fun and Games (Center for the Study of Language and Information - Lecture Notes)
Knuth先生の論文集の8番目の本.さっそく買いに行かなくては?と思うのだけれど.

 この本の紹介記事

This is the eighth in a series of eight volumes that contain archival forms of my published papers, together with new material. (The first book in the series was Literate Programming; the second was Selected Papers on Computer Science; the third was Digital Typography; the fourth was Selected Papers on Analysis of Algorithms; the fifth was Selected Papers on Computer Languages; the sixth was Selected Papers on Discrete Mathematics; the seventh was Selected Papers on Design of Algorithms.) The Fun and Games volume is characterized by the following remarks quoted from its preface.


パズルの本?

2011年1月7日金曜日