単行本(実用) 数学 チューリングマシン 説明できますか?