トップページ  >  教員個別情報
廣川　直 （HIROKAWA, Nao）准教授, コンピューティング科学研究領域長
情報科学, コンピューティング科学研究領域
◆学位
博士（理学） インスブルック大学
◆職歴
2016 - : 北陸先端科学技術大学院大学 , 先端科学技術研究科 , 准教授
2012 - 2016 : 北陸先端科学技術大学院大学 , 情報科学研究科 , 准教授
2008 - 2012 : 北陸先端科学技術大学院大学 , 情報科学研究科 , 助教
2007 - 2008 : 北陸先端科学技術大学院大学 , 産学官連携研究員
2003 - 2006 : インスブルック大学 , 情報科学研究科 , 研究助手
◆専門分野
情報学基礎論
◆研究キーワード
自動演繹, 単一化, 計算量解析, 合流性, 停止性, 項書換え
◆研究課題
非決定計算のための項書き換え理論
関数(論理)型言語や定理証明システムのために有用でありながらも、研究成果がほとんどない非停止・非直交な書換えシステムのための理論構を構築する。

■研究業績

◆発表論文
An Applicative Multiset Path Order
Nao Hirokawa, Teppei Saito, Teppei Tanaka, Wataru Yachi
Proceedings of the 13th International Joint Conference on Automated Reasoning, Lecture Notes in Computer Science, -, 2026
The ARI Infrastructure for Automated Confluence Analysis.
Nao Hirokawa, Aart Middeldorp, Teppei Saito, René Thiemann
Proceedings of the 13th International Joint Conference on Automated Reasoning, Lecture Notes in Computer Science, -, 2026
Lexicographic Combination of Reduction Pairs
Teppei Saito, Nao Hirokawa
Proceedings of the 30th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence,, -, 2025
Hydra Battles and AC Termination
Nao Hirokawa, Aart Middeldorp
Logical Methods in Computer Science, 21, 29, 29:1-29:22, 2025
Left-Linear Completion with AC Axioms
Johannes Niederhauser, Nao Hirokawa, Aart Middeldorp
Logical Methods in Computer Science, 21, 2, 10:1-10:44, 2025
◆講演・口頭発表
Seven Confluence Criteria for Solving COPS #20
11th International Workshop on Confluence (IWC 2022), 2022
Completion and Reduction Orders
6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Basic Normalization
IFIP Working Group 1.6 (Term Rewriting), 2014
A Rewriting Solution to the Parsing Problem
IFIP Working Group 1.6 (Term Rewriting), 2012
Runtime Complexity Analysis for Term Rewriting
Two Faces of Complexity 2011, Novi Sad, Serbia, 2011

■学外活動

◆学術貢献活動
Japanese representative , IFIP Technical Committee 1 (Foundations of Computer Science)
member , IFIP Working Group 1.6 (Rewriting)
program committee member , 35th EACSL Annual Conference on Computer Science Logic
◆審議会等への参画状況
・ 16th International Workshop on Rewriting Logic and its Applications , program committee member , 2026-
・ 14th International Workshop on Rewriting Logic and its Applications (WRLA) , program committee member , 2022-
・ 28th International Conference on Automated Deduction (CADE-28) , program committee member , 2021-

■賞等

・ スコーレム賞 , Nao Hirokawa and Aart Middeldorp , International Conference on Automated Deduction (CADE) , 2025
・ 最優秀論文賞 , Teppei Saito, Nao Hirokawa , 14th International Symposium on Frontiers of Combining Systems (FroCoS) , 2023
・ 最優秀論文賞 , 14th International Conference on Rewriting Techniques and Applications (RTA 2003) , 2003