>>86
俺は単に

実行する前に無限ループするかどうかが決定されているプログラムなら判定可能
実行時に無限ループするかどうかが決定されるプログラムなら判定不可能
そして、この二つのプログラムは本質的に別物として扱わなければいけない。

という事を言いたいだけだぜ。

それに問題文に書かれているのは「可能性」の話ではなくて、
無限ループ「するかどうか」だぜ。

True False の話に『可能性』を勝手に持ち込むな。