問い合わせ先
廣川 直 (准教授)
- 所属:
- 〒923-1292 石川県能美市旭台1-1
北陸先端科学技術大学院大学
先端科学技術研究科
情報科学系 - 研究室:
- 廣川研究室
- 部屋:
- I-54a
- 電話:
- 0761-51-1277
- email:
- hirokawa@jaist.ac.jp
研究
- 計算モデル(項書換え、オートマトン、計算量解析)
- 自動演繹(定理自動証明、SAT/SMT)
講義
- 1-1期 ‐ I211E: 数理論理学
- 2-1期 ‐ I413E: 理論計算機科学
国際会議・国内集会の案内
- 59th TRS Meeting, September 27 - 29, 2023, Izumo, Japan
- 14th International School on Rewriting (ISR 2024), August 25 - September 1, 2024, Obergurgl, Austria.