- 2022 - 2027 最小の余剰データをもつ効率的プログラム可逆化に関する研究
- 2018 - 2022 効率性と拡張性をもつ可逆アルゴリズム族の系統的な設計と解析
- 2013 - 2017 関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張
- 2011 - 2012 可逆計算と双方向変換の学術的研究フロンティアの探究
- 2010 - 2012 可逆計算系と可逆プログラミング言語の設計と実現に関する研究
- 2005 - 2006 プログラム運算の記述言語の設計及びその実現に関する研究
- 2005 - 2006 プログラム運算の記述言語の設計及びその実現に関する研究
- 関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張
- 高効率可逆シミュレーションのための言語と非可逆計算環境での評価
- 電池駆動システムにおける解釈系プログラミング言語が与える消費エネルギーへの影響とその最適化
- 型安全な高信頼プログラマブル構造化文書変換技術
- サービスに応じた消費電力管理のためのソフトウェアモデリング
- Reversible Computation and Reversible Programming Languages
全件表示