前者関数を (lambda(n f x)(n (lambda(g h)(h (g f))) (lambda(u) x) (lambda(u) u)))と定義すると、Lazy K では S(S(KS)(S(K(S(KS)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)K)(K(S(K(S(K(SI))))(S(K(S(KK)))(S(K(SI))K))))))))(K(KK)))))(K(K(KI)))とな…