2008-02-10 PLUS プログラム lambda と思って定義を確認したら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)); } } } })