田村 直之

論文一覧:  1件中 1-1 を表示

  • グリッド計算環境における制約解消システムの構築に向けて

    松田 一人 , 川谷 宗之 , 岡本 英彰 , 北川 哲 , 大西秀志 , 番原 睦則 , 田村 直之

    制約プログラミングは,問題を制約の集合として宣言的に記述するだけで,制約ソルバがその制約を満たす解を求めてくれる問題解決手法であるといえる.1990 年代には商用の制約ソルバが登場し,制約プログラミング手法に基づく生産スケジューリング,資源割当てなどの実用的なシステムが数多く開発されている.制約解消には多くの計算資源が必要であるが,近年,扱う問題の複雑化にともない,効率良く,現実的な時間で解くこと …

    情報処理学会論文誌プログラミング(PRO) 46(SIG6(PRO25)), 60-60, 2005-04-15

    情報処理学会

ページトップへ