ラムダ計算
Lambda calculus allows data to be stored as parameters to a function that does not yet have all the parameters required for application. For example,