2014-03-20 『チューリングの計算理論入門 チューリング・マシンからコンピュータへ』 高岡詠子 著 講談社ブルーバックス ISBN978-4-06-257851-6 コンピュータの基礎となるチューリングの計算理論に関して書かれた本。 トートロジー感あふるる説明で私にはよく分からなかったが、雑学本といえば雑学本か。 アルゴリズムを実行できるのがチューリング・マシンで、チューリング・マシンで実行できるのがアルゴリズム、みたいな。 雑学本として割り切るなら、ありかもしれない。 それでよければ、という本だろう。