うちにて読書会。第14回。前回は[2005-08-17-2]。

■結城浩 / プログラマの数学


情報処理系の大学・大学院を出た人には「やりなおり英語」みたいな感じです。私の場合は第８章の「計算不可能な問題」の内容がすっぽり記憶から抜けていたので、非常に有益でした。停止判定問題の解説もすごく分かりやすいし。他にもこの本で初めて理解できた項目もあり。

とはいえ、この本は、やはり高校生や情報処理系大学生（新入生）や文系プログラマなどが対象読者でしょうし、そういう方たちにはかなりオススメです。巻末の読書ガイドもGood!

で、先日[2005-08-18-4]ちょっと言及した、「コンピュータサイエンスのための 離散数学入門」の代わりとしてどうなのかのチェックですが、結論として、代わりというよりももっと基礎なのでとにかく早いうちにこの結城本を読むべし！