ラムダ計算を「プログラムが書ける」というのと同じだな。