これは本当に最後まで走らせる必要があるわけではない、
どこまで計算効率を上げられるか
停止しないプログラムは停止しないという判定をしなければならない。
限定的に停止性を判定するアルゴリズムは存在するものの、それをどこまで簡単にできるか？
またそのプログラムを開発するプログラムはもっと複雑になるのではないか？
停止性を判定するプログラムはオラクルで与えられてもいい、つまり適当に作ったプログラムが
たまたまそうなっていたとしてもいい、ではそれがほんとうに停止性を判定するプログラムであると
判定するプログラムは？
停止性を判定するプログラムであると判定するプログラムであると判定するプログラムは？
これもうわかんねえな
