と思って定義を確認したらPLUSができた． PLUS := λm n f x. m f (n f x) (function(m){ return function(n){ return function(f){ return function(x){ return m(f)(n(f)(x)); } } } })

あれ？？ PLUSを頑張ってたんだけど，なぜか MULT := λm n f. m (n f) になっちゃいました・・・ (function(m){ return function(n){ return function(f){ return function(x){ return m(n(f))(x); } } } })なぜだか，掛け算になってしまいました・・・ (fun…

チャーチ数 0: λ f x. x 1: λ f x. f x 2: λ f x. f (f x) 3: λ f x. f (f (f x)) ... 簡単にいうと，fを適用した回数で自然数を表現していると． 演算 SUCC := λn f x. f (n f x) チャーチ数を受け取って次を計算する(チャーチ数nを受けてチャーチ数n+1を返…