研究者

J-GLOBAL ID：200901016570917880 更新日: 2023年09月06日

青戸等人

アオトタカヒト | Aoto Takahito

所属機関・部署：
職名：教授
ホームページURL (2件)： http://www.nue.ie.niigata-u.ac.jp/~aoto/index-j.html , http://www.nue.ie.niigata-u.ac.jp/~aoto/

研究分野 (1件)：情報学基礎論

研究キーワード (3件)：ソフトウェア基礎 , 定理自動証明 , 書き換えシステム

競争的資金等の研究課題 (15件)：

2021 - 2024 項書き換えシステムの解の一意性を保証する性質に関する研究
2018 - 2022 条件付き項書き換えシステムにおける帰納的定理と基底合流性に関する研究
2016 - 2019 文脈移動変換と高階書き換え理論に基づくプログラム検証法の研究
2015 - 2018 書き換えシステムの基底合流性自動証明の研究
2013 - 2016 合流性に基づくプログラム自動検証法の研究

全件表示

論文 (62件)：

佐藤悠稀, 青戸等人. フラット項書き換えシステムにおける正規形の一意性に関する性質の決定不能性. 情報処理学会論文誌プログラミング(PRO). 2021. 14. 2. 15-24
宮前海里, 青戸等人. 圏論に基づく正則項上の単一化の形式化. 情報処理学会論文誌プログラミング(PRO). 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

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
芳賀亮太, 青戸等人. 危険対条件に基づく条件付き項書き換えシステムの階層可換性. 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022). 2022. 24
大野峻, 青戸等人. 交差式条件付き項書き換えシステムに対するアンラベリング変換の健全性について. 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022). 2022. 24
芳賀雅樹, 青戸等人. 置換に関する不動点制約を用いた名目書き換え. 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022). 2022. 24
南山駿人, 青戸人. 書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合. 第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022). 2022. 24

学歴 (2件)：

- 1997 北陸先端科学技術大学院大学情報科学研究科
- 1992 東京大学工学部

学位 (2件)：

学士(工学) (東京大学)
博士(情報科学) (北陸先端科学技術大学院大学)

経歴 (7件)：

2017/04/01 - 現在新潟大学工学部工学科教授
2015/10 - 2017/03 新潟大学工学部情報工学科教授
2007/04/01 - 2015/09/30 東北大学電気通信研究所准教授
2004/03/01 - 2007/03/31 東北大学電気通信研究所助教授
2003/01/01 - 2004/02/29 東北大学電気通信研究所講師

全件表示

委員歴 (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) プログラム委員

2021 - The 16th Logical and Semantic Frameworks with Applications (LSFA 2021) プログラム委員

2016/04 - 2020/03 ソフトウェア科学会プログラミング論研究会・運営委員

2020 - 10th International Joint Conference on Automated Reasoning (IJCAR 2020) プログラム委員

2020 - 28th International Conference on Computer Science Logic (CSL 2020) プログラム委員

2019 - The 33rd International Workshop on Unification (UNIF 2019) プログラム委員

2011 - 2018/07 Confluence Competition・運営委員

2018 - 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)・プログラム委員

2018 - 7th Confluence Competition (CoCo 2018)・運営委員長

2017 - 6th Confluence Competition (CoCo 2017)・運営委員長

2017 - PPLサマースクール2017・幹事

2017 - ソフトウェア科学会 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)・プログラム委員

2016 - 8th International Workshop on Higher-Order Rewriting・プログラム委員

2016 - 第18回プログラミングおよびプログラミング言語ワークショップ(PPL 2016)・プログラム共同委員長

2016 - 5th Confluence Competition (CoCo 2016)・運営委員長

2016 - 3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016)・プログラム委員

2015 - 第17回プログラミングおよびプログラミング言語ワークショップ(PPL 2015)・プログラム委員

2015 - 10th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2015)・プログラム委員

2015 - 2d International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)・プログラム委員

2015 - 4th International Workshop on Confluence (IWC 2015)・共同プログラム委員長

2015 - 4th Confluence Competition (CoCo 2015)・運営委員長

2014 - 1st International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014)・プログラム委員

2014 - 3rd Confluence Competition (CoCo 2014)・運営委員長

2014 - 3rd International Workshop on Confluence (IWC 2014)・共同プログラム委員長

2009/04 - 2013/03 情報処理学会論文誌プログラミング・編集委員

2012 - 第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2012)・プログラム委員

2012 - 1st Confluence Competition (CoCo 2012)・運営委員長

2012 - 1st International Workshop on Confluence (IWC 2012)・プログラム委員

2012 - 6th International Joint Conference on Automated Reasoning (IJCAR 2012)・プログラム委員

2012 - Theoretical Computer Science特集号 New Directions in Rewriting・共同ゲストエディター

2007/04 - 2011/03 情報処理学会プログラミング研究会・運営委員

2010 - 21th International Conference on Rewriting Techniques and Applications (RTA 2010)・プログラム委員

2010 - 電子情報通信学会英文論文誌ED分冊フォーマルアプローチ特集・編集委員

2009 - 第32回TRSミーティング・オーガナイザー(2009年)

2009 - 20th International Conference on Rewriting Techniques and Applications (RTA 2009)・プログラム委員

2009 - 電子情報通信学会英文論文誌ED分冊フォーマルアプローチ特集・編集委員

2008 - 第10回プログラミングおよびプログラミング言語ワークショップ(PPL 2008)・実行委員長

2008 - ソフトウェア科学会第25回大会(2008年)・プログラム委員

2007 - 第9回プログラミングおよびプログラミング言語ワークショップ(PPL 2007)・プログラム委員

2006 - ソフトウェア科学会第23回大会(2006年)・プログラム委員

2005 - ソフトウェア科学会第22回大会(2005年)・プログラム委員

2000 - 第16回TRSミーティング・オーガナイザー

全件表示

受賞 (3件)：

2017 - ソフトウェア科学会ソフトウェア科学会研究論文賞項書き換えシステムの変換を利用した帰納的定理自動証明
2012/03/10 - 第12回プログラミングおよびプログラミング言語ワークショッププログラム委員会第12回プログラミングおよびプログラミング言語ワークショップ論文賞
2003/09/12 - 情報処理学会第2回情報科学技術フォーラム論文賞

所属学会 (3件)：

IPSJプログラミング研究会 , ACM , ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

青戸 等人

青戸等人