0090132人目の素数さん垢版 | 大砲2017/12/17(日) 01:56:49.18ID:I7x5AqJ7 それぞれのMにつき、状態数Mのチューリングマシンの停止性を判定するチューリングマシンが それぞれに存在するだけなら停止性問題に触れない