netail.net

_ [読書] 計算モデルの本 ▲

コンピュータプログラミングの概念・技法・モデルの日本語版(wikipediaのページ)のうち興味があったところだけ拾い読みしてみました．

計算モデル，言語の意味（操作的意味とか）について，関数型，OOP，論理型，制約プログラミング，並列計算など幅広く日本語で解説が読めます．私の場合は，意味論まわりの知識が不足気味だった（関連書籍も持っていなかった）ので，ちょうど役立ちそうな本を手に入れたという印象です．

章構成はプログラミング言語の概念にしたがっているので，「大規模プログラムの設計」みたいなソフトウェア工学のトピックは6.7節とか，7章の一部にこっそり埋まっています．リファクタリングやデザインパターン，契約による設計などについても，そのあたりで言及があります（別にすごいことが書いてあるわけではありませんが）．

事前知識としていくらかの概念を知っているとき，たとえば抽象データ型，コンポーネントベースプログラミング，オブジェクトについて，違いは何だろうか，みたいなことを調べたいときには良さげな本だと思います．