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

[0067 名無しさん＠お腹いっぱい。 2007/02/04(日) 01:10:23 ID:6qLK1Z2H0]

>>66
モナドは不可逆という一点しか利用しておらず、圏論などと言うことはおこがましい