北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

所属学会表示
表示方法:
表示順:

 

 

廣川 直 (ヒロカワ ナオ) 准教授
情報科学系、知能ロボティクス領域

7件中1-7件目

  • 1. IFIP Technical Committee 1 (Foundations of Computer Science),日本代表,2018-
  • 2. International Workshop on Logic and Computational Complexity (LCC),舵取り委員,2015-2017
  • 3. International Conference on Formal Structures for Computation and Deduction (FSCD),舵取り委員,2015-2016
  • 4. IFIP Working Group 1.6 (Term Rewriting),会員,2014-
  • 5. International Conference on Rewriting Techniques and Applications (RTA),舵取り委員,2014-2015
  • 6. International Workshop on Confluence (IWC),舵取り委員,2013-
  • 7. Confluence Competition (CoCo),設立メンバーおよび舵取り委員,2011-2018