制約プログラミング
制約プログラミングのサイト constraint.org へようこそ。このサイトは制約プログラミングに関する情報を提供することを目的としています。 日本語版ページでは特に日本国内の情報を中心に、制約プログラミングおよびその周辺 分野についての情報を、基礎・応用、研究・商用を問わず掲載していく予定です。
(制約プログラミング: Constraint Programming)
制約プログラミングって何?
制約プログラミングは、
「問題を制約の集合として記述してコンピュータに与えると、コンピュータが制約を充たした答を見つけてくれる」
ことを目指すプログラミング・パラダイムのことだと言えます。
重要な点は、制約による問題の記述とその問題を解く手…
ツールの紹介
Prologの拡張・それ以外・非論理型言語のライブラリに分類して紹介します。 分類はあくまで便宜的なものです。（例えば関数論理型言語に分類される言語が Prolog的なシンタクスを持つかどうかで別々に分類されてしまったりしています。 またど…