Structural C++ - d.y.d.

19:05 08/05/31 本 私が一番好きなSFと言えば『百万年の船』ですが、 昨日読んで『タウ・ゼロ』が二番目に好きなSFに なりました。最近本の感想が大袈裟です。このどうしようもなく取り返しのつかない方向に お話が突っ走っていくっぷりが楽しい。あと、私が感情移入する気になれる主人公ってそうそういない。 いやそれはともかく、 まだこの二冊しか読んだことないのですけど、どうも自分はポール・アンダースンを読み漁るべきっぽいな。 UTPC UTPC というのに参加してました。 みんな解いてるから解けるはず！と思って挑み続けた E が結局解けずじまいでした。 うわーん。K かせめて H に時間使うべきだった。しかし若者勢とロートル勢のバランスが絶妙だ。 → 提出物一式。 13:58 08/05/29 ICFPの ICFP Programming Contest のページが更新されてました。

[natsumesouxx]

Proof Driven Development

[yuiseki]

証明駆動開発。。

[TOKOROTEN]

証明駆動開発

[yoshihiro503]

「証明駆動開発(Proof Driven Development)」という言葉の原典

[mzp]

>C++ ほど Structural Polymorphism 大好きな言語を他に私は知らない。やっぱり、C++は特異な言語だ

[kgbu]

証明できるように書く。テストドリブン開発のベースとして、いい指向だと思った。あと、付け加えておきたいとすれば、SELinuxなどのポリシーの整合性くらいかな。[security][selinux]

[ytb]

"証明駆動開発 (Proof Driven Development)" という考え方

[blanketsky]

"無限のテンプレート実体が必要になっちゃう" 再帰

[sshi]

「C++ ほど Structural Polymorphism 大好きな言語を他に私は知らない。」/そ、そうだったのかー