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