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

咳は止まらないし、だるいし、体調はよくないですねぇ。