FromNand https://blog.hatena.ne.jp/FromNand/ FromNandの日記 https://fromnand.hatenadiary.jp/ 数学 Wikiがわかりやすかった。 停止性問題 - Wikipedia まず、プログラムが停止するかどうかを判別できるプログラムH(A)が存在したと仮定する。(この仮定が結果的に矛盾を生じる) プログラムH(A)は引数としてプログラムAを取り、プログラムAが停止する場合はYESを、停止しない場合はNOを返す。 次に、プログラムHを利用して次のようなプログラムM(H, A)を考える。 M(H, A){ if(H(A) == YES){ while(1); } } 上の実装を見るとわかるが、M(H, A)はH(A)がYESを返す(つまり、Aが停止するとHが判断する場合)に無限ループに入り、M(H, A)… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffromnand.hatenadiary.jp%2Fentry%2F2020%2F03%2F19%2F235030" title="停止性問題についてまとめておく - FromNandの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-03-19 23:50:30 rich https://fromnand.hatenadiary.jp/entry/2020/03/19/235030 1.0 100%