サクサク読めて、アプリ限定の機能も多数!
Nyoho のブックマーク 2013/03/12 08:32
コンパイルは(テストではなく)証明である - あどけない話[静的][関数型][動的][テスト]2013/03/12 08:32
このブックマークにはスターがありません。 最初のスターをつけてみよう!
kazu-yamamoto.hatenablog.jp2013/03/11
「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に...
84 人がブックマーク・13 件のコメント
\ コメントが サクサク読める アプリです /
Nyoho のブックマーク 2013/03/12 08:32
このブックマークにはスターがありません。
最初のスターをつけてみよう!
コンパイルは(テストではなく)証明である - あどけない話
kazu-yamamoto.hatenablog.jp2013/03/11
「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に...
84 人がブックマーク・13 件のコメント
\ コメントが サクサク読める アプリです /