>>118
1-tape TuringMachineのプログラムでもいいですか?