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