制約プログラミング

トラバ先から。

制約論理型言語は、問題の解き方（アルゴリズム）を記述するのではなく、解に求められる制約を静的、宣言的に記述して、コンピュータに探索させて解を求めるというもの。

Wikipediaの制約プログラミング説明、がなかなかいいな。

http://www.iwazer.com/~iwazawa/diary/2008/03/nqueens.html

こういう考え方もあるのかあ。知りませんでした。

知らないことが多すぎて恥ずかしい。でもしかし厚顔無恥でブログを書き続ける。