←
↑
IMAGE
[宮下]
→
図形間の制約関係の宣言的記述から図形を自動配置
実際の配置の変更により制約の記述に反映
複数の配置例から宣言的配置制約を推論
推論された配置制約を別の例に適用した結果をユーザに提示