制約プログラミング

制約プログラミングのサイト constraint.org へようこそ。このサイトは制約プログラミングに関する情報を提供することを目的としています。 日本語版ページでは特に日本国内の情報を中心に、制約プログラミングおよびその周辺 分野についての情報を、基礎・応用、研究・商用を問わず掲載していく予定です。

(制約プログラミング: Constraint Programming)

制約プログラミングって何?

制約プログラミングは、

「問題を制約の集合として記述してコンピュータに与えると、コンピュータが制約を充たした答を見つけてくれる」

ことを目指すプログラミング・パラダイムのことだと言えます。

重要な点は、制約による問題の記述とその問題を解く手…

制約プログラミング入門

制約処理入門用の資料を紹介します。少しずつ内容を充実させていく予定です。

リンク ― 日本語で読めるもの

ツールの紹介

Prologの拡張・それ以外・非論理型言語のライブラリに分類して紹介します。 分類はあくまで便宜的なものです。(例えば関数論理型言語に分類される言語が Prolog的なシンタクスを持つかどうかで別々に分類されてしまったりしています。 またど…

関連情報 (学会・団体など)

関連する学会や団体、書籍などの情報を掲載しています。

団体・学会

人工知能学会

https://www.ai-gakkai.or.jp

オペレーションズ・リサーチ学会

http://www.orsj.or.jp…

応用事例

要員計画・輸送・資源割り当てなど

航海・配船支援システム

  • 航海・配船計画支援システム導入による船舶からのCO2…