可逆計算系と可逆プログラミング言語の設計と実現に関する研究

2012 年度 研究成果報告書

• 研究課題/領域番号: 22700042
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 南山大学
• 研究代表者: 横山 哲郎 南山大学, 情報理工学部ソフトウェア工学科, 准教授 (80456631)
• 研究期間 (年度): 2010 – 2012
• キーワード: プログラミング言語 / プログラミング方法論 / 可逆計算 / 可逆シミュレーション / 可逆プログラミング言語

研究概要

本研究では、可逆計算系における基礎的な概念・理論の整備を行って、高水準可逆プログラミング言語に有用な概念を抽出し、それを扱う方法論の確立を目指した。われわれの提案した単射関数のクリーンな可逆シミュレーションは、Bennettによって示されたものに対して、約二分の一の計算ステップ数で実現することができる。提案した可逆シミュレーションは、われわれの形式化した高水準可逆プログラミング言語において実際に実現できることが示された。

研究成果

• [雑誌論文] Optimizing Reversible Simulationof Injective Functions (2011)
  • 著者名/発表者名: 横山哲郎 , Holger Bock Axelsen, Robert Gluck
  • 雑誌名: Journal ofMultiple-Valued Logic and SoftComputing 巻: Vol.18, No.1 ページ: 5-24
  • 査読あり
• [学会発表] A High-Level Reversible Programming Language (2011)
  • 著者名/発表者名: 横山哲郎
  • 学会等名: Dagstuhl Seminaron Design of Reversible and QuantumCircuits
  • 発表場所: Dagstuhl, ドイツ
  • 年月日: 2011-12-12
• [学会発表] Reversible programming languages (2010)
  • 著者名/発表者名: 横山哲郎Holger Bock Axelsen, Tetsuo Yokoyama
  • 学会等名: The First International Conference on Networking and Computing
  • 発表場所: 広島大学(広島県)
  • 年月日: 2010-11-17
• [学会発表] Optimization of Input-Erasi ng Clean Reversible Simulation for In jective Functions (2010)
  • 著者名/発表者名: 横山哲郎, Holger Bock Axelsen, TetsuoYokoyama
  • 学会等名: Workshopon Reversible Computation
  • 発表場所: ブレーメン, ドイツ
  • 年月日: 2010-07-02
• [図書] pringer-Verlag,Workshop on Reversible Computation (2012)
  • 著者名/発表者名: Robert Gluck,横山哲郎
  • 総ページ数: 241