>>401
チューリングの定理：任意のプログラムが停止するかどうかを判断できるようなアルゴリズムは存在しない
つまりプログラムがハングorフリーズするかどうかチェックできる汎用的なプログラムは
作ることは不可能。
入力するプログラムの条件をごくごく限定すれば可能だが。

これは経験則ではない。数学上の「定理」。

反例を示すことができたら
（つまり停止するかどうか判別できるプログラムを君が作ることができたら）
フィールズ賞をもらえるか愉快な電波としてこの板に少々の話題を提供して消えていくことになるだろう。