石川冬樹

イシカワフユキ | Ishikawa Fuyuki

所属機関・部署：
職名：准教授
ホームページURL (2件)： http://research.nii.ac.jp/~f-ishikawa/ , http://research.nii.ac.jp/~f-ishikawa/en/

研究分野 (4件)：ソフトウェア , ソフトウェア , ソフトウェア , ソフトウェア

研究キーワード (15件)：ソフトウェア工学 , 機械学習工学 , テスティング , 形式仕様記述 , 形式手法 , 進化計算 , サイバーフィジカルシステム , 自動運転 , クラウドコンピューティング , サービスコンピューティング , Webサービス , ユビキタスコンピューティング , 要求工学 , 法律 , モバイルエージェント

競争的資金等の研究課題 (20件)：

2023 - 2026 AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究
2021 - 2025 要求と実装のトレーサビリティー追求による深層学習システムの高品質化
2020 - 2025 機械学習を用いたシステムの高品質化・実用化を加速する "Engineerable AI"技術の開発
2020 - 2023 ステートフル深層学習システムに対する総合的解析と修復技術の確立
2018 - 2022 IoT向け自律協調自己適応機構とその形式検証手法の研究

全件表示

論文 (243件)：

Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Lauren, Jianjun Zhao. Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. The Genetic and Evolutionary Computation Conference (GECCO 2024). 2024
Thomas Lauren, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa. Metamorphic Testing of an Autonomous Delivery Robots Scheduler. The 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2024, Industry Track). 2024
Andrei Mancu, Thomas Lauren, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Ruecker. More is Not Always Better: Exploring Early Repair of DNNs. DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024). 2024
Davide Li Calsi, Thomas Lauren, Paolo Arcaini, Fuyuki Ishikawa. Federated Repair of Deep Neural Networks. DeepTest 2024 at The 46th International Conference on Software Engineering (ICSE 2024). 2024
Fuyuki Ishikawa, Shinobu Saito. Model-based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems. The 2nd International Workshop on the Art, Science, and Engineering of Quantum Programming (QP 2024). 2024

MISC (45件)：

Masaru Kitsuregawa, Shigeo Urushidani, Kazutsuna Yamaji, Hiroki Takakura, Ichiro Hasuo, Imari Sato, Fuyuki Ishikawa, Isao Echizen, Kensaku Mori. Activities of National Institute of Informatics in Japan. Communications of the ACM. 2023. 66. 7. 58-63
石川冬樹. Engineerable AI(eAI技術)で産業界に革新を - 細やかなニーズに応えられるAIへ. NII Today 第99号. 2023
石川冬樹. 私のブックマーク:AI の品質・安全性へのソフトウェア工学からのアプローチ. 人工知能. 2023. 38. 3. 420-425
石川冬樹, 小川秀人, 西康晴. AI品質保証に向けたQA4AIガイドラインの取り組み. 「システム/制御/情報」. 2022. 66. 5
石川冬樹. 自動運転システム・AIシステムへの自動テスト生成・自動デバッグ技術の展開. 日本ロボット学会誌. 2022. 40. 3. 183-186

特許 (1件)：

情報処理装置、制御設計支援方法およびプログラム

書籍 (10件)：

これからの「ソフトウェアづくり」との向き合い方
丸善出版 2024 ISBN:9784621053911
機械学習工学
講談社 2022 ISBN:9784065285862
アジャイルイントロダクション (トップエスイー入門講座)
近代科学社 2018
Trustworthy Cyber-Physical Systems Engineering
Chapman and Hall/CRC 2016
Education of Scientific Approaches to Trustworthy Systems for Industry - After 10 Years, chapter in Trustworthy Cyber-Physical Systems
Chapman and Hall/CRC 2016

講演・口頭発表等 (127件)：

Technical Briefing on Deep Neural Network Repair
(The 46th International Conference on Software Engineering (ICSE 2024) 2024)
QA4AI Guideline for Quality of LLM and Generative Chat AI
(FM+SE Summit 2024 2024)
JaSSTのはじまりとテストのこれから ~にしさんへの感謝を込めて
(JaSST'24 Tokyo 2024)
AI搭載プロダクトの品質保証の現在地点とこれから
(JaSST'24 Tokyo 2024)
AI 時代における製品・サービスの品質へのアプローチ
(令和5年度第3回機械システム研究会 2024)

学位 (1件)：

博士(情報理工学)

経歴 (9件)：

2022/04 - 現在総合研究大学院大学複合科学研究科情報学専攻准教授
2018/04 - 現在国立情報学研究所先端ソフトウェア工学・国際研究センター副センター長
2018/04 - 現在国立情報学研究所アーキテクチャ科学研究系准教授
2012/06 - 現在電気通信大学大学院情報システム学研究科連携准教授
2012/06 - 2022/03 総合研究大学院大学複合科学研究科情報学専攻客員准教授

全件表示

委員歴 (8件)：

2013/04 - 現在 SEMAT (Software Engineering Method and Theory) Japan Chapter Executive Committee
2013/04 - 現在電子情報通信学会情報・システムソサイエティサービスコンピューティング研究専門委員会専門委員
2022/04 - 日本ソフトウェア科学会機械学習工学研究会運営委員
2018/04 - 2022/03 日本ソフトウェア科学会機械学習工学研究会主査
2016/06 - 2020/06 日本ソフトウェア科学会理事

全件表示

受賞 (16件)：

2022/09 - ソフトウェア品質シンポジウム2022 SQiP Best Paper Effective Award 物理解析ソフトウェアのテスト手法の検討 - Search-based testing およびMetamorphic testing によるアプローチ
2021/06 - ソフトウェア・シンポジウム 2021(SS 2021) 最優秀論文賞ゴール指向要求分析とシステム安全分析を利用した AIシステム品質の個別ガイドライン導出方法の提案
2021/03 - The 22nd International Conference on Formal Engineering Methods (ICFEM 2020) Best Paper Award Embedding Approximation in Event-B: Safe Hybrid System Design using Proof and Refinement
2020/07 - The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020) Best Paper Award: Second Place Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence
2020/07 - ソフトウェア・シンポジウム 2020(SS 2020) 最優秀論文賞要求仕様の誤解釈を検出するDomain Word Modelingの提案

2020/06 - ソフトウェア・シンポジウム 2020(SS 2020) 論文奨励賞多様なステークホルダの満足度に着目したシステムの安全性・セキュリティ要件の抽出と検証

2020/03 - IPSJ/IEEE-CS IPSJ/IEEE-CS Young Computer Researcher Award Research on Intelligence-driven Engineering of Dependable Smart Systems

2019/11 - The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019) Best Paper Award Assessing the Relation Between Hazards and Variability in Automotive Systems

2019/10 - The 30th International Symposium on Software Reliability Engineering (ISSRE 2019) Industry Best Paper Adapting SQuaRE for Quality Assessment of Artificial Intelligence System

2019/08 - 情報処理学会ソフトウェア工学研究会功績賞トップエスイープロジェクトの推進

2018/11 - The 20th International Conference on Formal Engineering Methods (ICFEM 2018) Best Paper Award Analysis on Strategies of Superposition Refinement of Event-B Specifications

2018/06 - ソフトウェア・シンポジウム2018(SS 2018) 論文奨励賞要求獲得のためのヒアリングにおけるゴール指向要求分析の活用 ~「ゴール指向 Lite」の提案~

2015/07 - International Symposium on Software Testing and Analysis (ISSTA 2015) Best Artifact Award Feedback-controlled Random Test Generation

2015/06 - European Association of Software Science and Technology Best Paper Award at The 1st Formal Methods in SW Engineering Education and Training Workshop Keys and Roles of Formal Methods Education for Industry: 10 Year Experience from Top SE Program

2012/10 - International Joint Agent Workshop and Symposium 2012 (iJAWS 2012) Best Paper Award A Scalable Distributed Architecture for Network- and QoS-aware Service Composition

2010/12 - The 8th International Conference on Service-Oriented Computing (ICSOC 2010 PhD Symposium / Poster Track) Best PhD Poster Effcient, Failure-Resilient Semantic Web Service Planning

全件表示

所属学会 (5件)：

日本ソフトウェア科学会 , ACM , IEEE Computer Society , 電子情報通信学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

石川 冬樹

石川冬樹