関数プログラミング 珠玉のアルゴリズムデザイン

著者 : Richard bird 山下伸夫

• オーム社 (2014年11月12日発売)

感想・レビュー・書評

[枚方さんの感想 · 2017年9月20日]

1章ずつが基本的に独立していてどれも短いので、わたしは毎日の電車の中で読んでる。章によっては片道で読み終える。
内容は、Haskellが多少読めれば問題なく読める（モナドなど知らなくて構わない。cons リストが何か、foldl が何か知ってる程度の知識が必要）。運算と呼ばれる式の変形は一つ一つは丁寧で、ただルールを適用していってるだけなので素直に読めばわかる
（式はプログラムコードなので、数式と違って曖昧さが入り込む余地が一切無いのが運算の良さだ）。たまに天下りに式が降ってくるが、それはそういう本らしいので諦めて受け入れるしかない。
薄い本だけあって、あまり深くまで問題を掘り下げない印象がある。たとえば非連続部分列和の問題では、単純な実装から線形時間の効率的な計算に変形して話を終えるが、あきらかにそれはdpをやっている。そういうことまでは言及されない。

[fraserlibさんの感想 · 2014年12月4日]

請求記号　007.64/B 46

著者プロフィール

オックスフォード大学名誉教授、同大学リンカーンカレッジフェロー。関心分野：プログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。

「2017年 『Haskellによる関数プログラミングの思考法 』 で使われていた紹介文から引用しています。」