Rchr
J-GLOBAL ID:201801006298607090
Update date: Dec. 11, 2024
Yokoyama Tetsuo
ヨコヤマ テツオ | Yokoyama Tetsuo
Affiliation and department:
Job title:
Professor
Homepage URL (2):
http://tetsuo.jp/
,
http://tetsuo.jp/index-e.html
Research field (1):
Software
Research keywords (3):
Reversible Algorithms
, Programming languages
, Reversible computing
Research theme for competitive and other funds (13):
- 2022 - 2027 A Study on Efficient Program Reversibilization with Minimum Extra Data
- 2018 - 2022 Design and Analysis of Efficient Reversible Algorithms
- 2013 - 2017 Extending efficient reversible simulations and the methods of reversible programming
- 2011 - 2012 可逆計算と双方向変換の学術的研究フロンティアの探究
- 2010 - 2012 Design and Implementation of Reversible Computing Systems andReversible Programming Languages
- 2005 - 2006 理工学振興会の研究助成
- 2005 - 2006 プログラム運算の記述言語の設計及びその実現に関する研究
- 関数型の視点からの効率的可逆シミュレーションおよび可逆プログラミング方法論の拡張
- 高効率可逆シミュレーションのための言語と非可逆計算環境での評価
- 電池駆動システムにおける解釈系プログラミング言語が与える消費エネルギーへの影響とその最適化
- 型安全な高信頼プログラマブル構造化文書変換技術
- サービスに応じた消費電力管理のためのソフトウェアモデリング
- Reversible Computation and Reversible Programming Languages
Show all
Papers (52):
-
Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama. Towards Clean Reversible Lossless Compression. Lecture Notes in Computer Science. 2024. 94-102
-
Robert Glück, Tetsuo Yokoyama. Reversible computing from a programming language perspective. Theoretical Computer Science. 2023. 953. 113429-113429
-
Robert Glück, Tetsuo Yokoyama. Making Programs Reversible with Minimal Extra Data. New Generation Computing. 2022
-
Tetsuo Yokoyama. From reversible programming languages to reversible metalanguages. Theoretical Computer Science. 2022. 920. 46-63
-
Reversibilization of the Naive String-Match Algorithm and the Rabin-Karp Algorithm. 2022. 22. 124-132
more...
MISC (1):
-
Shinpei HAYASHI, Tetsuo YOKOYAMA, Masataka NAGURA, Hiroshi IGAKI. A Report on the 39th JSSST Annual Conference. Computer Software. 2023. 40. 2. 61-72
Professional career (2):
- 博士(情報理工学) (東京大学)
- 修士(情報理工学) (東京大学)
Committee career (13):
- 2024/11 - 現在 17th International Conference on Reversible Computation A Program Committee member
- 2023/10 - 2024/07 16h Conference on Reversible Computation, program committee member
- 2022/10 - 2023/07 15th Conference on Reversible Computation, program committee member
- 2018/04 - 2023/04 Information Processing Society of Japan A Committee Member of Tokai Branch
- 2022/02 - 2022/09 日本ソフトウェア科学会 第38回大会運営委員長
- 2020/09 - 2021/07 13th International Conference on Reversible Computation (RC 2021) Program co-chair
- 2012/04 - 2016/03 情報処理学会 ソフトウェア工学研究会(IPSJ SIGSE) 運営委員
- 2011/04 - 2015/03 情報処理学会 組込みシステム研究会(IPSJ SIGEMB) 運営委員
- 2013/04 - 2014/03 The SETO consortium of universities A Committee Member
- 2012/04 - 2013/03 The SETO consortium of universities Vice President
- 2009/04 - 2013/03 情報処理学会 プログラミング研究会(IPSJ SIGPRO) 運営委員
- 2011/09 - 2012/09 4th Workshop on Reversible Computation (RC 2012) Program co-chair
- 2011 - 情報処理学会 ESSロボットチャレンジ2011 運営委員長
Show all
Awards (6):
Association Membership(s) (1):
Association for Computing Machinery (ACM)
Return to Previous Page