サクサク読めて、アプリ限定の機能も多数!
おもしろい。でも出来ないことを証明するのは、難しい。
yoshiii のブックマーク 2011/03/08 23:43
バグの無いプログラムを作ることは可能ですか?…[bug][hatena][Q&A]おもしろい。でも出来ないことを証明するのは、難しい。2011/03/08 23:43
このブックマークにはスターがありません。 最初のスターをつけてみよう!
q.hatena.ne.jp2011/03/02
バグの無いプログラムを作ることは可能ですか? 停止性問題から「バグのないプログラムは存在しない」(あるいは「プログラムにバグの無いことは証明できない」)と良く言われますが、 Coqによる証明駆動開発 htt...
17 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /
おもしろい。でも出来ないことを証明するのは、難しい。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
バグの無いプログラムを作ることは可能ですか?…
バグの無いプログラムを作ることは可能ですか? 停止性問題から「バグのないプログラムは存在しない」(あるいは「プログラムにバグの無いことは証明できない」)と良く言われますが、 Coqによる証明駆動開発 htt...
17 人がブックマーク・5 件のコメント
\ コメントが サクサク読める アプリです /