>>316
チューリングマシンの方が早い