確率的システムを対象とした高水準制約プログラミング言語

• 研究課題/領域番号: 21700046
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 国立情報学研究所
• 研究代表者: 細部 博史 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (60321577)
• 研究期間 (年度): 2009 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円); 2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2010年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2009年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
• キーワード: 制約プログラミング / ソフト制約 / 確率的システム / ソフトウェア学 / プログラム処理系

研究概要

システムのモデル化,シミュレーション,推論を行うための制約プログラミング技術を構築した.主要な成果は,確率的システムのモデル化の枠組みとして確率的制約充足問題を定式化し,その性質を統計的に解析する手法を与えたことである.また副次的な成果として,半環に基づく制約充足問題に関する理論的結果と,優先度を伴った線形制約の高速処理手法,非線形制約と常微分方程式の連立処理手法を与えた.

研究成果

• [雑誌論文] A Simplex-Based Scalable Linear Constraint Solver for User Interface Applications (2011)
  • 著者名/発表者名: Hiroshi Hosobe
  • 雑誌名: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence ページ: 793-798
  • DOI: 10.1109/ictai.2011.124
  • 査読あり
• [雑誌論文] Including Ordinary Differential Equations Based Constraints in the Standard CP Framework (2010)
  • 著者名/発表者名: Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, and Hiroshi Hosobe
  • 雑誌名: Lecture Notes in Computer Science 巻: Vol.6308 ページ: 221-235
  • DOI: 10.1007/978-3-642-15396-9_20
  • ISBN: 9783642153952, 9783642153969
  • 査読あり
• [雑誌論文] Including Ordinary Differential Equations Based Constraints in the Standard CP Framework (2010)
  • 著者名/発表者名: Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe
  • 雑誌名: Lecture Notes in Computer Science 巻: 6308 ページ: 221-235
  • 査読あり
• [雑誌論文] Constraint Hierarchies as Semiring-Based CSPs (2009)
  • 著者名/発表者名: Hiroshi Hosobe
  • 雑誌名: Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence ページ: 176-183
  • DOI: 10.1109/ictai.2009.43
  • 査読あり
• [学会発表] 確率的制約充足問題への統計的アプローチ (2012)
  • 著者名/発表者名: 細部博史
  • 学会等名: 第12回CSPSAT研究会
  • 発表場所: 湯布院公民館(大分県)
  • 年月日: 2012-03-19