Hirokawa Nao 廣川直

… Alternative Names

廣川直ヒロカワナオ

HIROKAWA Nao 廣川直

Less

Researcher Number	50467122
Other IDs
Affiliation (Current)	2025: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授
Affiliation (based on the past Project Information) *help	2022 – 2023: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 2017 – 2020: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 2010 – 2015: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 2008 – 2009: Japan Advanced Institute of Science and Technology, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Theory of informatics / Fundamental theory of informatics / Basic Section 60010:Theory of informatics-related Except Principal Investigator Software
Keywords	Principal Investigator 項書換え / 完備化 / 合流性 / 定理自動証明 / 情報基礎 / 簡約順序 / 停止性 / 自動演繹 / 自動定理証明 / 正規化戦略 … More / 正規化性 / 形式言語 / 可換性 / オーストリア / 国際研究者交流 / 関数型プログラム / 計算理論 / 戦略 / 計算量 / 計算モデル / 項書き換え … More Except Principal Investigator 充足性判定 / 多項式制約 / SMTソルバ / 数式処理 / 制約解消 / 仕様検証 / 仕様記述 / ソフトウェア Less

Automated Deduction and Reduction OrdersPrincipal Investigator
- Principal Investigator
  
  廣川直
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Normalization Analysis for Term RewritingPrincipal Investigator
- Principal Investigator
  
  Hirokawa Nao
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Confluence Analysis for Term Rewriting and Its ApplicationsPrincipal Investigator
- Principal Investigator
  
  Hirokawa Nao
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Optimization of polynomial constraint solving based on fusion of approximation and algebraix methods
- Principal Investigator
  
  MIZUHITO Ogawa
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology
Rewriting Techniques for Non-Deterministic ComputationPrincipal Investigator
- Principal Investigator
  
  HIROKAWA Nao
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Automated Complexity Analysis for Term RewritingPrincipal Investigator
- Principal Investigator
  
  HIROKAWA Nao
- Project Period (FY)
  2008 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (Start-up)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology

[Book] 電子情報通信学会知識ベース 7群1編「ソフトウェア基礎」2章「定理証明と検証法」3節「SAT」執筆2010
- Author(s)
  廣川直
- Total Pages
  7
- Publisher
  社団法人電子情報通信学会
- Data Source
  KAKENHI-PROJECT-20800022
[Book] 「ソフトウェア基礎」, 「定理証明と検証法」, 「SAT」2010
- Author(s)
  廣川直
- Publisher
  電子情報通信学会
- Data Source
  KAKENHI-PROJECT-20800022
[Journal Article] Compositional Confluence Criteria2024
- Author(s)
  Kiraku Shintani and Nao Hirokawa
- Journal Title
  
  Logical Methods in Computer Science 20(1)
  
  Volume: 20(1)
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11900
[Journal Article] Abstract Completion, Formalized2019
- Author(s)
  Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler.
- Journal Title
  
  Journal of Logical Methods in Computer Science
  
  Volume: 15(3)
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00011
[Journal Article] AC-KBO Revisited2015
- Author(s)
  Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp
- Journal Title
  
  Theory and Practice of Logic Programming
  
  Volume: 未定
- NAID
  120005611453
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25730004
[Journal Article] Uncurrying for Termination and Complexity.2013
- Author(s)
  Nao Hirokawa, Aart Middeldorp, and Harald Zankl.
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 50(3) Pages: 279-315
- NAID
  120004247362
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700009
[Journal Article] Uncurrying for Termination and Complexity2012
- Author(s)
  Nao Hirokawa, Aart Middeldorp, Harald Zankl
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: (掲載確定) Issue: 3 Pages: 279-315
- DOI
  10.1007/s10817-012-9248-3
- NAID
  120004247362
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700009
[Journal Article] Decreasing Diagrams and Relative Termination.2011
- Author(s)
  Nao Hirokawa and Aart Middeldorp
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 47(4) Pages: 481-501
- NAID
  120006674711
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700009
[Journal Article] Decreasing Diagrams and Relative Termination2011
- Author(s)
  Nao Hirokawa, Aart Middeldorp
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 47(4) Issue: 4 Pages: 481-501
- DOI
  10.1007/s10817-011-9238-x
- NAID
  120006674711
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700009
[Journal Article] KBO Orientability2009
- Author(s)
  Harald Zankl, Nao Hirokawa, Aart Middeldorp
- Journal Title
  
  Journal of Automated Reasoning 43(2)
  
  Pages: 173-201
- NAID
  120002260314
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20800022
[Presentation] Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs2024
- Author(s)
  Nao Hirokawa, Dohan Kim, Kiraku Shintani, and Rene Thiemann
- Organizer
  Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 147-161
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11900
[Presentation] Hydra Battles and AC Termination2023
- Author(s)
  Nao Hirokawa and Aart Middeldorp
- Organizer
  Proceedings of the 8th International Conference on Formal Structures of Computation and Deduction, Leibniz International Proceedings in Informatics 260, pp. 12:10-12:16.
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11900
[Presentation] Weighted Path Orders are Semantic Path Orders2023
- Author(s)
  Teppei Saito and Nao Hirokawa
- Organizer
  Proceedings of the 14th International Symposium on Frontiers of Combining Systems, Lecture Notes in Artificial Intelligence, pp. 63-80.
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11900
[Presentation] Left-Linear Completion with AC Axioms2023
- Author(s)
  Johannes Niederhauser, Nao Hirokawa, and Aart Middeldorp
- Organizer
  Proceedings of the 29th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 14132, pp. 401-418
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11900
[Presentation] Compositional Confluence Criteria2022
- Author(s)
  Kiraku Shintani and Nao Hirokawa
- Organizer
  Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, Leibniz International Proceedings in Informatics, 2022.
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11900
[Presentation] Parallel Closedness Revisited2020
- Author(s)
  Kiraku Shintani and Nao Hirokawa
- Organizer
  9th International Workshop on Confluence (IWC 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00011
[Presentation] Confluence by Critical Pair Analysis Revisited2019
- Author(s)
  Nao Hirokawa, Julian Nagele, Vincent van Oostrom, and Michio Oyamaguchi
- Organizer
  Proceedings of the 27th International Conference on Automated Deduction
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00011
[Presentation] Confluence Competition 20182018
- Author(s)
  Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, and Harald Zankl
- Organizer
  Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, Leibnitz International Proceedings in Informatics, pp. 32:1-32:5, 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00011
[Presentation] Cops and CoCoWeb: Infrastructure for Confluence Tools2018
- Author(s)
  Nao Hirokawa, Julian Nagele, and Aart Middeldorp
- Organizer
  Proceedings of the 9th International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence 10900, pp. 346-353, 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00011
[Presentation] Infinite Runs in Abstract Completion2017
- Author(s)
  Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler
- Organizer
  Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, Leibnitz International Proceedings in Informatics 84, pp. 19:1-19:16, 2017.
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00011
[Presentation] Commutation and Signature Extensions2015
- Author(s)
  Nao Hirokawa
- Organizer
  4th International Workshop on Confluence
- Place of Presentation
  ドイツ・ベルリン
- Year and Date
  2015-08-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25730004
[Presentation] A New and Formalized Proof of Abstract Completion2014
- Author(s)
  Nao Hirokawa, Aart Middeldorp, and Christian Sternagel
- Organizer
  5th International Conference on Interactive Theorem Proving
- Place of Presentation
  オーストリア・ウィーン
- Data Source
  KAKENHI-PROJECT-25730004
[Presentation] AC-KBO Revisited2014
- Author(s)
  Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp
- Organizer
  12th International Symposium on Functional and Logic Programming
- Place of Presentation
  金沢市石川県立美術館
- Data Source
  KAKENHI-PROJECT-25730004
[Presentation] Automated Complexity Analysis Based on Context-Sensitive Rewriting2014
- Author(s)
  Nao Hirokawa and Georg Moser
- Organizer
  Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications
- Place of Presentation
  オーストリア・ウィーン
- Data Source
  KAKENHI-PROJECT-25730004
[Presentation] Basic Normalization2014
- Author(s)
  Nao Hirokawa
- Organizer
  International Federation for Information Processing (IFIP) Working Group 1.6: Term Rewriting
- Place of Presentation
  ウィーン、オーストリア
- Year and Date
  2014-07-13
- Invited
- Data Source
  KAKENHI-PROJECT-25730004
[Presentation] Confluence of Non-Left-Linear TRSs via Relative Termination2012
- Author(s)
  Dominik Klein and Nao Hirokawa
- Organizer
  Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- Place of Presentation
  Merida, Venezuela
- Year and Date
  2012-03-11
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] Confluence of Non-Left-Linear TRSs via Relative Termination (査読付)2012
- Author(s)
  Dominik Klein, Nao Hirokawa
- Organizer
  18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR2012, Springer LNCS 7180, pp.258-273)
- Place of Presentation
  Universidad de Los Andes, Merida, Venezuela (2012年3月11日～15日)
- Year and Date
  2012-03-11
- Data Source
  KAKENHI-PROJECT-23300005
[Presentation] Confluence of Non-Left-Linear TRSs via Relative Termination2012
- Author(s)
  Dominik Klein, Nao Hirokawa
- Organizer
  18^<th> International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- Place of Presentation
  ロスアンデス大学(ベネズエラ)
- Year and Date
  2012-03-11
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] Uncurrying for Innermost Termination and Derivational Complexity2011
- Author(s)
  Harald Zankl, Nao Hirokawa, and Aart Middeldorp
- Organizer
  Proceedings of the 5th International Conference on Higher-Order Rewriting
- Place of Presentation
  Edinburgh, UK
- Year and Date
  2011-07-14
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] Maximal Completion2011
- Author(s)
  Dominik Klein and Nao Hirokawa
- Organizer
  Proceedings of the 22nd International Conference on Rewriting Techniques and Applications
- Place of Presentation
  Novi Sad, Serbia
- Year and Date
  2011-05-31
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] Maximal Completion2011
- Author(s)
  Dominik Klein, Nao Hirokawa
- Organizer
  22nd International Conference on Rewriting Techniques and Applications
- Place of Presentation
  ノヴィサド大学(セルビア)
- Year and Date
  2011-05-30
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] Runtime Complexity Analysis for Term Rewriting2011
- Author(s)
  Nao Hirokawa
- Organizer
  Two Faces of Complexity 2011
- Place of Presentation
  ノヴィサド大学(セルビア)(招待講演)
- Year and Date
  2011-05-29
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] Decreasing Diagrams and Relative Termination2010
- Author(s)
  Nao Hirokawa, Aart Middeldorp
- Organizer
  5^<th> International Joint Conference on Automated Reasoning
- Place of Presentation
  エジンバラ大学(イギリス)
- Year and Date
  2010-07-19
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] Uncurrying for Innermost Termination and Derivational Complexity2010
- Author(s)
  Harald Zankl, Nao Hirokawa, Aart Middeldorp
- Organizer
  5^<th> International Workshop on Higher-Order Rewriting
- Place of Presentation
  エジンバラ大学(イギリス)(発表確定)
- Year and Date
  2010-07-14
- Data Source
  KAKENHI-PROJECT-20800022
[Presentation] Decreasing Diagrams and Relative Termination2010
- Author(s)
  Nao Hirokawa and Aart Middeldorp
- Organizer
  Proceedings of the 5th International Joint Conference on Automated Reasoning
- Place of Presentation
  Edinburgh, UK
- Year and Date
  2010-07-19
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] The Subterm Criterion in Complexity Analysis2009
- Author(s)
  Nao Hirokawa, Georg Moser
- Organizer
  In Proceedings of the 10th International Workshop on Termination
- Place of Presentation
  Leipzig, Germany
- Year and Date
  2009-06-04
- Data Source
  KAKENHI-PROJECT-20800022
[Presentation] Complexity, Graphs, and the Dependency Pair Method2008
- Author(s)
  Nao Hirokawa, Georg Moser
- Organizer
  the 15th International Conferences on Logic for Programming, Artificial Intelligence, Reasoning
- Place of Presentation
  カタール国ドーハ
- Year and Date
  2008-11-27
- Data Source
  KAKENHI-PROJECT-20800022
[Presentation] Complexity, Graphs, and the Dependency Pair Method2008
- Author(s)
  Nao Hirokawa, Georg Moser
- Organizer
  In Proceedings of the 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Sydney, Australia, Lecture Notes in Computer Science
- Place of Presentation
  Sydney, Australia
- Year and Date
  2008-11-27
- Data Source
  KAKENHI-PROJECT-20800022
[Presentation] Uncurrying for Termination2008
- Author(s)
  Nao Hirokawa, Aart Middeldorp, Harald Zankl
- Organizer
  the 15th International Conferences on Logic for Programming, Artificial Intelligence, Reasoning
- Place of Presentation
  カタール国ドーハ
- Year and Date
  2008-11-27
- Data Source
  KAKENHI-PROJECT-20800022
[Presentation] Uncurrying for Termination. In Proceedings of the 15th International Conferences on Logic for Programming2008
- Author(s)
  Nao Hirokawa, Aart Middeldorp, Harald Zankl
- Organizer
  Artificial Intelligence and Reasoning, Sydney, Australia, Lecture Notes in Computer Science
- Place of Presentation
  Sydney, Australia
- Year and Date
  2008-11-27
- Data Source
  KAKENHI-PROJECT-20800022
[Presentation] Leftmost Outermost Revisited
- Author(s)
  Nao Hirokawa, Aart Middeldorp and Georg Moser
- Organizer
  26th International Conference on Rewriting Techniques and Applications
- Place of Presentation
  ワルシャワ、ポーランド
- Year and Date
  2015-06-29 – 2015-07-01
- Data Source
  KAKENHI-PROJECT-25730004
[Presentation] CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems
- Author(s)
  Kiraku Shintani and Nao Hirokawa
- Organizer
  25th International Conference on Automated Deduction
- Place of Presentation
  ベルリン、ドイツ
- Year and Date
  2015-08-04 – 2015-08-07
- Data Source
  KAKENHI-PROJECT-25730004
[Presentation] IaCOP – Interface for the Administration of Cops
- Author(s)
  Nao Hirokawa
- Organizer
  1st International Workshop on Confluence (IWC 2012)
- Place of Presentation
  名古屋市
- Data Source
  KAKENHI-PROJECT-22700009
[Presentation] A Rewriting Solution to the Parsing Problem
- Author(s)
  Nao Hirokawa
- Organizer
  14th Meeting of the IFIP WG 1.6 on Term Rewriting
- Place of Presentation
  名古屋市
- Invited
- Data Source
  KAKENHI-PROJECT-22700009

1. MIZUHITO Ogawa (40362024)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. SEKI Hiroyuki (80196948)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. MOSER Georg

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
4. MIDDELDORP Aart

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
5. KLEIN Dominik

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
6. VU Xuan Tung

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. TO Van Khanh

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hirokawa Nao 廣川 直

廣川 直 ヒロカワ ナオ

HIROKAWA Nao 廣川 直

Research Projects

Research Products

Co-Researchers

Automated Deduction and Reduction OrdersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Normalization Analysis for Term RewritingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Confluence Analysis for Term Rewriting and Its ApplicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Optimization of polynomial constraint solving based on fusion of approximation and algebraix methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Rewriting Techniques for Non-Deterministic ComputationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automated Complexity Analysis for Term RewritingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 電子情報通信学会 知識ベース 7群1編「ソフトウェア基礎」2章「定理証明と検証法」3節「SAT」執筆2010

Author(s)

Total Pages

Publisher

Data Source

[Book] 「ソフトウェア基礎」, 「定理証明と検証法」, 「SAT」2010

Author(s)

Publisher

Data Source

[Journal Article] Compositional Confluence Criteria2024

Author(s)

Journal Title

Data Source

[Journal Article] Abstract Completion, Formalized2019

Author(s)

Journal Title

Data Source

[Journal Article] AC-KBO Revisited2015

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Uncurrying for Termination and Complexity.2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Uncurrying for Termination and Complexity2012

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Decreasing Diagrams and Relative Termination.2011

Author(s)

Journal Title

NAID

Data Source

Hirokawa Nao 廣川直

廣川直ヒロカワナオ

HIROKAWA Nao 廣川直

[Book] 電子情報通信学会知識ベース 7群1編「ソフトウェア基礎」2章「定理証明と検証法」3節「SAT」執筆2010