To provide a systematic and generic method for defining objective functions with respect to constrained optimizationproblems, constraint satisfaction problems, and free optimizationproblems. 制約付き最適化問題、制約充足問題、及び自由最適化問題についての目的関数を定義するための系統的且つ一般的方法の提供。 - 特許庁