問い合わせ先

廣川 直 （准教授）

所属:

〒923-1292 石川県能美市旭台1-1
北陸先端科学技術大学院大学
先端科学技術研究科
情報科学系

研究室:

廣川研究室

部屋:

I-54a

電話:

0761-51-1277

email:

hirokawa

term rewriting

@jaist.ac.jp

研究

• 計算モデル（項書換え、オートマトン、計算量解析）
• 自動演繹（定理自動証明、SAT/SMT）

講義

• 1-1期 ‐ I211E: 数理論理学

国際会議・国内集会の案内

• 13th International Workshop on Confluence, July 9, 2024, Tallinn, Estonia.
  Submission deadline: 1st May, 2024.
• 17th Conference on Intelligent Computer Mathematics, August 5-9, 2024, Montréal, Québec, Canada.
  Abstract deadline: April 1, 2024; Paper deadline: April 8, 2024.
• 14th International School on Rewriting (ISR 2024), August 25 - September 1, 2024, Obergurgl, Austria.