基本情報

写真a

青戸 等人

AOTO Takahito


学系

自然科学系

系列

電気情報工学系列

職名

教授

研究室住所

〒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 2015.,Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl,CADE, pp.101-104,2015年,英語

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

  • Confluence of Orthogonal Nominal Rewriting Systems Revisited.,Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama,RTA, pp.301-317,2015年,英語

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

  • 項書き換えシステムの変換を利用した帰納的定理自動証明,佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人,コンピュータソフトウェア,Vol.32,No.1, pp.179-193,2015年,日本語

    DOI:http://doi.org/10.11309/jssst.32.1_179,研究論文(学術雑誌),共著

  • Decision Procedures for Proving Inductive Theorems without Induction.,Takahito Aoto, Sorin Stratulat,PPDP, pp.237-248,2014年,英語

    研究論文(国際会議プロシーディングス),共著

  • Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams.,Takahito Aoto, Yoshihito Toyama, Kazumasa Uchida,RTA-TLCA, pp.46-60,2014年,英語

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

全件表示 >>

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

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

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

 

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

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

  • 2017年度,情報工学基礎実習I,2017年04月 ~ 2017年08月,専任

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

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

  • 2017年度,計算論理学,2017年04月 ~ 2017年09月,専任

全件表示 >>

 
 

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

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

  •  ,4th Confluence Competition (CoCo 2015)・運営委員長,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年

全件表示 >>