チューリング完全ならどんな言語だって停止性の保証なんかできないんだぜ