ホワット・ア・ワンダフル・ワールド 2ch コピペブログ始めました

Author:あろは (alohakun) WAKATSUKI toshihiro 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun abstract プログラミングという人間の知的行為を体系化し，単なる職人芸ではなく，サイエンスにするための研究をしています． 具体的には，等価変換計算モデルに基づいた，仕様記述からのプログラム合成の研究をしています． もっと噛み砕くと，プログラムの正しさをどのように定式化し，どのような枠組みで，どのように変換を進めていけば，正しさを保証したまま，効率的なプログラムを手に入れることができるのか，ということについて研究しています． キーワード : equivalent tra

[kogaken]

最近デバイスドライバの仕事に入ったんでこれは面白い。

[hamasta]

これ、普通にWEBサービスにしたら需要がありそう、、、　ソースコードを面白コメントでCodeReadingかー

[adsty]

コード読みの実況中継。「読みたいコード」。

[natsutan]

いないいない

[sshi]

このコードの読み方はおもしろすぎるのでシリーズ化きぼう