λ-calculus.λ計算.(lambda calculus)
■ このスレッドは過去ログ倉庫に格納されています
0122名無しさん＠お腹いっぱい。
2007/09/28(金) 04:04:06ID:xu52pyjv0不動点オペレータYの
導出の仕方がわかりません
Y=λf.(λx.f(xx))(λx.f(xx))とすれば
Yf=f(Yf)となるのは確かめられるのですが･･･
■ このスレッドは過去ログ倉庫に格納されています
不動点オペレータYの
導出の仕方がわかりません
Y=λf.(λx.f(xx))(λx.f(xx))とすれば
Yf=f(Yf)となるのは確かめられるのですが･･･