チューリングマシンを知らなかったのかと