チューリングマシン
Infinite-time Turing machine