2014年7月からミクシィのエンジニアの方主催の コンピュータプログラミングの概念・技法・モデル(Concepts, Techniques, and Models of Computer Programming CTMCP, ガウディ本)読書会が2015年12月の終わりました. 10章のGUIの部分と13章については読書会では扱いませんでした. 実行環境 コンピュータプログラミングの概念・技法・モデルでは Oz 言語の Mozart Programming System という実装を用います. Mozart には 1系と2系があり, 1系は(すくなくとも GNU/Linux版は)64bit環境では動きません. Windows の場合は 64bit環境にインストール可能なようです. 8章までは 2系でもだいたい大丈夫です. 手続の引数の評価が並列に行なわれない問題があったのは記憶しています.