研究者
J-GLOBAL ID：200901076088523819   更新日: 2023年09月28日

小川 瑞史

オガワ ミズヒト | Ogawa Mizuhito
所属機関・部署：
北陸先端科学技術大学院大学 情報科学研究科

北陸先端科学技術大学院大学 情報科学研究科 について


職名： 教授
ホームページURL (1件)： http://www.jaist.ac.jp/~kkgi/thisyear/soj/00369soj.html
研究分野 (1件)： ソフトウェア
研究キーワード (2件)： ソフトウェア検証 ,  プログラム解析
競争的資金等の研究課題 (1件)：
  • 主として関数型プログラムを対象とした解析・検証・生成,組み合わせ理論の応用に基づく効率的プログラムの自動生成,具体的な応用領域としては,コントロールフロー解析,データマイニング
論文 (57件)：
もっと見る
MISC (1件)：
講演・口頭発表等 (2件)：
  • raSAT: SMT for Polynomial Inequality
    (12th International Workshop on Satisfiability Modulo Theories (SMT2014) 2014)
  • Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
    (IWC 2014 (3rd International Workshop on Confluence 2014)
学歴 (2件)：
  • - 1985 東京大学 理学系研究科 数学専攻
  • - 1983 東京大学 理学部 数学科
学位 (1件)：
  • 博士(理学) (東京大学)
経歴 (2件)：
  • 北陸先端科学技術大学院大学・特任教授(2003-2007), 北陸先端科学技術大学院大学・教授(2007-), 国立情報学研究所・客員教授(2008-)
  • NTT電気通信研究所・研究員(1985-2001)、科学技術振興事業団・研究員(2002-2003)
所属学会 (3件)：
Association for Computing Machinary ,  情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM