つか、λ計算とラムダ式は、意味が違うと思われ。