(有限時間内に停止することが求められるプログラムにおいて)無限ループは論理エラーである