書評 - チューリングの計算理論入門

チューリングの計算理論入門 (ブルーバックス)

一般向けに計算機科学をテーマにして書いた書籍が出版されることは大変まれなことだ。IT書籍といえば、PC書籍や技術書籍といった実用本がほとんどである。暗号理論や情報理論の書籍はいくつか数学本コーナーで目にしたことがあるが、計算機科学について書かれた本が書店に並ぶのを見る機会はほとんどなかった。専門外の友人に計算機科学を知ってもらうために紹介できる本が欲しかった。そんな中、講談社のブルーバックスシリーズの一つとして、この本が2014年の2月に発売された。ブルーバックスは主に科学技術について書かれた新書のシリーズである。新書は単行本に比べて値段が安く、他人にも薦めやすい。この本を知ってとても嬉しかったのだが、あまりに注目されていないことが悲しかった。そう思って今回、人生初めての書評記事を書くことにした。

書籍の概要と目次は
http://bookclub.kodansha.co.jp/bc2_bc/search_view.jsp?b=257851
から参照していただきたい。

本書の魅力は、「計算とはなにか」について読者を説得する部分である。人が普段行っている計算が「分岐」と「反復」を含んでいることを丁寧に説明しており、おそらく専門外の人間にもわかりやすいだろう。
中でも次の部分は個人的には気に入っている。

人間のあらゆる作業を「計算」として定義することができる
(p. 24)

このようなことを序盤からぶっぱなしている。ドン引き食らいそうな一文だが、理解できなくもない。

一方で、理論の話になると怪しい説明が目立つ。特に非決定性計算の説明は誤解を生みそうだ。

(前略) 厳密な答えではないかもしれないけど、条件により近い答えの候補をいくつか出すことができればよいではないですか！このような、 (中略) アルゴリズムを「非決定性アルゴリズム」と呼びます。
(p. 173)

他の細かい言い間違いには目をつむるとしても、この説明は看過しがたいほど酷い。非決定性のプリミティブな意味(複数の状態に遷移できる)は一応説明してあるが、この誤解を生みそうな説明も繰り返し行われる。こういった説明を読んだ読者は正しい理解ができるだろうか？僕が専門外の読者なら、非決定性アルゴリズムというよりはヒューリスティクスのようなものを想像したか、もしくはプリミティブで正しい意味との食い違いに混乱しただろう。この点は残念だ。

ひとまずは、ブルーバックスでも数少ない計算機科学の新書に新たな一冊を卸してくれた著者の高岡詠子氏に感謝したい。こういうチャレンジはとてもありがたい。