階層連立1次方程式のための制約解消系パッケージHiRiseの改良と移植

松岡 聡 (東京工業大学大学院情報理工学研究科数理・計算科学専攻)
細部 博史(日本学術振興会特別研究員-PD/東京大学大学院理学系研究科情報科学専攻)

• 研究の背景と目的
• 研究の内容
  • 制約の連言の導入
  • 制約の優先度に関する制限の緩和
• 研究の成果
  • 研究上の成果
    • 制約の連言の導入
    • 制約の優先度に関する制限の緩和
  • ソフトウェアとしての成果
    • Java版HiRise 制約解消系の実装
    • HiRise 制約解消系の機能的改良
    • デモアプリケーションの作成
• 残された課題
• 自己評価
• 参考文献