λ-calculus.λ計算.(lambda calculus)

[0047 名無しさん＠お腹いっぱい。 2006/12/23(土) 22:13:37 ID:443fv80m0]

YF = F(YF) なんだよね。なら
Y (λgx.Sgx) = (λgx.Sgx) (Y (λgx.Sgx)) だよね。