石川 冬樹
イシカワ フユキ (Fuyuki Ishikawa)
更新日: 03/17
基本情報
- 所属
- 国立情報学研究所 アーキテクチャ科学研究系 准教授
- 学位
-
博士(情報理工学)
- J-GLOBAL ID
- 200901035651542754
- researchmap会員ID
- 5000091020
- 外部リンク
国立情報学研究所 アーキテクチャ科学研究系 准教授
賢く頼れる次世代の新しいソフトウェアのあり方を追求するとともに,その開発・運用・進化のための技術に取り組んでいます.詳しくは上記のリンク先URLからWebサイトをご参照下さい.
研究キーワード
15研究分野
4経歴
9-
2022年4月 - 現在
-
2018年4月 - 現在
-
2018年4月 - 現在
-
2012年6月 - 現在
-
2012年6月 - 2022年3月
-
2011年11月 - 2018年3月
-
2012年4月 - 2012年5月
-
2007年4月 - 2012年3月
-
2007年4月 - 2011年10月
共同研究・競争的資金等の研究課題
20-
文部科学省 科学研究費助成事業 基盤研究(B) 2023年4月 - 2026年3月
-
日本学術振興会 科学研究費補助金 基盤研究(B) 2021年4月 - 2025年3月
-
科学技術振興機構 未来社会創造事業 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費補助金 基盤研究(B) 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費補助金 基盤研究(B) 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費補助金 基盤研究(A) 2017年4月 - 2022年3月
-
科学技術振興機構 創造科学技術推進事業(ERATO) 2016年10月 - 2022年3月
-
情報通信研究機構 / H2020 欧州との連携によるハイパーコネクテッド社会のためのセキュリティ技術の研究開発 2018年7月 - 2021年6月
-
日本学術振興会 科学研究費補助金 基盤研究(B) 2017年4月 - 2021年3月
-
科学技術振興機構 未来社会創造事業 2018年11月 - 2020年3月
-
情報通信研究機構 / H2020 欧州との連携による公共ビッグデータの利活用基盤に関する研究開発 2016年7月 - 2019年6月
-
日本学術振興会 科学研究費補助金 挑戦的萌芽研究 2015年4月 - 2017年3月
-
日本学術振興会 科学研究費補助金 若手研究(A) 2014年4月 - 2017年3月
-
FP7/NICT 新世代ネットワークの実現に向けた欧州との連携による共同研究開発 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費補助金 基盤研究(A) 2012年4月 - 2015年3月
-
情報処理推進機構 ソフトウェア工学分野の先導的研究支援事業 2013年6月 - 2015年2月
-
日本学術振興会 科学研究費補助金 挑戦的萌芽研究 2012年4月 - 2014年3月
-
日本学術振興会 科学研究費補助金 若手研究(B) 2008年4月 - 2011年3月
-
日本学術振興会 科学研究費補助金 基盤研究(A) 2007年4月 - 2010年3月
-
日本学術振興会 科学研究費補助金 若手スタートアップ 2007年10月 - 2008年3月
受賞
16書籍等出版物
10-
丸善出版 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月
論文
242-
The 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2024, Industry Track) 2024年5月 査読有り
-
DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024) 2024年4月 査読有り
-
DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024) 2024年4月 査読有り
-
The 2nd International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2024) 2024年3月 査読有り
-
The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024, Industry Track) 2024年3月 査読有り
-
The 30th Asia-Pacific Software Engineering Conference (APSEC2023, Software Engineering In Practice Track) 2023年12月 査読有り
-
The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) 1149-1161 2023年9月 査読有り
-
The 5th International Workshop on Dependable Intelligent Systems (DeIS 2023) 734-742 2023年8月 査読有り
-
The Genetic and Evolutionary Computation Conference (GECCO 2023) 1303-1311 2023年7月 査読有り
-
The Genetic and Evolutionary Computation Conference (GECCO 2023) 1527-1536 2023年7月 査読有り
-
IEEE 2023 Congress on Evolutionary Computation (CEC 2023) 1-10 2023年7月 査読有り
-
IEEE Transactions on Dependable and Secure Computing 20(4) 2713-2730 2023年7月 査読有り
-
The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023) 177-186 2023年6月 査読有り
-
電子情報通信学会論文誌 J106-D(04) 244-256 2023年4月 査読有り
-
The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023) 83-94 2023年4月 査読有り
-
The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023, Industry Track) 2023年3月 査読有り
-
The 25th International Symposium on Formal Methods (FM 2023) 533-549 2023年3月 査読有り
-
The 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022) 2022年10月 査読有り
-
The 2nd International Workshop on Automated Software Engineering for Computer Games (ASE4Games 2022) 210-8 2022年10月 査読有り
-
ソフトウェア品質シンポジウム2022 2022年9月 査読有り
講演・口頭発表等
127-
The 46th International Conference on Software Engineering (ICSE 2024) 2024年4月
-
FM+SE Summit 2024 2024年3月29日 招待有り
-
JaSST'24 Tokyo 2024年3月14日 招待有り
-
JaSST'24 Tokyo 2024年3月14日 招待有り
-
令和5年度第3回機械システム研究会 2024年1月19日 招待有り
-
Open QA4AI Conference 2023 2024年1月17日 招待有り
-
CSA Japan Congress 2023 2023年11月22日 招待有り
-
JaSST'23 Shikoku 2023年10月13日 招待有り
-
ソフトウェアエンジニアリングシンポジウム2023(SES 2023) 2023年9月25日 招待有り
-
ソフトウェアエンジニアリングシンポジウム2023(SES 2023、既発表論文トラック) 2023年8月25日
-
ソフトウェアエンジニアリングシンポジウム2023(SES 2023、既発表論文トラック) 2023年8月24日
-
電子情報通信学会第46回サービスコンピューティング研究会 2023年6月3日
-
The IEEE/ACM International Conference on Software Engineering (ICSE 2023, Journal-First Track) 2023年5月
-
第8回オートモーティブ・ソフトウェア・フロンティア2023 2023年2月3日 招待有り
-
第8回オートモーティブ・ソフトウェア・フロンティア2023 2023年2月3日 招待有り
-
JaSST nano vol.19 2022年12月20日
-
ソフトウェアエンジニアリングシンポジウム2022(既発表論文トラック) 2022年9月7日
-
日本ソフトウェア科学会第39回大会(JSSST 2022) 2022年9月2日
-
Hot off the Press track, The Genetic and Evolutionary Computation Conference (GECCO 2022) 2022年7月
-
ソフトウェアテストシンポジウム 2022 関西(JaSST'22 Kansai) 2022年6月25日
MISC
45-
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月
-
Technical Report, GRACE Center, National Institute of Informatics (GRACE-TR-2015-05) 1-17 2015年6月
-
NII Shonan Meeting Report 2014(14) 2015年4月
-
コンピュータソフトウェア 2014年11月 査読有り
担当経験のある科目(授業)
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月