-
プログラム
-
関数型プログラミング言語Haskell Part34
-
UPLIFTで広告なしで体験しましょう!快適な閲覧ライフをお約束します!
>>484
意味不明すぎる
ラムダ計算は数学的に正当化されてるだろ
例えば合流性があるとか数学的に証明されてる
これのどこに非数学的要素があるんだって言ってるんだよ
すでに数学的な説明がされてるものに対して、数学的に正当化されてないとか言うのやめろよ
↑今すぐ読める無料コミック大量配信中!↑