集合論に基づいた言語を作りたいat TECH集合論に基づいた言語を作りたい - 暇つぶし2ch696:デフォルトの名無しさん 14/11/08 15:17:42.64 N89Y1+Fh.netconnect4を集合論プログラミングの例題として使いたいんなら、 まずはconnect4のルールを集合論的に定義するのが先だ。 今のところ1がやってるのは単なる手続き的実装例の移植じゃん。 それで参考になるわけがない。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch