ラムダ計算でハマる - imHoチャーチ数は、関数 f を x に何回適用したか、で数を表すらしい。まずは０から、 zero = λf.λx. x １進めた数は succ で得られる succ = λn.λf.λx. f (n f x) ２つの数 m、n の足し算は、初期値 m にさらに n 回 f を適用すれば得られる plus = λm.λn.λf.λx. n f (m f x) 掛け算は、m の加算を n 回行う、ってことかな？ mult = λm.λn.λf.λx. n (m f) x ここまではなんとなくわかったんだけど、指数がどうして次のようになるのかわからない： exp = λm.λn. n m 手で展開してみる： exp 3 2 2 = λf.λx. f (f x) 3 = λf.λx. f (f (f x)) exp 3 2 = (λm.λn.λf.λx. n m f x) 3 2 = (λf.λx.
