|
本研究では可逆プログラミング言語の設計および可逆プログラミング方法論の確立を目的とした。
既存の可逆言語Janusに参照渡しの機構があったとしても可逆性は保たれ表現力が向上した。可逆万能性をもち、厳密な可逆性が保証され、木構造を扱えるような簡潔な可逆言語を提案した。その言語を用いて可逆計算理論での応用が期待される線形時間自己解釈が可能なことを示した。
可逆プログラミング言語の設計では、構造化・非構造化可逆流れ図の理論を整備した。可逆プログラミング方法論では、可逆アルゴリズムの効率を測る尺度を提案して、可逆整列法や二分木の可逆ランク計算といった基礎的なアルゴリズムを効率的に実装する方法を報告した。
|
