型無しラムダ計算
reference.icon
ラムダ計算 - Wikipedia