廣川 直 (Nao Hirokawa)准教授
情報科学系,知能ロボティクス領域
◆学位
博士(理学) インスブルック大学
◆職歴
2016/04 - : 北陸先端科学技術大学院大学 , 先端科学技術研究科 , 准教授
2012/03 - 2016/03 : 北陸先端科学技術大学院大学 , 情報科学研究科 , 准教授
2008/08 - 2012/02 : 北陸先端科学技術大学院大学 , 情報科学研究科 , 助教
2007/08 - 2008/07 : 北陸先端科学技術大学院大学 , 産学官連携研究員
2003/09 - 2006/08 : インスブルック大学 , 情報科学研究科 , 研究助手
◆専門分野
項書き換え
◆研究キーワード
項書き換え, 停止性, 合流性, 計算量解析
◆研究課題
非決定計算のための項書き換え理論
関数(論理)型言語や定理証明システムのために有用でありながらも、研究成果がほとんどない非停止・非直交な書換えシステムのための理論構を構築する。

■研究業績

◆発表論文
Abstract Completion, Formalized
Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler
Logical Methods in Computer Science (LMCS), 15, 3, 1:1-1:19, 2019
Confluence by Critical Pair Analysis Revisited
Nao Hirokawa, Julian Nagele, Vincent van Oostrom, and Michio Oyamaguchi
Proceedings of the 27th International Conference on Automated Deduction (CADE), Lecture Notes in Computer Science, 11716, 319-335, 2019
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 (FSCD), Leibnitz International Proceedings in Informatics, 108, 32:1-32:5, 2018
Cops and CoCoWeb: Infrastructure for Confluence Tools
Nao Hirokawa, Julian Nagele, and Aart Middeldorp
Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR), Lecture Notes in Artificial Intelligence, 10900, 346-353, 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 (FSCD), Leibnitz International Proceedings in Informatics, 84, 19:1-19:16, 2017
◆講演・口頭発表
Basic Normalization
Nao Hirokawa
IFIP Working Group 1.6 (Term Rewriting), 2014/07/13
A Rewriting Solution to the Parsing Problem
Nao Hirokawa
IFIP Working Group 1.6 (Term Rewriting), 2012/05/28
Runtime Complexity Analysis for Term Rewriting
Nao Hirokawa
Two Faces of Complexity 2011, Novi Sad, Serbia, 2011/05/29
SAT/SMT solvers, its algorithm, implementation, and applications
Nao Hirokawa
SEFM School 2009, College of Technology, Vietnam National University, Hanoi, Vietnam, 2009/11/16
停止性自動検証ツールにおける SAT Solver の使い方
広川 直
第5回プログラミングおよびプログラミング言語サマースクール, 2007

■担当講義

プログラミング基礎, 関数プログラミング(E)

■学外活動

◆学術貢献活動
Japanese representative , IFIP Technical Committee 1 (Foundations of Computer Science)
member , IFIP Working Group 1.6 (Rewriting)
steering committee member , International Workshop on Confluence (IWC)

■賞等

・ 最優秀論文賞 , 14th International Conference on Rewriting Techniques and Applications (RTA 2003) , 2003