• トップ
• 進学・受講ご案内
• 活動紹介
• 公開資料
• 経歴・業績
• リンク

国立情報学研究所 コンテンツ科学研究系 准教授 石川 冬樹のページです．
（総合研究大学院大学 複合科学研究科 情報学専攻 兼任）

ソフトウェア・システムの機能や品質に関する抽象的なモデル化・記述，および分析・保証に興味を持っています．

具体的には主に下記領域での研究・教育活動を行っています．

• サービス・クラウドコンピューティング：
  ソフトウェア工学，人工知能の双方，それらの融合の観点から，柔軟・適応的なWebサービス・クラウド連携に関する研究に取り組んでいます．
  2009年度より電子情報通信学会 サービスコンピューティング時限専門研究委員会 副委員長．
• ソフトウェア工学（形式手法，要求工学）：
  要求や仕様におけるモデル化・記述，変換，分析・検証に関する研究に取り組んでいます．
  また形式手法を中心として，産業界向け教育・適用研究にも取り組んでいます（トップエスイー，日科技連SQiPなど）．

本位田研究室（東京大学），GRACEセンターにも所属しています．

お知らせ

• 近代科学社書籍「VDM++による形式仕様記述」（Amazonへのリンク）発売中です．
  • この書籍を補完するものとして，VDMのツール利用方法やFAQを載せたWebサイトを公開しています．
  • NEW!11/10：ご指摘をいただいた誤りの修正を掲載しました．

その他情報については下記ご参照下さい．

• 進学・受講ご案内：大学院進学，開発者向け教育コース・セミナー，研究会・研究セミナーなどのご案内
• 活動紹介：研究をはじめとした活動内容の紹介
• 公開資料：講演・セミナーなどの資料
• 経歴・業績：これまでの発表論文や活動内容の一覧
• リンク：関連組織などへのリンク

代表的な論文・著書・活動

著書

1. 石川 冬樹，荒木 啓二郎（監修），VDM++による形式仕様記述，近代科学社，ISBN 4764904098，2011年7月

論文（共著含む）

1. Towards Robust Service Compositions in the Context of Functionally Diverse Services, WWW 2012 (to appear)
2. Towards Network-aware Service Composition in the Cloud, WWW 2012 (to appear)
3. Service Selection with Combinational Use of Functionally-Equivalent Services, ICWS 2011
4. QoS-aware Automatic Service Composition by Applying Functional Clustering, ICWS 2011
5. Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy, ICSOC 2010
6. A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, ICSOC 2009
7. Formal Model of Mobile BPEL4WS Process, IJBPIM 2006
8. A Framework for Synthesis of Web Services and Mobile Agents, JPCC 2005

学会・社会活動

1. 【副委員長】 電子情報通信学会 情報・システムソサイエティ サービスコンピューティング時限研究専門委員会（2009年4月～）
2. 【副主査】 日本科学技術連盟 2011年度（第27年度）ソフトウェア品質管理研究会 演習コースII 「形式手法と仕様記述」（2011年4月～）