有限ラムダ多項式によるクロージャーの定義 有限ラムダ多項式 有限ラムダ多項式は以下のものから構成されます。 定数 変数 は演算子、 は有限ラムダ多項式 演算子 に対して演算子の項数 が決まっているとします。定数は項数 の演算子とします。 クロージャー…