解決法7: 制約プログラミング

  • オブジェクト間の制約を宣言的に記述
  • システムが制約を自動解決
  • 適用分野
    • グラフィック図形間の制約
      • 「AはBとCの中間」
      • どれかを動かすと残りも追随
    • スプレッドシート
      • 制約が破られると自動的に再計算が行なわれる
      • いわゆるスプレッドシート以外のアプリケーションにも適用可能