- 集合論に基づいた言語を作りたい
424 ：１[sage]：2014/10/04(土) 09:55:23.27 ID:jzKUq2O9 - >>423
トリミングについてはちょっとふれただけだろ。
そんなに粘着した覚えはないぞ。
|
- 集合論に基づいた言語を作りたい
431 ：１[sage]：2014/10/04(土) 16:10:38.32 ID:jzKUq2O9 - >>425
何がしたいかといわれると、建前では教科書の章末問題のようなものを
サクサクインプリメントできる言語をつくりたいだが、本音を言えば>>386だな。
まあ、集合論に基づいた言語自体、まだ形がほとんど何もできてない状態だから
議論がぶれるのはある程度しかたないな。
>>428
後出しジャンケンといわれても困るんだが。
|
- 集合論に基づいた言語を作りたい
433 ：１[sage]：2014/10/04(土) 16:23:04.72 ID:jzKUq2O9 - >>432
まあ、主に離散数学だな。
|