- 集合論に基づいた言語を作りたい
707 :デフォルトの名無しさん[sage]:2014/11/09(日) 06:16:58.35 ID:co8RBkg8 - >>706
だーかーらー、そのconnect4とやらのルールを集合論的に書けばいいって言ってるだろ。 さっさとやれ。
| - 集合論に基づいた言語を作りたい
710 :デフォルトの名無しさん[sage]:2014/11/09(日) 19:17:53.75 ID:co8RBkg8 - リストもタプルも集合論の枠組み内で普通に扱えるのだが、
もういいや、1に何かを期待するのはやめた。
|
|