2009-05-01から1日間の記事一覧

Javaによる制約解消系 Cream

さまざまな制約(Constraint)を満たす解を求める枠組みを制約解消系(Constraint Solver)と呼ぶ.たとえば,Prologなんかは言語でもあるけれど,制約解消エンジンが組み込まれているとも言える.制約解消は,いろんな問題に使えるが,身近なところだとパズルが…