KAKEN — Research Projects | Researcher Number: 80456631

Search Results: 4 results / Researcher Number: 80456631

Display:

1. A Study on Efficient Program Reversibilization with Minimum Extra Data

Research Project

Research Category	Grant-in-Aid for Scientific Research (C)
Review Section	Basic Section 60050:Software-related
Research Institution	Nanzan University
Principal Investigator	横山哲郎南山大学, 理工学部, 教授
Project Period (FY)	2022-04-01 – 2027-03-31Granted
Keywords	可逆アルゴリズム / Lempel-Ziv-Welch / BWT / クリーン可逆アルゴリズム / 可逆圧縮 / Janus / 2次元Rabin-Karpアルゴリズム / COT / 可逆計算 / クリーン可逆プログラミング / 可逆化 / 単射化 / 可逆プログラミング言語 / 可逆ソフトウェア / 可逆プログラミング / ゴミデータ / 文字列照合アルゴリズム / Rabin-Karpアルゴリズム / g-minimality
Outline of Research at the Start	次の「問い」を補助事業期間全体を通じて肯定的に解決していく。RQ 与えられた関係Rを計算するゴミ出力が最小で効率的な可逆化ができるか; RQ1 Rが任意の全域関数のとき、可逆化できその効率的な構成法を示せるか; RQ2 Rが任意の部分関数のとき、可逆化できその効率的な構成法を示せるか(RQ1を含む) ...
Outline of Annual Research Achievements	任意の関係Rに対して余剰データ（ゴミ出力）を最小とする効率的な可逆化手法を構成し，それを可逆プログラミング言語で記述・実装するという目的に基づき，特に「Rが特定の問題領域の部分関数のとき，可逆化できその効率的な構成法を示せるか（RQ3）」，および「これらの成果を可逆プログラムで記述できるか（RQ4） ...
Current Status of Research Progress	2: Research has progressed on the whole more than it was originally planned.

Research Products of this project	Int'l Joint Research (2 results) Journal Article (4 results, of which Int'l Joint Research: 4 results, Peer Reviewed: 4 results, Open Access: 2 results) Presentation (6 results)

2. Design and Analysis of Efficient Reversible Algorithms

Research Project

Research Category	Grant-in-Aid for Scientific Research (C)
Review Section	Basic Section 60050:Software-related
Research Institution	Nanzan University
Principal Investigator	Yokoyama Tetsuo 南山大学, 理工学部, 教授
Project Period (FY)	2018-04-01 – 2022-03-31Completed
Keywords	可逆計算機構 / 可逆アルゴリズム / 可逆プログラミング / 可逆シミュレーション / 単射化 / 可逆化 / プログラム逆変換 / プログラム逆解釈 / 可逆プログラミング言語 / 可逆計算 / ゴミ / Rabin-Karpアルゴリズム / ハフマン符号化
Outline of Final Research Achievements	We have investigated the theory of reversible algorithms. The main results of our research are the construction and analysis of fundamental algorithms ...

Research Products of this project	Int'l Joint Research (4 results) Journal Article (7 results, of which Int'l Joint Research: 2 results, Open Access: 1 results, Peer Reviewed: 5 results) Presentation (4 results, of which Int'l Joint Research: 2 results) Book (1 results)

3. Extending efficient reversible simulations and the methods of reversible programming

Research Project

Research Category	Grant-in-Aid for Young Scientists (B)
Research Field	Software
Research Institution	Nanzan University
Principal Investigator	YOKOYAMA Tetsuo 南山大学, 理工学部, 准教授
Project Period (FY)	2013-04-01 – 2017-03-31Completed
Keywords	可逆計算 / 可逆シミュレーション / 可逆自己解釈系 / 可逆プログラミング言語 / Janus / 構造化定理 / 可逆アルゴリズム / 可逆万能性 / 可逆チューリング機械 / 流れ図 / 並び替えアルゴリズム / 自己解釈系 / プログラミング言語 / プログラミング方法論
Outline of Final Research Achievements	The objective of the research is to investigate the methods of the design of reversible programming languages and reversible programming.

Research Products of this project	Int'l Joint Research (1 results) Journal Article (6 results, of which Int'l Joint Research: 4 results, Peer Reviewed: 6 results, Open Access: 1 results, Acknowledgement Compliant: 4 results) Presentation (7 results) Remarks (1 results)

4. Design and Implementation of Reversible Computing Systems andReversible Programming Languages

Research Project

Research Category	Grant-in-Aid for Young Scientists (B)
Research Field	Software
Research Institution	Nanzan University
Principal Investigator	YOKOYAMA Tetsuo 南山大学, 情報理工学部ソフトウェア工学科, 准教授
Project Period (FY)	2010 – 2012Completed
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 langua ...

Research Products of this project	Journal Article (2 results, of which Peer Reviewed: 2 results) Presentation (5 results) Book (2 results)