高階関数プログラムの停止性判定に関する研究

2010 年度 自己評価報告書

• 研究課題/領域番号: 20500008
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 名古屋大学
• 研究代表者: 草刈 圭一朗 名古屋大学, 情報科学研究科, 准教授 (90323112)
• 研究期間 (年度): 2008 – 2011
• キーワード: 計算理論

研究概要

(1)静的依存対法の適用可能な関数プログラムのクラスの拡張。
(2)引数切り落とし法の高階関数への対応
(3)実効規則の概念の高階関数への対応
(4)対象とする計算モデルの拡張と、拡張したモデル上での得られた知見の再構築
(5)得られた知見に基づく停止性自動証明システムの構築

研究成果

• [雑誌論文] Argument Filterings and Usable Rules in Higher-Order Rewrite Systems (2011)
  • 著者名/発表者名: SUZUKI Sho, KUSAKARI Keiichirou, Frederic Blanqui
  • 雑誌名: IPSJ Transactions on Programming Vol.4, No.2 ページ: 1-12
  • 査読あり
• [雑誌論文] Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems (2009)
  • 著者名/発表者名: KUSAKARI Keiichirou, ISOGAI Yasuo, SAKAI Masahiko, Frederic Blanqui
  • 雑誌名: IEICE Transactions on Information and Systems,D Vol.E92, No.10 ページ: 2007-2015
  • 査読あり
• [雑誌論文] Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques (2009)
  • 著者名/発表者名: KUSAKARI Keiichirou, SAKAI Masahiko
  • 雑誌名: IEICE Transactions on Information and Systems, D Vol.E92, No.2 ページ: 235-247
  • 査読あり