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