自動的に作った論理的なプログラムが意図通りの仕様にできているかどうかは保証できない。さらにそれを検証するプログラムが必要になり、、、証明の無限後退が発生する

nanakoso のブックマーク 2017/02/16 13:29

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/322343528/comment/nanakoso" data-user-id="nanakoso" data-entry-url="https://b.hatena.ne.jp/entry/d.hatena.ne.jp/shi3z/20170216/1487200968" data-original-href="http://d.hatena.ne.jp/shi3z/20170216/1487200968" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=http%3A%2F%2Fd.hatena.ne.jp%2Fshi3z%2F20170216%2F1487200968" data-user-icon="/users/nanakoso/profile.png">長文日記</a><br><p style="clear: left">自動的に作った論理的なプログラムが意図通りの仕様にできているかどうかは保証できない。さらにそれを検証するプログラムが必要になり、、、証明の無限後退が発生する</p><a class="datetime" href="https://b.hatena.ne.jp/nanakoso/20170216#bookmark-322343528"><span class="datetime-body">2017/02/16 13:29</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

長文日記

d.hatena.ne.jp/shi3z2017/02/16

400 人がブックマーク・134 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

長文日記

はてなブックマーク

公式Twitter

はてなのサービス