fjkz https://blog.hatena.ne.jp/fjkz/ 超ウィザード級ハッカーのたのしみ https://fj.hatenablog.jp/ 計算機 不完全性定理や停止性問題に通じる話だと思う．（不完全性と決定不可能性の関係はいまいちよく分かっていない） その証明が正しいことを証明しろと言われてもできるわけない．説明はできるが，証明はできない．内容見て正しいか判断するしかない．見る人が正しく判断できるというのは仮定だ． 論理が正しいことは論理では証明不可能だ．これは証明できる． 同様にコードが正しいことも証明できない．人間が頑張って読んで正しいか判断する（いわゆるレビュー）か，動かしてみるしかない．動かしてみるというのは機械がコードを読んで判断しているということだ．動かしてみて，動いてるんだから，それで正しいというしかない． テスト項目があ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffj.hatenablog.jp%2Fentry%2F2014%2F10%2F04%2F232237" title="コードが正しいことは証明できない - 超ウィザード級ハッカーのたのしみ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ecx.images-amazon.com/images/I/51sBzhR064L.jpg Hatena Blog https://hatena.blog 2014-10-04 23:22:37 rich https://fj.hatenablog.jp/entry/2014/10/04/232237 1.0 100%