Lambda calculus
のようにして、関数を表現する。この例は、ラムダ計算における