- 集合論に基づいた言語を作りたい
461 ：1[sage]：2014/10/08(水) 18:47:59.90 ID:hP0aEtf7 - >>458
ばれたか。ZFCとか名前くらいは聞いたことあるけど
どうやって論理を展開していくのとか知らない。
>>459
出来ればもうちょっと面白いアイディアが欲しい。
クソスレも板の賑わいってことで。
|
- 集合論に基づいた言語を作りたい
463 ：１[sage]：2014/10/08(水) 20:46:16.58 ID:hP0aEtf7 - あんまりいうと個人情報とか洩れるかもしれんので一つだけ。
もう捨てちまって手元にないがこれかな。
http://www.amazon.co.jp/dp/4274130053
|
- オブジェクト指向は愚かな考え。
914 ：デフォルトの名無しさん[sage]：2014/10/08(水) 22:30:16.12 ID:hP0aEtf7 - この問題だれが考えたの？
センスいいなｗ
|
- 集合論に基づいた言語を作りたい
465 ：１[sage]：2014/10/08(水) 22:32:55.73 ID:hP0aEtf7 - そんな漠然としたこと聞かれても。
まあ、情報系の学部出身だよ。
|
- 集合論に基づいた言語を作りたい
468 ：１[sage]：2014/10/08(水) 23:24:26.28 ID:hP0aEtf7 - 数学科ではないな。
まあ、俺は数学ガチ勢ではないってことで。
|