トップページ  >  教員個別情報
小川　瑞史 （OGAWA, Mizuhito）教授
情報科学, コンピューティング科学研究領域
◆学位
博士（理学） 東京大学
◆職歴
: 北陸先端科学技術大学院大学・特任教授(2003-2007), 北陸先端科学技術大学院大学・教授(2007-), 国立情報学研究所・客員教授(2008-)
: NTT電気通信研究所・研究員(1985-2001)、科学技術振興事業団・研究員(2002-2003)
◆専門分野
ソフトウェア
◆研究キーワード
ソフトウェア検証, プログラム解析
◆研究課題
大規模Javaプログラムのコンテキスト依存解析
重み付プッシュダウンモデル検査に基づく Java のコンテキスト依存解析を設計・実装する。特に、オブジェクト指向言語におけるコンテキスト依存解析の基本となる Points-to 解析の新たなアルゴリズムを提案し、現在、10000メソッド程度を目標に実装を進めている。実装は前処理として SOOT による中間言語Jimple への変換、ならびにバックエンドとして Weighted PDS ライブラリを用いる。

■研究業績

◆発表論文
On Classes of Regular Languages Related to Monotone WQOs.
Mizuhito Ogawa, Victor, L. Selivanov
Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings, 235-247, 2019
Comparison of Three Deep Learning-based Approaches for IoT Malware Detection.
Khanh Duy Tung, Nguyen, Tran Minh Tuan, Son Hai Le, Viet-Anh Phan, Mizuhito Ogawa, Nguyen Le Minh
10th International Conference on Knowledge and Systems Engineering, KSE 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018, 382-388, 2018
Packer identification based on metadata signature
Nguyen Minh Hai, Mizuhito Ogawa, Quan Thanh Tho
ACM International Conference Proceeding Series, -, 2017
raSAT: an SMT solver for polynomial constraints
Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
FORMAL METHODS IN SYSTEM DESIGN, 51, 3, 462-499, 2017
Subtropical satisfiability
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10483, 189-206, 2017
◆Misc
モデル検査技術を利用したプログラム解析器の生成ツール
山岡 裕司, 胡振江, 武市 正人, 小川 瑞史
情報処理学会論文誌プログラミング（PRO）, 44, 13, 25-37, 2003
◆講演・口頭発表
raSAT: SMT for Polynomial Inequality
12th International Workshop on Satisfiability Modulo Theories (SMT2014), TU Wien, Wien Austria, 2014
Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
IWC 2014 (3rd International Workshop on Confluence, TU Wien, Wien Austria, 2014

■担当講義

Formal Languages and Automata(E), Mathematical Logic, Graphs and Automata, Algebra for Computer Scientist, 形式言語とオートマトン(E), 数理論理学, グラフとオートマトン理論, 情報代数

■学外活動

◆所属学会
Association for Computing Machinary, 情報処理学会, 日本ソフトウェア科学会
◆学術貢献活動
10th IEEE RIVF International Conference on Computing and Communication Technologies (RIVF-2013) , Thanh-Thuy Nguyen・教授（副学長）・VNU-UET, Vietnam、小川瑞史・教授・JAIST, Japan (PC co-chairs) , 2013 - 2013 , Hanoi, Vietnam http://uet.vnu.edu.vn/rivf2013/
11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) , Hung Dang-Van・教授・UET-VNU Hanoi, Vietnam、小川瑞史・教授・JAIST, Japan (PC co-chairs) , 2013 - 2013 , Hanoi, Vietnam http://www.uet.vnu.edu.vn/atva2013/index.htmlProceedings appeared as Springer LNCS 8172