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

■研究業績

◆発表論文
A Real-Blasting Extension of cvc5 for Reasoning about Floating-Point Arithmetic
Daisuke Ishii
VMCAI (tool paper; to appear), -, 2025
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
Daisuke Ishii
SPIN, 14624, 67-84, 2024
Coverage Testing of Industrial Simulink Models Using Monte-Carlo and SMT-Based Methods
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai
QRS, 422-433, 2022
SMT-Based Model Checking of Industrial Simulink Models
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Thế Quyền Ngô, Thi Bich Ngoc Do, Hideaki Takai
ICFEM, 13478, 156-172, 2022
Approximate Translation from Floating-Point to Real-Interval Arithmetic
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
NASA Formal Methods, 13260, 733-751, 2022
◆Misc
Leanを用いたスイッチング回路の安全性検証
瀬川 秀一, 石井 大輔
Theorem Proving and Provers Meeting (TPP), -, 2024
車両情報を用いた深層学習による運転者眠気検知の検討
中釜雄太郎, 石井大輔, 美添一樹
電子情報通信学会MSS研究会, 64-69, 2024
階層的な同期リアクティブシステムの部品化および検証手法
石井 大輔
PPL (ポスター), -, 2024
Experiments on the conformance testing of a ROS-based robot arm
Luwei Chen, Daisuke Ishii
電子情報通信学会MSS研究会, 60-65, 2023
FOREWORD
Daisuke Ishii
IEICE TRANS. FUNDAMENTALS, VOL.E105–A, NO.5, E105-A, 5, 787-787, 2022

■学外活動

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

■賞等

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