Lambda calculus
ラムダ計算
ビジュアルプログラミングと関数型との関連性