毛のはえたようなもの

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

algorithm/coding

制約プログラミング

トラバ先から。 制約論理型言語は、問題の解き方(アルゴリズム)を記述するのではなく、解に求められる制約を静的、宣言的に記述して、コンピュータに探索させて解を求めるというもの。Wikipediaの制約プログラミング説明、がなかなかいいな。 http://www.i…