>>67
後付けでありませんて言われてもなあ。
問題にそういう断りがないんだから別にいいだろ。
どっちにしろ>>37の
「無限ループするかどうかを確実に検出する」
ことには変わりないんだし。