基本情報

写真a

青戸 等人

Takahito Aoto


学系

自然科学系

系列

情報電子工学系列

職名

教授

研究室住所

〒950-2181 新潟市 西区 五十嵐2の町8050

研究分野・キーワード

書き換えシステム、定理自動証明、ソフトウェア基礎

ホームページ

http://www.nue.ie.niigata-u.ac.jp/~aoto/index-j.html

出身大学 【 表示 / 非表示

  • 東京大学  工学部

    大学,1992年03月,卒業,日本国

出身大学院 【 表示 / 非表示

  • 北陸先端科学技術大学院大学  情報科学研究科

    博士課程,1997年03月,修了,日本国

取得学位 【 表示 / 非表示

  • 博士(情報科学),情報学基礎理論,北陸先端科学技術大学院大学,課程,1997年03月

  • 学士(工学),ソフトウェア,東京大学,課程,1992年03月

学内職務経歴 【 表示 / 非表示

  • 新潟大学 工学部 情報工学科 コンピュータサイエンス,教授,2015年10月 ~ 2017年03月

  • 新潟大学 工学部 工学科,教授,2017年04月 ~ 継続中

学外略歴 【 表示 / 非表示

  • 北陸先端科学技術大学院大学 情報科学研究科,助手,1997年04月 ~ 1998年02月

  • 群馬大学 工学部,助手,1998年03月 ~ 2002年12月

  • 東北大学 電気通信研究所,講師,2003年01月 ~ 2004年02月

  • 東北大学 電気通信研究所,助教授,2004年03月 ~ 2007年03月

  • 東北大学 電気通信研究所,准教授,2007年04月 ~ 2015年09月

所属学会・委員会 【 表示 / 非表示

  • ソフトウェア科学会,,日本国

  • Association for Computing Machinery,,アメリカ合衆国

  • European Association for Theoretical Computer Science,,ベルギー王国

  • 情報処理学会,,日本国

専門分野(科研費分類) 【 表示 / 非表示

  • 情報学基礎理論

 

論文 【 表示 / 非表示

  • Confluence Competition 2018 ,Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl,Proc. of 3rd FSCD, Leibniz International Proceedings in Informatics,Vol.108, pp.32:1-32:5,2018年07月,英語

    DOI:10.4230/LIPIcs.FSCD.2018.32,研究論文(国際会議プロシーディングス),共著

  • Improving rewriting induction approach for proving ground confluence,Takahito Aoto, Yoshihito Toyama, Yuta Kimura,Proc. of 2nd FSCD, Leibniz International Proceedings in Informatics,Vol.84, pp.7:1-7:18,2017年09月,英語

    DOI:10.4230/LIPIcs.FSCD.2017.7,研究論文(国際会議プロシーディングス),共著

  • Parallel closure theorem for left-linear nominal rewriting systems,Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama,Lecture Notes in Computer Science,Vol.10483, pp.115-131,2017年09月,英語

    DOI:10.1007/978-3-319-66167-4_7,研究論文(国際会議プロシーディングス),共著

  • Ground confluence prover based on rewriting induction ,Takahito Aoto, Yoshihito Toyama,Leibniz International Proceedings in Informatics,Vol.52, pp.33:1-33:12,2016年06月,英語

    DOI:10.4230/LIPIcs.FSCD.2016.33,研究論文(国際会議プロシーディングス),共著

  • Nominal confluence tool ,Takahito Aoto, Kentaro Kikuchi,Lecture Notes in Computer Science,Vol.9706, pp.173-182,2016年06月,英語

    DOI:10.1007/978-3-319-40229-1_12,研究論文(国際会議プロシーディングス),共著

全件表示 >>

学術関係受賞 【 表示 / 非表示

  • ソフトウェア科学会 研究論文賞,2017年,日本国,国内学会・会議・シンポジウム等の賞,ソフトウェア科学会,佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人

  • 第12回プログラミングおよびプログラミング言語ワークショップ論文賞,2012年03月10日,日本国,国内学会・会議・シンポジウム等の賞,第12回プログラミングおよびプログラミング言語ワークショッププログラム委員会,鈴木翼, 青戸等人, 外山芳人

  • 第2回情報科学技術フォーラム論文賞,2003年09月12日,日本国,国内学会・会議・シンポジウム等の賞,情報処理学会,青戸等人, 山田俊行, 外山芳人

 

担当授業科目 【 表示 / 非表示

  • 2018年度,情報数理演習III,2018年06月 ~ 2018年08月,専任

  • 2018年度,形式言語とオートマトン,2018年06月 ~ 2018年08月,専任

  • 2018年度,計算論理学,2018年04月 ~ 2018年08月,専任

  • 2018年度,工学リテラシー入門(情報電子分野),2018年04月 ~ 2018年06月,専任

  • 2017年度,形式言語とオートマトン,2017年04月 ~ 2017年08月,専任

全件表示 >>

 
 

学会・委員会等活動 【 表示 / 非表示

  •  ,7th Confluence Competition (CoCo 2018)・運営委員長,2018年

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

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

  •  ,PPLサマースクール2017・幹事,2017年

  •  ,6th Confluence Competition (CoCo 2017)・運営委員長,2017年

全件表示 >>