石川 冬樹
イシカワ フユキ (Fuyuki Ishikawa)
更新日: 12/02
基本情報
- 所属
- 国立情報学研究所 アーキテクチャ科学研究系 准教授
- 学位
-
博士（情報理工学）
- J-GLOBAL ID
- 200901035651542754
- researchmap会員ID
- 5000091020
- 外部リンク
国立情報学研究所 アーキテクチャ科学研究系 准教授
賢く頼れる次世代の新しいソフトウェアのあり方を追求するとともに，その開発・運用・進化のための技術に取り組んでいます．詳しくは上記のリンク先URLからWebサイトをご参照下さい．
研究キーワード
14研究分野
4経歴
10-
2022年4月 - 現在
-
2018年4月 - 現在
-
2012年6月 - 現在
-
2024年4月 - 2025年3月
-
2018年4月 - 2024年3月
-
2012年6月 - 2022年3月
-
2011年11月 - 2018年3月
-
2012年4月 - 2012年5月
-
2007年4月 - 2012年3月
-
2007年4月 - 2011年10月
共同研究・競争的資金等の研究課題
23-
文部科学省 科学研究費助成事業 基盤研究（Ａ） 2024年4月 - 2028年3月
-
文部科学省 科学研究費助成事業 基盤研究（Ｂ） 2024年4月 - 2027年3月
-
科学技術振興機構 CREST 数理的情報活用基盤領域 2025年10月 - 2026年3月
-
文部科学省 科学研究費助成事業 基盤研究（Ｂ） 2023年4月 - 2026年3月
-
日本学術振興会 科学研究費補助金 基盤研究（Ｂ） 2021年4月 - 2025年3月
-
科学技術振興機構 未来社会創造事業 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費補助金 基盤研究（Ｂ） 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費補助金 基盤研究（Ｂ） 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費補助金 基盤研究（Ａ） 2017年4月 - 2022年3月
-
科学技術振興機構 創造科学技術推進事業（ERATO） 2016年10月 - 2022年3月
-
情報通信研究機構 / H2020 欧州との連携によるハイパーコネクテッド社会のためのセキュリティ技術の研究開発 2018年7月 - 2021年6月
-
日本学術振興会 科学研究費補助金 基盤研究（Ｂ） 2017年4月 - 2021年3月
-
科学技術振興機構 未来社会創造事業 2018年11月 - 2020年3月
-
情報通信研究機構 / H2020 欧州との連携による公共ビッグデータの利活用基盤に関する研究開発 2016年7月 - 2019年6月
-
日本学術振興会 科学研究費補助金 挑戦的萌芽研究 挑戦的萌芽研究 2015年4月 - 2017年3月
-
日本学術振興会 科学研究費補助金 若手研究（Ａ） 2014年4月 - 2017年3月
-
FP7/NICT 新世代ネットワークの実現に向けた欧州との連携による共同研究開発 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費補助金 基盤研究（Ａ） 2012年4月 - 2015年3月
-
情報処理推進機構 ソフトウェア工学分野の先導的研究支援事業 2013年6月 - 2015年2月
-
日本学術振興会 科学研究費補助金 挑戦的萌芽研究 2012年4月 - 2014年3月
受賞
19書籍等出版物
11-
丸善出版 2024年1月 (ISBN: 9784621053911)
-
講談社 2022年7月 (ISBN: 9784065285862)
-
近代科学社 2018年12月
-
Chapman and Hall/CRC 2016年10月
-
Wiley-ISTE 2016年7月
-
Springer 2013年9月
-
近代科学社 2011年7月
論文
268-
The 7th International Workshop on Quantum Software Engineering (Q-SE 2026) 2026年4月 査読有り
-
The ACM/IEEE International Conference on Human-Robot Interaction (HRI 2026) 2026年3月 査読有り
-
The 7th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2025) 2025年11月 査読有り
-
Journal of Systems & Software 229 2025年11月 査読有り
-
The 5th International Workshop on Quantum Software Engineering and Technology (Q-Set-2025) 2025年9月 査読有り
-
The Genetic and Evolutionary Computation Conference (GECCO 2025) 1328-1336 2025年7月 査読有り
-
ソフトウェア・シンポジウム2025（SS 2025） 2025年6月 査読有り
-
The 2nd International Workshop on Quantum Software Engineering: The Next Evolution (QSE-NE 2025) at The ACM International Conference on the Foundations of Software Engineering (FSE 2025)) 1699-1709 2025年6月 査読有り
-
Foundations of Applied Software Engineering for Games Workshop (FaSE4Games 2025) at The ACM International Conference on the Foundations of Software Engineering (FSE 2025) 1453-1460 2025年6月 査読有り
-
The 23rd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2025) 2025年5月 査読有り
-
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller InferencesACM Transactions on Software Engineering and Methodology (TOSEM) 2025年5月 査読有り
-
情報処理学会論文誌 66(4) 647-662 2025年4月 査読有り
-
The 32nd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2025 Industrial Track) 349-359 2025年3月 査読有り
-
Journal of Systems & Software 221 2025年3月 査読有り
-
ACM Transactions on Software Engineering and Methodology (TOSEM) 2025年 査読有り
-
The 17th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2024, Short Paper) 2024年12月 査読有り
-
The 25th International Conference on Formal Engineering Methods (ICFEM 2024, Short Paper) 314-331 2024年12月 査読有り
-
The 25th International Conference on Formal Engineering Methods (ICFEM 2024) 18-36 2024年12月 査読有り
-
第31回ソフトウェア工学の基礎ワークショップ（FOSE 2024） 2024年11月 査読有り
-
ソフトウェアエンジニアリングシンポジウム2024（SES 2024） 2024年9月
講演・口頭発表等
149-
ソフトウェアテストシンポジウム 2025 四国（JaSST'25 Shikoku） 2025年11月14日 招待有り
-
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferencesソフトウェアエンジニアリングシンポジウム2025（SES 2025，既発表論文トラック） 2025年9月17日
-
The 8th International Symposium on AI Verification 2025年7月21日
-
The Genetic and Evolutionary Computation Conference (GECCO 2025, Hot-off-the-Press) 2025年7月
-
品質保証研究会特別講演会 2025年6月18日 招待有り
-
The 18th IEEE International Conference on Software Testing, Verification and Validation (ICST 2025, Journal-First Track) 2025年4月2日
-
The 4th International Conference on AI Engineering – Software Engineering for AI (CAIN 2025, Industry Talks) 2025年4月
-
ソフトウェアテストシンポジウム東京（JaSST'25 Tokyo） 2025年3月28日 招待有り
-
2024年度宇宙航空安全・ミッション保証シンポジウム 2025年1月15日 招待有り
-
ウィンターワークショップ2025・ イン・下関 2025年1月10日
-
JaSST'24 Tokai 2024年12月20日 招待有り
-
第6回AI/IoTシステム安全性シンポジウム 2024年12月4日
-
Future Advanced Testing Technology Workshop (FATTW 2024) 2024年11月2日 招待有り
-
Future Advanced Testing Technology Workshop (FATTW 2024) 2024年11月2日 招待有り
-
The 6th Annual International Workshop on Software Hardware Interaction Faults at The 35h International Symposium on Software Reliability Engineering (ISSRE 2024) 2024年10月28日 招待有り
-
JSTQBカンファレンス in 2024 Autumn 2024年10月9日 招待有り
-
ソフトウェアエンジニアリングシンポジウム2024（SES 2024） 2024年9月18日
-
AI×法・倫理シンポジウム 2024 2024年7月9日 招待有り
-
MLSE夏合宿2024 2024年7月5日
-
Symposium on Search-Based Software Engineering 2024 (SSBSE 2024, Hot off the Press track) 2024年7月
MISC
48-
光学 54(5) 2025年5月 招待有り
-
NII Today 第103号 2024年9月 招待有り
-
Human-Centered Services Computing for Smart Cities - IEICE Monograph 3-21 2024年5月 招待有り
-
Communications of the ACM 66(7) 58-63 2023年7月 査読有り
-
NII Today 第99号 2023年6月 招待有り
-
人工知能 38(3) 420-425 2023年5月 招待有り
-
「システム／制御／情報」 66(5) 2022年5月 招待有り
-
日本ロボット学会誌 40(3) 183-186 2022年4月 招待有り筆頭著者
-
エレクトロニクス コミュニケーション・近畿化学協会エレクトロニクス部会 9-14 2022年3月 招待有り筆頭著者
-
IBM THINK Business 2019年7月
-
NII Shonan Meeting Report 2018(16) 2019年2月
-
コンピュータソフトウェア 2019年2月 査読有り
-
情報処理 59(1) 25-33 2019年1月 招待有り
-
Technical Report, Newcastle University 1525 2018年12月
-
NII Shonan Meeting Report 2017(18) 2018年6月
-
Codezine 2017年11月 招待有り
-
情報処理 58(8) 693-695 2017年7月 招待有り
-
Technical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1504) 2016年11月
-
Proceedings of the Workshop on Formal and Model-Driven Techniques for Developing Trustworthy SystemsTechnical Report, School of Computing Science, University of Newcastle upon Tyne (CS-TR-1503) 2016年11月
-
Technical Report, GRACE Center, National Institute of Informatics (GRACE-TR-2015-06) 1-139 2015年6月
担当経験のある科目(授業)
5委員歴
8-
2013年4月 - 現在
-
2022年4月
-
2018年4月 - 2022年3月
-
2016年6月 - 2020年6月
-
2012年4月 - 2020年3月
-
2014年4月 - 2018年3月
-
2009年4月 - 2013年3月