λ-calculus.λ計算.(lambda calculus)
■ このスレッドは過去ログ倉庫に格納されています
0004名無しさん＠お腹いっぱい。
2006/12/08(金) 01:11:53ID:gqCTHlyc0> ^^^^^^^
> ->((λx.x)x)((λx.x)x)
いくらなんでもこの簡約はありえないだろ常識的に考えて。。。
■ このスレッドは過去ログ倉庫に格納されています
> ^^^^^^^
> ->((λx.x)x)((λx.x)x)
いくらなんでもこの簡約はありえないだろ常識的に考えて。。。