ガウディ本、読了

コンピュータプログラミングの概念・技法・モデル (IT Architects' Archiveクラシックモダン・コンピューティング)

やっと読み終った。長かった、実に長かった。
本の内容を簡単にまとめると、まず宣言的なプログラミング言語があります。次にこれに並列性を加えるとこうなります。次に遅延を加えるとこうなります。次に状態を加えるとこうなります。次に・・・・、といった感じ。

最後には、SOSまで登場して各計算モデルの意味を定義してた。初めて書籍でSOSを見たよ。

あとは、ぼちぼち演習問題を解いていくかもしれない。