Rchr
J-GLOBAL ID：200901016570917880   Update date: Sep. 06, 2023

Aoto Takahito

アオト タカヒト | Aoto Takahito
Affiliation and department：
Niigata University Faculty of Engineering Department of Engineering

About Niigata University Faculty of Engineering Department of Engineering


Job title： Professor
Homepage URL  (2)： http://www.nue.ie.niigata-u.ac.jp/~aoto/index-j.html ,  http://www.nue.ie.niigata-u.ac.jp/~aoto/
Research field  (1)： Information theory
Research keywords  (3)： Foundations of Software ,  Automated Theorem Proving ,  Term Rewriting
Research theme for competitive and other funds  (15)：
  • 2021 - 2024 項書き換えシステムの解の一意性を保証する性質に関する研究
  • 2018 - 2022 Inductive thoeorems and ground confluence for conditional term rewriting systems
  • 2016 - 2019 Program Verification Methods based on Context-Moving Transformation and Higher-Order Rewriting Theory
  • 2015 - 2018 Study on Ground Confluence of Rewrite Systems
  • 2013 - 2016 Research on automated program verification based on confluence
Show all
Papers (62)：
  • Yuki Sato, Takahito Aoto. Undecidability of Some Properties Related to the Uniqueness of Normal Forms for Flat Term Rewiting Systems. IPSJ Transactions on Programming. 2021. 14. 2. 15-24
  • Kairi Miyamae, Takahito Aoto. A Category-theoretic Formalization of Unification over Rational Terms. IPSJ Transactions on Programming. 2021. 14. 2. 1-14
  • Mamoru Ishizuka, Takahito Aoto, Munehiro Iwami. Commutative Rational Term Rewriting. Language and Automata Theory and Applications - 15th International Conference(LATA). 2021. 200-212
  • Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto. A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium(ICTAC). 2021. 386-404
  • Kentaro Kikuchi, Takahito Aoto. Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(FSTTCS). 2021. 49-15
ｍore...
MISC (35)：
  • Ryota Haga, Yuki Kagaya, Takahito Aoto. A critical pair criterion for level-commutation of conditional term rewriting systems. 11th International Workshop on Confluence (IWC 2022). 2022
  • 危険対条件に基づく条件付き項書き換えシステムの階層可換性. The 24th JSSST Workshop on Programming and Programming Languages(PPL 2022). 2022. 24
  • 交差式条件付き項書き換えシステムに対するアンラベリング変換の健全性について. The 24th JSSST Workshop on Programming and Programming Languages(PPL 2022). 2022. 24
  • 置換に関する不動点制約を用いた名目書き換え. The 24th JSSST Workshop on Programming and Programming Languages(PPL 2022). 2022. 24
  • 書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合. The 24th JSSST Workshop on Programming and Programming Languages(PPL 2022). 2022. 24
ｍore...
Education (2)：
  • - 1997 Japan Advanced Institute of Science and Technology Graduate School, Division of Information Science
  • - 1992 The University of Tokyo Faculty of Engineering
Professional career (2)：
  • 学士(工学) (東京大学)
  • 博士(情報科学) (北陸先端科学技術大学院大学)
Work history (7)：
  • 2017/04/01 - 現在 Niigata University Faculty of Engineering Department of Engineering Professor
  • 2015/10 - 2017/03 Niigata University Faculty of Engineering Department of Information Engineering Professor
  • 2007/04/01 - 2015/09/30 Tohoku University Research Institute of Electrical Communication Associate Professor
  • 2004/03/01 - 2007/03/31 Tohoku University Research Institute of Electrical Communication Associate Professor (as old post name)
  • 2003/01/01 - 2004/02/29 Tohoku University Research Institute of Electrical Communication Lecturer
Show all
Committee career (46)：
  • 2015 - 現在 IFIP WG1.6 on Rewriting 委員
  • 2018 - 2023 International Workshop on Confluence 組織委員
  • 2023 - 11th International Workshop on Higher-Order Rewriting(HOR 2023) プログラム委員
  • 2022 - 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022) プログラム委員
  • 2021 - The 13th International Symposium on Frontiers of Combining Systems(FroCoS 2021) プログラム委員
Show all
Awards (3)：
  • 2017 - ソフトウェア科学会 ソフトウェア科学会 研究論文賞 項書き換えシステムの変換を利用した帰納的定理自動証明
  • 2012/03/10 - 第12回プログラミングおよびプログラミング言語ワークショッププログラム委員会 第12回プログラミングおよびプログラミング言語ワークショップ論文賞
  • 2003/09/12 - 情報処理学会 第2回情報科学技術フォーラム論文賞
Association Membership(s) (3)：
IPSJプログラミング研究会 ,  ACM ,  ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM