チューリングの計算理論入門 チューリング・マシンからコンピュータへ - メルカリ