田村 直之

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

  • Grid 計算環境における2 つの制約解消系の試験的実装について

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

    制約プログラミングとは,「ユーザは解決したい問題を制約の形で宣言的に記述するだけで,あとは制約解消系がその制約を満たす解を求めてくれる」という問題解決手法であり,近年注目を集めている.1990 年代には商用の制約解消系が登場し,これまで制約プログラミング手法に基づく生産スケジューリング,資源割当てなどの,実用的なシステムが開発されている.しかしながら,大規模な問題に対しては,制約解消系の処理に大き …

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

    情報処理学会

ページトップへ