トップページ
⇒
tech
1001コメント
349KB
関数型言語Part3
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0339
デフォルトの名無しさん
NG
NG
>>336
そうですね。
それはそれとして、合流性じゃなくてチャーチ・ロッサー性と書いておけば
誤解を招かなかったかも、と後悔していたりします。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています