関数型プログラミング事始め (35) ラムダ計算(2)