>  2007/02/12 (月) 17:23:10        [qwerty]
> > 文系はこれだから(;´Д`)
> > まぁ数式よりは直感的理解が大切だとは思うけどね
> (λx. x x) (λx. x x)
> 数式があっても計算可能とは限らないしな

ラムダ算法は複雑になってくるとわけがわからん

参考:2007/02/12(月)17時19分46秒