問い合わせ先

廣川 直 （准教授）

所属:

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

研究室:

計算理論研究室

部屋:

I-54a

電話:

0761-51-1277

email:

hirokawa

term rewriting

@jaist.ac.jp

研究

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

講義

• 1-1期 ‐ I211E: 数理論理学
• 1-2期 ‐ I413E: 理論計算機科学 （令和９年度）

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

• 35th EACSL Annual Conference on Computer Science Logic (CSL), Brighton, UK, 25 – 29 January, 2027. Abstract submission: Wednesday, 8 July 2026 (AoE); Paper submission: Wednesday, 15 July 2026 (AoE)
• 16th International Workshop on Rewriting Logic and its Applications (WRLA), Torino, April 11 – 12, 2026.
• 11th International Conference on Formal Structures for Computation and Deduction (FSCD), Lisbon, Portugal, 20 – 23 July 2026.