北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 系別一覧表> 研究者紹介

研究者紹介

研究室
情報研究棟IS Building I 5F
TEL:+81-761-51-1277
研究室ホームページ
 

Japanese

リポジトリ公開資料

共同研究等のお問い合わせは, 産学官連携本部

 

 

廣川 直 (ヒロカワ ナオ) 准教授
情報科学系、知能ロボティクス領域

■学位

筑波大学修士(工学)(2003)、インスブルック大学博士(理学)(2006)

■職歴

北陸先端科学技術大学院大学産学官連携研究員(2007)

■専門分野

項書き換え

■研究テーマのキーワード

項書き換え・停止性・合流性・計算量解析

■研究課題

非決定計算のための項書き換え理論
関数(論理)型言語や定理証明システムのために有用でありながらも、研究成果がほとんどない非停止・非直交な書換えシステムのための理論構を構築する。

■研究業績

◇発表論文

  • Cops and CoCoWeb: Infrastructure for Confluence Tools,Nao Hirokawa, Julian Nagele, and Aart Middeldorp,Proceedings of the 9th International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence,10900,346-353,2018
  • Confluence Competition 2018,Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald Zankl,Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, Leibnitz International Proceedings in Informatics,108,32:1-32:5,2018
  • Infinite Runs in Abstract Completion,Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler,Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, Leibnitz International Proceedings in Informatics 84,84,19:1-19:16,2017

全件表示

◇講演発表

  • Automated Normalization Analysis for Term Rewriting,Nao Hirokawa,Logic, Complexity and Automation (LC&A),Obergurgl, Austria,September 5-7, 2016
  • Basic Normalization,Nao Hirokawa,IFIP Working Group 1.6 (Term Rewriting),2014/07/13
  • Runtime Complexity Analysis for Term Rewriting,Nao Hirokawa,Two Faces of Complexity 2011,Novi Sad, Serbia,May 29, 2011

全件表示

■担当講義

論理的決定手続き論(E),関数プログラミング(E)

■学外活動

◇所属学会

  • IFIP Technical Committee 1 (Foundations of Computer Science),日本代表,2018-
  • International Workshop on Logic and Computational Complexity (LCC),舵取り委員,2015-2017
  • International Conference on Formal Structures for Computation and Deduction (FSCD),舵取り委員,2015-2016

全件表示

◇国際会議主催状況

  • 4th Austria - Japan Summer Workshop on Term Rewriting (AJSW 2016),JAIST, Associate Professor, Nao Hirokawa;University of Innsbruck, Research Assistant, Christian Sternagel,September 8-9, 2016,Obergurgl, Austria
  • 16th International Workshop on Logic and Computational Complexity,Universitat Politecnica de Catalunya, Professor, Albert Atserias;JAIST, Associate Professor, Nao Hirokawa,July 4-5, 2015,Kyoto, Japan
  • 3rd Workshop on Proof Theory and Rewriting (PR 2013),JAIST, Associate Professor, Nao Hirokawa;University of Innsbruck, Associate Professor, Georg Moser; JAIST, Professor, Hajime Ishihara;,4-8 March, 2013,Ishikawa Prefectural Museum of Art, Kanazawa, Ishikawa, Japan

全件表示

◇その他の国際・国内貢献等

  • 27th International Conference on Automated Deduction (CADE-27),プログラム委員,2018/09/11 - 2019/08/30
  • 4th International Conference on Formal Structures of Computation and Deduction,プログラム委員,2018/02/04 - 2019/06/30
  • 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (DICE-FOPARA),プログラム委員,2016/12/20 - 2017/12/23

全件表示

■賞等

  • 最優秀論文賞,the 14th International Conference on Rewriting Techniques and Applications,2003