読者です 読者をやめる 読者になる 読者になる

毛のはえたようなもの

インターネット的なものをつらつらとかきつらねる。

制約プログラミング

Ruby algorithm/coding

トラバ先から。

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

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

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

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


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