バグの無いプログラムを作ることは可能ですか？…バグの無いプログラムを作ることは可能ですか？ 停止性問題から「バグのないプログラムは存在しない」（あるいは「プログラムにバグの無いことは証明できない」）と良く言われますが、 Coqによる証明駆動開発 http://d.hatena.ne.jp/mzp/20110228/ruby ではプログラムを証明できるみたいですが、これは冒頭の１文が可能ということでしょうか？ あと、 「カリー･ハワード同型対応」 について教えて下さい。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
