peketaminpeketamin のブックマーク 2012/01/28 02:37

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

バグの無いプログラムを作ることは可能ですか?…

    バグの無いプログラムを作ることは可能ですか? 停止性問題から「バグのないプログラムは存在しない」(あるいは「プログラムにバグの無いことは証明できない」)と良く言われますが、 Coqによる証明駆動開発 htt...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう