あの、チューリングマシン っていうのは……
えっと……