研究の成果

• 研究上の成果
  • 制約の連言の導入
  • 制約の優先度に関する制限の緩和
• ソフトウェアとしての成果
  • Java版HiRise 制約解消系の実装
  • HiRise 制約解消系の機能的改良
  • デモアプリケーションの作成