石井 大輔 (ISHII, Daisuke)准教授
情報科学系, セキュリティ・ネットワーク領域
◆学位
博士 (工学) 早稲田大学
◆職歴
2019 - : 北陸先端科学技術大学院大学 , 先端科学技術研究科 情報科学系 , 准教授
2018 - 2019 : 福井大学 , 学術研究院工学系部門 , 准教授
2015 - 2018 : 福井大学 , 学術研究院工学系部門 , 講師
2013 - 2015 : 東京工業大学 , 大学院情報理工学研究科 , 助教
2011 - 2013 : 独立行政法人日本学術振興会/国立情報学研究所 , 特別研究員
2011 - 2011 : INRIA Saclay/パリ第11大学 , 訪問研究員
2010 - 2011 : INRIA/ナント大学 , 特別研究員
2007 - 2010 : 早稲田大学 , 理工学術院 基幹理工学部 , 助手
2004 - 2006 : (株) 東芝 , 研究・開発センター , 研究員
◆専門分野
ソフトウェア
◆研究キーワード
区間解析, 制約プログラミング, ハイブリッドシステム

■研究業績

◆発表論文
Computer-assisted verification of four interval arithmetic operators
Daisuke Ishii, Tomohito Yabu
Journal of Computational and Applied Mathematics, 377, -, 2020
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models
Takashi TOMITA, Daisuke ISHII, Toru MURAKAMI, Shigeki TAKEUCHI, Toshiaki AOKI
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E103-A, 2, 451-461, 2020
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
Daisuke Ishii, Saito Fujii
International Symposium on Theoretical Aspects of Software Engineering (TASE), -, 2020
A scalable Monte-Carlo test-case generation tool for large and complex simulink models.
Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki
Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019, 39-46, 2019
大規模複雑SimulinkモデルのためのテンプレートベースMonte-Carlo法に基づいたテスト自動生成ツール
冨田 尭, 石井 大輔, 村上 徹, 竹内 成樹, 青木 利晃
組込みシステムシンポジウム2018論文集, 2018, 83-90, 2018
◆Misc
SMTソルバを用いたSimulinkモデルのテストケース生成
八田 竜起, 石井 大輔
情報処理学会全国大会, 1-2, 2020
区間制約ソルバにおけるパラメータ化制約の導入
野村 亮太, 石井 大輔
情報処理学会全国大会, 1-2, 2020
Why3を用いた区間べき関数のプログラム検証
村上 涼星, 薮 智仁, 石井 大輔
日本ソフトウェア科学会第36回大会, 1-7, 2019
SimulinkモデルのSMT-LIBエンコード方法に関する実験 (システム数理と応用)
武仲 紘輝, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 7-11, 2019
Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装 (システム数理と応用)
小嶋 翔太, 石井 大輔
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 118, 499, 19-22, 2019

■学外活動

◆所属学会
米国計算機科学会, 電子情報通信学会, 日本ソフトウェア科学会
◆審議会等への参画状況
・ 日本ソフトウェア科学会 ディペンダブルシステム研究会 , 運営委員 , 2016-
・ 日本ソフトウェア科学会 , 『コンピュータソフトウェア』編集委員 , 2015-
・ 電子情報通信学会 システム数理と応用研究会 , 専門委員 , 2015-

■賞等

・ 優秀論文賞 , 電子情報通信学会 システム数理と応用研究会 , 2015
・ 高橋奨励賞 , 日本ソフトウェア科学会 , 2014