ラムダ計算
Lambda calculus is concerned with objects called "lambda-terms", which can be represented by