ガウディ本

Nesting Marker

p85 入れ子マーカ(nesting marker)"$"は、任意の文を式にする。その式の値は、入れ子マーカが置かれた位置における値である。例えば、文{P X1 X2 X3}を{P X1 $ X3}と書くことができ、これは式で、その値はX2である。これにより、ソースコードが簡潔になる。…

原書

そっか、訳本と原書の比較にはGoogleブック検索を使えば良いのか! ってわけで、Concepts, Techniques, and Models of Computer Programming - Peter Van-Roy, Seif Haridi - Google ブックス やはり、×229倍、○2^29倍でした。

読み始め

コンピュータプログラミングの概念・技法・モデル (IT Architects' Archiveクラシックモダン・コンピューティング)(長いので今後の日記ではガウディ本と記す)を読み始めましたが、面白いですね。 「この本の目的」から引用 科学的基盤を導入しようと色々努力…