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

講演発表表示
表示方法:
表示順:

 

 

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

5件中1-5件目

  • 1. Automated Normalization Analysis for Term Rewriting,Nao Hirokawa,Logic, Complexity and Automation (LC&A),Obergurgl, Austria,September 5-7, 2016
  • 2. Basic Normalization,Nao Hirokawa,IFIP Working Group 1.6 (Term Rewriting),2014/07/13
  • 3. Runtime Complexity Analysis for Term Rewriting,Nao Hirokawa,Two Faces of Complexity 2011,Novi Sad, Serbia,May 29, 2011
  • 4. SAT/SMT solvers, its algorithm, implementation, and applications,Nao Hirokawa,SEFM School 2009,College of Technology, Vietnam National University, Hanoi, Vietnam,2009年11月16日
  • 5. 停止性自動検証ツールにおける SAT Solver の使い方,広川 直,第5回プログラミングおよびプログラミング言語サマースクール