3
Combinator Birds や prelude.scm のコメントに載っている
SSK(S(K(SS(S(SSK))))K)
の場合、
Yx=fxf
と仮定する。すると、
fxf=x(fxf) =x(Sf(Kf)x) =x(SSKfx) =S(Kx)(S(SSK)(Kx))f =SS(S(SSK))(Kx)f =S(K(SS(S(SSK))))Kxf
となって、
f=S(K(SS(S(SSK))))K
とすればよいことがわかり、
Yx=fxf =SSKfx Y=SSKf =SSK(S(K(SS(S(SSK))))K)
となる。