マンゴルト関数 ラムダ 27