このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

［参照用 記事］

再帰代入系 1

コンテンツ追加

Chimairaでは、完全に構文的な操作として、結合（composition）、集約、再帰化などを定義して、その後で構文に対する意味（モデル）を割り当てる方針です。その土台となるのが再帰代入系という概念です。

先走って言えば、再帰代入系の結合、集約、再帰化は、ソフトウェア的コンポネントの直列結合、並列結合、フィードバックに対応します。