ラムダ計算
まず、拡張ラムダ計算を次のように定義する。