廣川直 Hirokawa Nao

研究者番号	50467122
その他のID
所属 (現在)	2025年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2023年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 2017年度 – 2020年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 2010年度 – 2015年度: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 2008年度 – 2009年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教
審査区分/研究分野	研究代表者情報学基礎理論 / 情報学基礎 / 小区分60010:情報学基礎論関連研究代表者以外ソフトウエア
キーワード	研究代表者項書換え / 完備化 / 合流性 / 定理自動証明 / 情報基礎 / 簡約順序 / 停止性 / 自動演繹 / 自動定理証明 / 正規化戦略 … もっと見る / 正規化性 / 形式言語 / 可換性 / オーストリア / 国際研究者交流 / 関数型プログラム / 計算理論 / 戦略 / 計算量 / 計算モデル / 項書き換え … もっと見る研究代表者以外充足性判定 / 多項式制約 / SMTソルバ / 数式処理 / 制約解消 / 仕様検証 / 仕様記述 / ソフトウェア隠す

自動演繹における簡約順序問題研究代表者
- 研究代表者
  
  廣川直
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  北陸先端科学技術大学院大学
項書換えの正規化性解析研究代表者
- 研究代表者
  
  廣川直
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  北陸先端科学技術大学院大学
項書換えの合流性解析とその応用研究代表者
- 研究代表者
  
  廣川直
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎理論
- 研究機関
  北陸先端科学技術大学院大学
近似手法と数式処理の融合による実数多項式制約の効率化
- 研究代表者
  
  小川瑞史
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
非決定計算のための項書き換え理論研究代表者
- 研究代表者
  
  廣川直
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  北陸先端科学技術大学院大学
項書き換えに基づく計算量解析の自動化研究代表者
- 研究代表者
  
  廣川直
- 研究期間 (年度)
  2008 – 2009
- 研究種目
  
  若手研究(スタートアップ)
- 研究分野
  
  情報学基礎
- 研究機関
  北陸先端科学技術大学院大学

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

1. 小川瑞史 (40362024)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 関浩之 (80196948)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. モーザーゲーオグ

共同の研究課題数: 1件

共同の研究成果数: 3件
4. ミデルドープアート

共同の研究課題数: 1件

共同の研究成果数: 7件
5. クラインドミニク

共同の研究課題数: 1件

共同の研究成果数: 4件
6. ヴシュアンツング

共同の研究課題数: 1件

共同の研究成果数: 0件
7. トヴァンカン

共同の研究課題数: 1件

共同の研究成果数: 0件

廣川 直 Hirokawa Nao

研究課題

研究成果

共同研究者

自動演繹における簡約順序問題研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

項書換えの正規化性解析研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

項書換えの合流性解析とその応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

近似手法と数式処理の融合による実数多項式制約の効率化

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

非決定計算のための項書き換え理論研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

項書き換えに基づく計算量解析の自動化研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

総ページ数

出版者

データソース

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

著者名/発表者名

出版者

データソース

[雑誌論文] Compositional Confluence Criteria2024

著者名/発表者名

雑誌名

データソース

[雑誌論文] Abstract Completion, Formalized2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] AC-KBO Revisited2015

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Uncurrying for Termination and Complexity.2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Uncurrying for Termination and Complexity2012

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Decreasing Diagrams and Relative Termination.2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Decreasing Diagrams and Relative Termination2011

著者名/発表者名

廣川直 Hirokawa Nao

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