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

研究者紹介

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

Japanese

リポジトリ公開資料

共同研究等のお問い合わせは, 産学官連携総合推進センター

 

 

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

■学位

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

■職歴

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

■専門分野

項書き換え

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

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

■研究課題

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

■研究業績

◇発表論文

  • CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems,Kiraku Shintani and Nao Hirokawa,Proceedings of the 25th International Conference on Automated Deduction,2015
  • Confluence Competition 2015,Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, and Harald Zankl,Proceedings of the 25th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 9195, 2015,pp.101-104
  • AC-KBO Revisited,Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp,Theory and Practice of Logic Programming to appear,2015

全件表示

◇講演発表

  • 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

全件表示

■担当講義

プログラミング演習II,関数プログラミング(E)

■学外活動

◇所属学会

  • International Workshop on Logic and Computational Complexity (LCC),舵取り委員,2015-2017
  • International Conference on Formal Structures for Computation and Deduction (FSCD),舵取り委員,2015-2016
  • International Conference on Rewriting Techniques and Applications (RTA),舵取り委員,2014-2015

全件表示

◇国際会議主催状況

  • 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
  • 2nd International Workshop on Confluence (IWC 2013),JAIST, Associate Professor, Nao Hirokawa;Utrecht University, Professor, Vincent van Oostrom,June 28, 2013,Eindhoven, The Netherlands

全件表示

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

  • 8th Conference on Interactive Theorem Proving(ITP,プログラム委員,2016/10/15 - 2017/09/29
  • 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
  • 5th Confluence Competition (CoCo 2016),組織委員,2015/08/03 - 2016/09/30

全件表示

■賞等

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