そりゃチューリングマシンはあるだろうさ