Design and Implementation of Reversible Computing Systems andReversible Programming Languages

• Project/Area Number: 22700042
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: Nanzan University
• Principal Investigator: YOKOYAMA Tetsuo 南山大学, 情報理工学部ソフトウェア工学科, 准教授 (80456631)
• Project Period (FY): 2010 – 2012
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000); Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2011: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
• Keywords: プログラミング言語 / プログラミング方法論 / 可逆計算 / 可逆シミュレーション / 可逆プログラミング言語 / アルゴリズム / Janus / 可逆化 / Bennettの方法 / 可逆圧縮解凍

Research Abstract

We conducted a research for developing the fundamental theory on reversible computing systems, finding the principles on high-level programming languages, and developing the methodology for manipulating such languages. We proposed an optimization of Bennett's reversible simulation that requires half of the computational steps for a class of injective programs such as some lossless encoders and decoders. The proposed reversible simulationwas demonstrated on a high-level programming language that we formalized.

Research Products

• [Journal Article] Optimizing Reversible Simulationof Injective Functions (2011)
  • Author(s): 横山哲郎 , Holger Bock Axelsen, Robert Gluck
  • Journal Title: Journal ofMultiple-Valued Logic and SoftComputing Volume: Vol.18, No.1 Pages: 5-24
  • Peer Reviewed
• [Journal Article] Optimization of Input-Erasing Clean Reversible Simulation for Injective Functions (2011)
  • Author(s): 横山哲郎
  • Journal Title: Journal of Multiple-Valued Logic and Soft Computing Volume: (掲載確定)
  • Peer Reviewed
• [Presentation] A High-Level Reversible Programming Language (2011)
  • Author(s): 横山哲郎
  • Organizer: Dagstuhl Seminaron Design of Reversible and QuantumCircuits
  • Place of Presentation: Dagstuhl, ドイツ
  • Year and Date: 2011-12-12
• [Presentation] A High-Level Reversible Programming Language (2011)
  • Author(s): 横山哲郎
  • Organizer: Dagstuhl Seminar on Design of Reversible and Quantum Circuits
  • Place of Presentation: ドイツ、Dagstuhl
  • Year and Date: 2011-12-12
• [Presentation] Reversible programming languages (2010)
  • Author(s): 横山哲郎Holger Bock Axelsen, Tetsuo Yokoyama
  • Organizer: The First International Conference on Networking and Computing
  • Place of Presentation: 広島大学(広島県)
  • Year and Date: 2010-11-17
• [Presentation] Optimization of Input-Erasi ng Clean Reversible Simulation for In jective Functions (2010)
  • Author(s): 横山哲郎, Holger Bock Axelsen, TetsuoYokoyama
  • Organizer: Workshopon Reversible Computation
  • Place of Presentation: ブレーメン, ドイツ
  • Year and Date: 2010-07-02
• [Presentation] Optimization of Input-Erasing Clean Reversible Simulation for Injective Functions (2010)
  • Author(s): 横山哲郎
  • Organizer: Workshop on Reversible Computation
  • Place of Presentation: ドイツ、ブレーメン
  • Year and Date: 2010-07-02
• [Book] Workshop on Reversible Computation (2013)
  • Author(s): Robert Glueck, Tetsuo Yokoyama
  • Publisher: Springer-Verlag
• [Book] pringer-Verlag,Workshop on Reversible Computation (2012)
  • Author(s): Robert Gluck,横山哲郎
  • Total Pages: 241