石川 冬樹

領域 数理情報科学領域
コース 情報学コース
基盤機関 国立情報学研究所
学位 博士（情報理工学）, 東京大学
職位 教授
キーワード ソフトウェア工学, テスティング, 形式手法, 機械学習工学, サイバーフィジカルシステム
外部リンク https://researchmap.jp/f-ishikawa
https://nrid.nii.ac.jp/ja/nrid/1000050455193/
https://scholar.google.com/citations?user=v6stGAoAAAAJ
https://dblp.uni-trier.de/pid/03/2671.html?view=by-year

キーワード

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

論文一覧（最新5件）

研究課題一覧（最新5件）

    • 要求と実装のトレーサビリティー追求による深層学習システムの高品質化
    • 2024-2024
    • キーワード: 深層学習, 欠陥局所化, プログラム自動修正, デバッグ, Fault Localization
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K21657
    • 保証付き多段階システムモデルの柔軟・継続的な洗練・進化
    • 2017-2020
    • キーワード: ソフトウェア開発効率化・安定化, 形式手法, システムモデリング, 段階的詳細化, Cyber-Physical Systems, ソフトウエア開発効率化・安定化
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H01727
    • 異種ユビキタスプラットフォームを横断する，保障を伴う自己適応に関する研究
    • 2016-2018
    • キーワード: 自己適応, ソフトウェア検証, アクターモデル, Session Type, 自己適応システム
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16F16805
    • 実行時ゴールモデル追跡による想定外の検出
    • 2015-2016
    • キーワード: ゴールモデル, 不確かさ, 障害原因分析, サイバーフィジカルシステム, ソフトウエア開発効率化・安定化, Cyber-Physical Systems, Internet of Things, 適応・進化, ドメイン分析, 監視
    • URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K12012
    • 教師あり機械学習の実行と分析者の知識習得を同時に支援するツールの提案
    • 著者: 鴨志田 亮太, 石川 冬樹
    • 出版日: 22-Aug
    • 出版社: 東京 : 日本ソフトウェア科学会 ; 1984-
    • ジャーナル名: コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編
    • URL: https://cir.nii.ac.jp/crid/1520574588635506560
    • Activities of National Institute of Informatics in Japan
    • 著者: 喜連川, 優, 漆谷, 重雄, 山地, 一禎, 高倉, 弘喜, 蓮尾, 一郎, 佐藤, いまり, 石川, 冬樹, 越前, 功, 森, 健策
    • 出版日: 2023/6/22
    • 出版社: Association for Computing Machinery
    • ジャーナル名: Communications of the ACM
    • URL: https://cir.nii.ac.jp/crid/1050015333084142720
    • ビューパターンに基づいた列挙を行うドメイン特化モデリング環境開発支援ツールの実装と評価
    • 著者: 川上 真澄, 石川 冬樹
    • 出版日: 2023/4/1
    • 出版社: The Institute of Electronics, Information and Communication Engineers
    • ジャーナル名: 電子情報通信学会論文誌D 情報・システム
    • キーワード: ドメイン特化モデリング
    • URL: https://cir.nii.ac.jp/crid/1390295579819969152
    • 教師あり機械学習の実行と分析者の知識習得を同時に支援するツールの提案
    • 著者: 鴨志田 亮太, 石川 冬樹
    • 出版日: 2022/7/22
    • 出版社: 日本ソフトウェア科学会
    • ジャーナル名: コンピュータ ソフトウェア
    • URL: https://cir.nii.ac.jp/crid/1390856450881647488
    • Practical insights of repairing model problems on image classification
    • 著者: Yoshii, Akihito, Tokumoto, Susumu, Ishikawa, Fuyuki
    • 出版日: 2022/5/16
    • 出版社: ACM
    • ジャーナル名: Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI
    • キーワード: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Software Engineering, Machine Learning (cs.LG)
    • URL: https://cir.nii.ac.jp/crid/1873679868043942656

PAGE TOP