集合論に基づいた言語を作りたいat TECH
集合論に基づいた言語を作りたい - 暇つぶし2ch604:587ではない
14/10/23 22:48:38.73 jdc4xe8Q.net
>>597
問題領域が「有限集合と集合間の関係」でモデル化できるのであれば、
関数型やオブジェクト指向よりも論理型言語の Prolog のほうが圧倒的に簡潔に書ける

・プログラミング雑談スレ♯+++
 スレリンク(tech板:357-371番)

この例では、従業員/部門/所属という有限集合を扱っている
たとえば集合 従業員 は以下のように定義される

 従業員 = { <1, 山田>, <2, 鈴木>, <3, 田中>. <4, 松下>. <5, 本田> }

ここで、「<X, Y>」は集合 X と Y の直積を表す


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch