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

[0166 名無しさん＠お腹いっぱい。 2009/08/04(火) 00:42:10 ID:m0rcM/ks0]

>>165
無理数を扱う時にTMが停止しないことに言及した方がいいけど、
まあいいんじゃないの。