解決法7: 制約プログラミング
Solution7: constraint programming
オブジェクト間の制約を宣言的に記述
Define constraints between objects
システムが制約を自動解決
System solve constraints automatically
適用分野
Applications
グラフィック図形間の制約
Constraints between graphical objects
「AはBとCの中間」
Figure A is between B and C
どれかを動かすと残りも追随
When one of them is moved, others are also moved
スプレッドシート
Spreadsheets
制約が破られると自動的に再計算が行なわれる
Automatic re-calculation
いわゆるスプレッドシート以外のアプリケーションにも適用可能
Applicable to non-spreadsheet apps