階層的コントロールの論理とプログラム抽出

2012 年度 研究成果報告書

• 研究課題/領域番号: 23650003
• 研究種目: 挑戦的萌芽研究
• 配分区分: 基金
• 研究分野: 情報学基礎
• 研究機関: 筑波大学
• 研究代表者: 亀山 幸義 筑波大学, システム情報系, 教授 (10195000)
• 研究期間 (年度): 2011 – 2012
• キーワード: プログラム理論

研究概要

プログラムの実行順序を制御するコントロールオペレータについて、必要呼び計算と並列計算の2つの設定で、論理的な側面の研究を行った。前者においては、論理型プログラミング言語のある種の探索機能と関数型プログラミング言語の限定継続コントロールオペレータが対応することを示した。後者においては、適切なコントロールのもとで、コントロールオペレータを持つ並列計算体系が透過的な意味論を持つことを証明した。

研究成果

• [雑誌論文] 限定継続機構とfuture を持つ計算体系の透過的意味論 (2013)
  • 著者名/発表者名: 田中麻峰,亀山幸義
  • 雑誌名: 情報処理学会論文誌
  • 査読あり
• [雑誌論文] Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras (2012)
  • 著者名/発表者名: Jefferson O. Andrade, Yukiyoshi Kameyama
  • 雑誌名: Special Section on Formal Approach, IEICE Transactions on Information and Systems 巻: 5 ページ: 1335-1364
  • 査読あり
• [学会発表] Lazy Delimited Nondeterminism (2012)
  • 著者名/発表者名: Sebastian Fischer, Michael Hanus, Yukiyoshi Kameyama, Chung-chieh Shan, Naoki Takashima
  • 学会等名: International Workshop on Functional and (Constraint) Logic Programming (WFLP 2012), Work-in-Progress session
  • 発表場所: 名古屋大学
  • 年月日: 2012-05-29
• [学会発表] コントロールオペレータを持つ必要呼び計算体系の設計 (2011)
  • 著者名/発表者名: 西山達也, 亀山幸義
  • 学会等名: 情報処理学会第86回プログラミング研究会(PRO86)
  • 発表場所: 神奈川近代文学館(横浜市)
  • 年月日: 2011-11-02