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

目次

• 主要情報
  • 経歴
  • 代表的な論文・著書 ｜ 代表的な学会・社会活動
• 研究論文・発表等
  • 国内・国際論文誌 ｜ 国際会議 ｜ 国内会議（査読有） ｜ 口頭発表等
  • 講演・パネル討論 ｜ 雑誌記事
  • 競争的研究資金
  • 特許・開発
  • 学位論文
• 技術解説・チュートリアル等
  • 著書
  • 技術解説講演・チュートリアル
  • 技術解説Webサイト
• 大学・大学院等での教育活動
  • 研究指導 ｜ 担当経験のある講義
• 学会・社会活動
  • 所属学会 ｜ 役職・委員

主要情報

• 氏名： 石川 冬樹
• 所属： 国立情報学研究所 コンテンツ科学研究系
• 職名： 准教授
• 学位： 博士（情報理工学，東京大学）

経歴

• 2002年3月 東京大学理学部情報科学科卒業
• 2004年3月 東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程修了
• 2007年3月 同博士課程修了・博士（情報理工学）
• 2007年4月～2011年10月 国立情報学研究所 コンテンツ科学研究系 助教
• 2011年11月～現在 国立情報学研究所 コンテンツ科学研究系 准教授
• 2007年4月～現在 総合研究大学院大学 複合科学研究科 情報学専攻 助教 （兼任）
• その他非常勤等
  • 国立情報学研究所 知能システム系（2006年度よりアーキテクチャ科学研究系） リサーチアシスタント（2004～2006年度）
  • 東京大学大学院 情報理工学研究科 非常勤講師（2007，2009，2012年度）
  • 早稲田大学 理工学術院 基盤理工学部 非常勤講師（2008，2012年度）
  • 北陸先端科学技術大学 非常勤講師（2009年度～現在）

代表的な論文・著書

1. Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Towards Robust Service Compositions in the Context of Functionally Diverse Services, The 21st International World Wide Web Conference (WWW 2012), pp.969-978, April 2012
2. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Towards Network-aware Service Composition in the Cloud, The 21st International World Wide Web Conference (WWW 2012), pp.959-968, April 2012
3. 石川 冬樹，荒木 啓二郎（監修），VDM++による形式仕様記述，近代科学社，ISBN 4764904098，2011年7月
4. Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden, Service Selection with Combinational Use of Functionally-Equivalent Services, The 9th International Conference on Web Services (ICWS 2011), July 2011
5. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, QoS-aware Automatic Service Composition by Applying Functional Clustering, The 9th International Conference on Web Services (ICWS 2011), pp.89-96, July 2011
6. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy, The 8th International Conference on Service-Oriented Computing (ICSOC 2010), pp.182-196, December 2010
7. Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), pp.253-268, November 2009
8. 石川 冬樹，サービス指向コンピューティングにおける合意に基づいた協調的な移動性，研究会推薦博士論文速報（ソフトウェア工学研究会推薦），情報処理学会論文誌Vol.49 No.6 p.678，2008年6月
9. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, Formal Model of Mobile BPEL4WS Process, International Journal of Business Process Integration and Management (IJBPIM), Vol. 1 Issue 3, pp.192-209, September 2006
10. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, A Framework for Synthesis of Web Services and Mobile Agents, International Journal of Pervasive Computing and Communications (JPCC), Vol.1 Issue3, pp.227-245, September 2005

代表的な学会・社会活動

1. 【副委員長】 電子情報通信学会 情報・システムソサイエティ サービスコンピューティング時限研究専門委員会（2009年4月～）
2. 【副主査】 日本科学技術連盟 2011年度（第27年度）ソフトウェア品質管理研究会 演習コースII 「形式手法と仕様記述」（2011年4月～）
3. 【委員】 情報処理学会ソフトウェアエンジニアリング教育委員会（J-07SE：情報専門学科におけるカリキュラム標準 ソフトウェアエンジニアリング領域）

研究論文・発表等

国内・国際論文誌

1. 高橋 竜一，石川 冬樹，本位田 真一，深澤 良彰，メタデータ制約を用いた協調プロトコルの自動合成手法，情報処理学会論文誌，Vol.53 No.2，pp.683-697，2012年2月
2. 馬場 雪乃，石川 冬樹，本位田 真一，Folksonomy上のタグと関連する場所の抽出，人工知能学会論文誌，Vol.27 No.1，pp.1-9, 2012年1月
3. Kazunori Sakamoto, Fuyuki Ishikawa, Hironori Washizaki, Yoshiaki Fukazawa, Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages, IEICE Transactions on Information and Systems, E94.D No. 12, pp.2418-2430, December 2011
4. 平塚 信明，石川 冬樹，本位田 真一，同種サービスの併用を考慮した効率的なサービス選択，情報処理学会論文誌Vol.52 No.10，pp.2920-2933，2011年10月
5. 大橋 昭，石川 冬樹ほか，AOJS:JavaScriptのためのアスペクト指向プログラミング・フレームワーク，日本ソフトウェア科学会「コンピュータソフトウェア誌」 Vol. 28 No. 3，pp.114-131，2011年8月
6. 石川 冬樹，山本 佳代子，本位田 真一，物理的相互作用に着目した，スマート空間の形式仕様記述と検証，情報処理学会論文誌Vol.52 No.1，pp.220-232，2011年1月
7. 高橋 竜一，鄭 顕志，石川 冬樹，本位田 真一，深澤 良彰，マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法，電子情報通信学会論文誌「ソフトウェアエージェントとその応用特集号」 Vol. J92-D No.11，pp.1827-1839，2009年11月
8. Fuyuki Ishikawa, Shinichi Honiden, On Applicability of Formal Methods and Tools to Dependable Services, The Journal of The Institute of Electronics, Information and Communication Engineers (Invited Paper), Vol. E92-B, No.01, pp.9-16, January 2009
9. 鄭 顕志，石川 冬樹，吉岡 信和，深澤 良彰，本位田 真一，解説論文：適応エージェントのためのユビキタスコンピューティングミドルウェア，日本ソフトウェア科学会 コンピュータソフトウェア「エージェント」特集，Vol. 25 No. 4，pp.11-19，2008年11月
10. 石川 冬樹，阿部 玲，高橋 竜一，吉岡 信和，深澤 良彰，本位田 真一，ユビキタスコンピューティングにおける分散協調・連携技術の研究動向，日本ソフトウェア科学会 コンピュータソフトウェア「エージェント」特集，Vol. 25 No. 4，pp.133-144，2008年11月
11. Khanh Quan Truong, Fuyuki Ishikawa, Shinichi Honiden, Improving Accuracy of Recommender System by Item Clustering, IEICE TRANSACTIONS, Volume E90-D-I No.9, pp.1363-1373, September 2007
12. 石川 冬樹，吉岡 信和，本位田 真一，Event Calculusに基づく合意を用いたモバイルエージェントの協調，電子情報通信学会論文誌「ソフトウェアエージェントとその応用」特集号 Vol.J90-D-I, No.9，pp.2349-2364, 2007年9月
13. 石川 冬樹，吉岡 信和，本位田 真一，プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用，情報処理学会論文誌Vol.48 No.4，pp.1785-1798，2007年04月
14. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, Formal Model of Mobile BPEL4WS Process, International Journal of Business Process Integration and Management (IJBPIM), Vol. 1 Issue 3, pp.192-209, September 2006
15. 石川 冬樹，吉岡 信和，田原 康之，本位田 真一，階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用，電子情報通信学会論文誌「ソフトウェアエージェントとその応用」特集号 Vol. J88-D-I No.9，pp.1402-1417，2005年9月
16. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, A Framework for Synthesis of Web Services and Mobile Agents, International Journal of Pervasive Computing and Communications (JPCC), Vol.1 Issue3, pp.227-245, September 2005
17. 石川 冬樹，吉岡 信和，本位田 真一，パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム（人工知能と知識処理研究専門委員会推薦論文），電子情報通信学会論文誌，VOL.J87-D-I NO.7，pp.782-795，2004年7月
18. 石川 冬樹，田原 康之，吉岡 信和，本位田 真一，Webサービス連携のためのモバイルエージェント動作記述，情報処理学会論文誌「オブジェクト指向とWeb技術」特集号 Vol.45 No.6，pp.1614-1629，2004年6月

国際会議論文・発表

1. Florian Wagner, Adrian Klein, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Multi-objective Service Composition with Time- and Input-Dependent QoS, The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), June 2012 (to appear)
2. Adrian Klein, Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, A Probabilistic Approach for Long-Term B2B Service Compositions, The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), June 2012 (to appear)
3. Atsushi Watanabe, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Web Service Selection Algorithm using Vickrey Auction, The 10th International Conference on Web Services (ICWS 2012) (Application & Experience Track), June 2012 (to appear)
4. Mohammad Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden, Trust Computation in Web Service Compositions Using Bayesian Networks, The 10th International Conference on Web Services (ICWS 2012) (Work-in-Progress Track), June 2012 (to appear)
5. Kazuki Nishiura, Yuta Maezawa, Fuyuki Ishikawa, Shinichi Honiden, Supporting View Transition Design of Smartphone Applications Using Web Templates, The 12th International Conference on Web Engineering (ICWE 2012) (Short Paper), July 2012 (to appear)
6. Florian Wagner, Benjamin Kloepper, Fuyuki Ishikawa, Shinichi Honiden, Towards Robust Service Compositions in the Context of Functionally Diverse Services, The 21st International World Wide Web Conference (WWW 2012), pp.969-978, April 2012
7. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Towards Network-aware Service Composition in the Cloud, The 21st International World Wide Web Conference (WWW 2012), pp.959-968, April 2012
8. Mohammad-Reza Motallebi, Fuyuki Ishikawa, Shinichi Honiden, Trust in Web Service Compositions Using Bayesian Networks, AAAI Spring Symposium 2012: Intelligent Web Services Meet Social Computing, March 2012
9. Florian Wagner, Fuyuki Ishikawa and Shinichi Honiden, Applying QoS-aware Service Selection on Functionally Diverse Services, The 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'11) at ICSOC 2011, December 2011
10. Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi, Formal Verification of Business Processes with Temporal and Resource Constraints, The 2011 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2011), pp.1173-1180, October 2011
11. Nobuaki Hiratsuka, Fuyuki Ishikawa, Shinichi Honiden, Service Selection with Combinational Use of Functionally-Equivalent Services, The 9th International Conference on Web Services (ICWS 2011), pp.97-104, July 2011
12. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, QoS-aware Automatic Service Composition by Applying Functional Clustering, The 9th International Conference on Web Services (ICWS 2011), pp.89-96, July 2011
13. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient Heuristic Approach with Improved Time Complexity for QoS-aware Service Composition, The 9th International Conference on Web Services (ICWS 2011) (Application & Experience Track), pp.436-443, July 2011
14. Fuyuki Ishikawa, Satoshi Katafuchi, Florian Wagner, Yoshiaki Fukazawa, Shinichi Honiden, Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures, The 8th International Conference on Services Computing (SCC 2011), pp.152-159, July 2011
15. Fuyuki Ishikawa, Toward Customizable and Bi-directionally Traceable Transformation between VDM++ and Java, The 9th Overture/VDM Workshop at FM 2011, June 2011
16. Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden, Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy, The 8th International Conference on Service-Oriented Computing (ICSOC 2010), pp.182-196, December 2010
17. Fuyuki Ishikawa, Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle, The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (short paper), pp.579-586, December 2010
18. Benjamin Klopper, Fuyuki Ishikawa, Shinichi Honiden, Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes, The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (short paper), pp.635-640, December 2010
19. [Best PhD Poster] Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Effcient, Failure-Resilient Semantic Web Service Planning, The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (PhD Symposium / Poster Track), pp.686-689, December 2010
20. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extraction of Places Related to Flickr Tags, The 19th European Conference on Artificial Intelligence (ECAI 2010), August 2010
21. Fuyuki Ishikawa, Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods, The 7th International Conference on Services Computing (SCC 2010) (Work-in-Progress Track), pp.635-636, July 2010
22. Fuyuki Ishikawa, Description and Matching of Triggering Capabilities in Event-Driven Services, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010) at The 2010 IEEE 6th World Congress on Services (SERVICES 2010), pp.197-204, July 2010
23. Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden, Business Semantics Centric Reliability Testing for Web Services in BPEL, The 2010 IEEE Fourth International Workshop on Web Services and Cloud Services Testing (WS-CS-Testing 2010) at The 2010 IEEE 6th World Congress on Services (SERVICES 2010), pp.237-244, July 2010
24. Adrian Klein, Fuyuki Ishikawa, Bernhard Bauer, A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns, The 7th International Conference on Service-Oriented Computing (ICSOC 2009), pp.253-268, November 2009
25. Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden, Specifying and Checking Refinement Relationships in VDM++, The 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), pp.220-227, November 2009
26. Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden, How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project, The 7th VDM-Overture Workshop at FM 2009, November 2009
27. Fuyuki Ishikawa, Yumiko Murakami, Challenges in Inheriting Test Cases Configurations from VDM to Implementation, The 7th VDM-Overture Workshop at FM 2009, November 2009
28. Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden, What Top-Level Software Engineers Tackles after Learning Formal Methods - Experiences from the Top SE Project, The 2nd International FME Conference on Teaching Formal Methods (TFM 2009), pp.57-71, November 2009
29. Fuyuki Ishikawa, Rihoko Inoue, Shinichi Honiden, Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering, The 2nd International Workshop on Requirements Engineering and Law (RELAW'09) at RE 2009, September 2009
30. Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden, Physical Interaction in Pervasive Computing: Formal Modeling, Analysis and Verification, The ACM International Conference on Pervasive Services (ICPS 2009), pp.133-140, July 2009
31. Basem Suleiman, Fuyuki Ishikawa, A Constraint-Based Approach for Developing Consistent Contracts in Composite Services, The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009), pp.392-399, July 2009
32. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting Time and Location Concepts Related to Tags, The 1st Workshop on Incentives for the Semantic Web (INSEMTIVE 2008), October 2008
33. Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems, The 12th IEEE International EDOC Conference (EDOC 2008), pp.372-378, September 2008
34. Hirotaka Moriguchi, Fuyuki Ishikawa, Shinichi Honiden, Bayesian Iteration: Online Learning in Timed Zero-Sum Games with Unknown Enemy, ECAI Workshop on Artificial Intelligence in Games (AIG-08), July 2008
35. Soo Ling Lim, Fuyuki Ishikawa, Eric Platon, Karl Cox, Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach, The 2008 IEEE International Conference on Services Computing (SCC2008), vol. 2, pp.231-238, July 2008
36. Ryuichi Takahashi, Kenji Tei, Fuyuki Ishikawa, Yoshiaki Fukazawa, Shinichi Honiden, A Flexible Protocol Composition for Multi-Party Coordination Protocols in Multi-Agent Systems, The 1st IEEE Workshop on Agent Technologies for Pervasive Communities (ATPC2008), pp.609-614, March 2008
37. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Developing Consistent Contractual Policies in Service Composition, The 2007 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2007), pp.527-534, December 2007
38. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation, The 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), pp.683-700, November 2007
39. Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden, Extracting and Utilizing Event-Context Relationships in Blogsphere, Poster/Demo Track of the 6th International Semantic Web Conference (ISWC 2007), November 2007
40. Jose Ghislain Quenum, Fuyuki Ishikawa, Shinichi Honiden, Dynamic Protocol Selection alongside Service Selection and Composition, 2007 IEEE International Conference on Web Services (ICWS 2007), pp.719-726, July 2007
41. Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden, Policy-based Runtime Partner Management in Process-Based Services, 2007 IEEE International Conference on Web Services (ICWS 2007), pp.1191-1194, July 2007
42. Satoshi Kataoka, Fuyuki Ishikawa, and Shinichi Honiden, PID-Filtered Negotiation for Decision Making in Dynamic Coverage Problem, IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), pp.481-488, November 2006
43. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, Smartive: Agreement-based Mobile Composite Agents for Multimedia Services, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p.19, November 2006
44. Truong Khanh Quan, Fuyuki Ishikawa, and Shinichi Honiden, Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p.61, November 2006
45. Jose Quenum, Fuyuki Ishikawa, and Shinichi Honiden, Interaction Design in Agent-based Service-oriented Computing Systems, AAAI Workshop on AI-Driven Technologies for Services-Oriented Computing, July 2006
46. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, Service-Oriented and Autonomous Distribution and Provision of Multimedia Contents, The 5th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2006), pp.949-951, May 2006
47. Fuyuki Ishikawa, Nobukazu Yoshioka, and Shinichi Honiden, Incorporating Agreements on Service Options into BPEL-based Services, International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC'2005), pp.796-803, November 2005
48. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden, Framework for Hierarchical Agent Synthesis and Its Multimedia Application, The 4th International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS2005), pp.1267-1268, July 2005
49. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara and Shinichi Honiden, Mobile and Cooperative Compounds of Multimedia Services, IEEE International Conference on Services Computing (SCC2005), pp.129-136, July 2005
50. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden, Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound, The 7th International Conference on Enterprise Information Systems (ICEIS-2005), pp.275-282, May 2005
51. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden, Toward Synthesis of Web Services and Mobile Agents, AAMAS'2004 Workshop on Web Services and Agent-based Engineering (WSABE2004), pp.48-55, July 2004
52. Fuyuki Ishikawa, Yasuyuki Tahara, Nobukazu Yoshioka, and Shinichi Honiden, Behavior Descriptions of Mobile Agents for Web Services Integration, 2004 IEEE International Conference on Web Services (ICWS 2004), pp.342-349, July 2004
53. Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahara, and Shinichi Honiden, Mobile Agent System for Web Services Integration in Pervasive Networks, International Workshop on Ubiquitous Computing (IWUC 2004), pp.38-47, April 2004

国内会議（査読有）

1. 宮本 陽子，石川 冬樹，形式仕様記述言語の利用による仕様書の改善 ―USDM と形式仕様記述の考察を通して―，ソフトウェア・シンポジウム2012（SS 2012）（経験論文），2012年6月（予定）
2. 羽田 裕，和田 圭司，石川 冬樹，VDM 仕様とテスト設計による仕様の問題発見に関する評価，ソフトウェア・シンポジウム2012（SS 2012）（経験論文），2012年6月（予定）
3. Florian Wagner, Fuyuki Ishikawa, Shinichi Honiden, Achieving constraint compliance in QoS-aware service planning, iJAWS 2011 @ 合同エージェントワークショップ＆シンポジウム2011 （JAWS2011）， 2011年10月
4. 渡辺 敦，石川 冬樹，深澤 良彰，本位田 真一，ヴィックレイオークションを利用したWebサービス選択アルゴリズム，合同エージェントワークショップ＆シンポジウム2011 (JAWS2011)，2011年10月
5. 石川 冬樹，VDM++仕様・Javaコード間のカスタマイズ・トレース可能な変換に向けて，ソフトウェアエンジニアリングシンポジウム2011（SES 2011），2011年9月
6. 佐藤 慎一，石川 冬樹，猪原 健弘，貢献度と顧客のニーズに関する妥当性の間のコンフリクト検出指標，ソフトウェアエンジニアリングシンポジウム2011（SES 2011），2011年9月
7. 平塚 信明，石川 冬樹，本位田 真一，同種サービスの複数利用を考慮した効率的なサービス選択候補の構築，合同エージェントワークショップ＆シンポジウム（JAWS 2010），2010年10月
8. 山本 佳代子，石川 冬樹，本位田 真一，スマート空間内でのサービス利用時に発生する物理的影響の考慮の支援，合同エージェントワークショップ＆シンポジウム（JAWS 2009），2009年10月
9. 山上 浩志，石川 冬樹ほか，診断情報共有のための新しいセキュリティ基盤システムの開発，医療情報学，Vol.28(Suppl.)，pp.365-368，2008年11月
10. 高橋 竜一，鄭 顕志，石川 冬樹，本位田 真一，深澤 良彰，マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法，合同エージェントワークショップ＆シンポジウム（JAWS 2008），2008年10月
11. 石川 冬樹，阿部 玲，高橋 竜一，吉岡 信和，深澤 良彰，本位田 真一，ユビキタスコンピューティングにおける分散協調・連携技術の研究動向，合同エージェントワークショップ＆シンポジウム2007（JAWS2007），2007年10月．
12. 石川 冬樹，吉岡 信和，本位田 真一，サービス合成における契約ポリシーの決定・検証問題の形式化とその支援，合同エージェントワークショップ＆シンポジウム2007（JAWS2007），2007年10月．
13. 高橋 竜一，鄭 顕志，石川 冬樹，深澤 良彰，本位田 真一，マルチエージェントシステムにおける柔軟なプロトコル合成言語，合同エージェントワークショップ＆シンポジウム2007（JAWS2007），2007年10月．
14. 石川 冬樹，本位田 真一，ユビキタスコンピューティングとエージェント：自発性と合意，合同エージェントワークショップ＆シンポジウム2006（JAWS2006），2006年10月
15. チュオン カン クアン，石川 冬樹，本位田 真一，Recommender Systemの予測精度を上げる：ユーザ類似度の安定によるアイテムクラスターリング手法，合同エージェントワークショップ＆シンポジウム2006（JAWS2006），2006年10月
16. 片岡 慧，吉岡 信和，石川 冬樹，鄭 顕志，本位田 真一，コンテンツ流通エージェントのための強化学習メカニズム，合同エージェントワークショップ＆シンポジウム2006（JAWS2006），2006年10月
17. 石川 冬樹，吉岡 信和，本位田 真一，サービス指向に基づいたマルチメディアコンテンツの自律的な流通と提供， 合同エージェントワークショップ＆シンポジウム2005 (JAWS2005)，2005年11月
18. 石川 冬樹，田原 康之， 吉岡 信和， 本位田 真一， 階層型モバイルエージェントの合成における合意記述，合同エージェントワークショップ＆シンポジウム2004（JAWS2004），pp.50-58，2004年10月
19. NGUYEN Khanh Ngoc，石川 冬樹，田原 康之，本位田 真一， コンテンツカプセル化エージェントの動作制御のためのポリシーモデル，合同エージェントワークショップ＆シンポジウム2004（JAWS2004）， pp.99-106，2004年10月
20. 石川 冬樹，田原 康之，吉岡 信和，本位田 真一 ，階層型モバイルエージェントの自律的な合成のための記述とその基板に関する検討，第11 回ソフトウェア工学の基礎ワークショップ（FOSE2004），pp.61-64，2004年11月
21. 石川 冬樹，吉岡 信和，田原 康之，本位田 真一，モバイルエージェントによるWebサービス連携モデル， 合同エージェントシンポジウム＆ワークショップ（JAWS2003），pp.168-175，2003年10月
22. 石川 冬樹，田原 康之，吉岡 信和，本位田 真一， Webサービス連携のためのモバイルエージェント動作記述，第10回ソフトウェア工学の基礎ワークショップ（FOSE'03），pp.197-200，2003年11月
23. 石川 冬樹，吉岡 信和，本位田 真一， パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム，オブジェクト指向シンポジウム2003（OO2003），pp.41-48，2003年8月
24. 石川 冬樹，吉岡 信和，本位田 真一， Webサービス連携エージェントのためのビヘイビアルール記述言語，エージェント合同シンポジウム（JAWS 2002），pp.353-363，2002年11月

口頭発表等

1. 石川 冬樹，クラウド時代における品質に基づいたサービス選択・配備問題，2012年電子情報通信学会総合大会，2012年3月
2. 石川 冬樹，既存サービスを利用するソフトウェアにおける機能・品質の分析に関する議論，ウィンターワークショップ2012・イン・琵琶湖，2012年1月
3. 綿引 健二 , 石川 冬樹 , 平石 邦彦，時間，資源の制約を考慮したビジネスプロセスの検証，電子情報通信学会ソサイエティ大会，2011年_基礎・境界，pp.S-21-S-22，2012年8月
4. 石川 冬樹，サービス選択・置き換えに関する要求のSOA設計・実装に対する影響について，ウィンターワークショップ2011・イン・修善寺，2011年1月
5. 渡辺 敦，片渕 聡，高橋 竜一，鄭 顕志，石川 冬樹，深澤 良彰，本位田 真一 ，組合せによる条件付き品質を考慮したWebサービス選択の高速化手法，マルチメディア，分散，協調とモバイルシンポジウム（DICOMO 2010），2010年7月
6. 片渕 聡，鄭 顕志，高橋 竜一，深澤 良彰，石川 冬樹，本位田 真一，イベント駆動型Webサービス検索のためのイベントマッチング，人工知能学会全国大会（第24回）（JSAI 2010），2010年6月
7. 鷲崎 弘宜，石川 冬樹，ほか，ディペンダビリティ確保にむけたアスペクト指向技術動向，第168回ソフトウェア工学・第17回組込みシステム 合同研究発表会，pp.1-8，2010年6月
8. 石川 冬樹，サービス品質に関する多様な想定に応じた選択・適応手法の活用に向けて，ウィンターワークショップ2010・イン・倉敷，2010年1月
9. 綿引 健二，石川 冬樹，本位田 真一，平石 邦彦，時間,資源および同時実行数の制約をもつビジネスプロセスの形式検証，ウィンターワークショップ2010・イン・倉敷，2010年1月
10. 高橋 竜一，鄭 顕志，石川 冬樹，本位田 真一，深澤 良彰，サービス設計における付随機能の考慮によるQoSの向上，ウィンターワークショップ2010・イン・倉敷，2010年1月
11. 片渕 聡，鄭 顕志，高橋 竜一，石川 冬樹，深澤 良彰，本位田 真一，Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ，ウィンターワークショップ2010・イン・倉敷，2010年1月
12. 渡辺 敦，片渕 聡，高橋 竜一，鄭 顕志，石川 冬樹，深澤 良彰，本位田 真一，組み合わせQoSを考慮した自動サービス合成に関する研究，ウィンターワークショップ2010・イン・倉敷，2010年1月
13. Adrian Klein，石川 冬樹，Bernhard Bauer，A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Pattern，サービスコンピューティング時限専門委員会第1回研究会，2009年7月
14. 片渕 聡，鄭 顕志，高橋 竜一，石川 冬樹，深澤 良彰，本位田 真一，Webサービス検索のための操作カテゴリ分類手法の提案，サービスコンピューティング時限専門委員会第1回研究会，2009年7月
15. 高橋 竜一，鄭 顕志，石川 冬樹，本位田 真一，深澤良彰，サービス合成におけるメタデータを用いた協調プロトコル合成手法，サービスコンピューティング時限専門委員会第1回研究会，2009年7月
16. 石川 冬樹，サービスコンピューティング研究の動向，サービスコンピューティング時限専門委員会第1回研究会，2009年7月
17. 馬場 雪乃，石川 冬樹，本位田 真一，Folksonomy からの潜在的知識抽出，第10回AI若手の集い（MYCOM2009），2009年6月
18. 馬場 雪乃，石川 冬樹，本位田 真一，タグに関連づけられた時間・場所の概念抽出，電子情報通信学会技術研究報告.AI，人工知能と知識処理，vol.108 no. 119，AI2008-9，pp.51-56，2008年9月
19. 石川 冬樹，清 雄一，吉岡 信和，本位田 真一，ユビキタスコンピューティングにおけるイベントに基づいたアクセス制御，マルチメディア，分散，協調とモバイルシンポジウム（DICOMO2008），2008年7月

講演・パネル討論

1. 石川 冬樹，クラウドコンピューティングにおけるエージェントのアプローチ，合同エージェントワークショップ＆シンポジウム2011 (JAWS2011)，2011年10月
2. 石川 冬樹，サービスコンピューティングにおける研究動向紹介，合同エージェントワークショップ＆シンポジウム（JAWS 2010），2010年10月
3. 石川 冬樹，「あなたのクラウドサービスを組み立てる ～ クラウドの今後に向けたサービスコンピューティング研究紹介 ～」，CEATEC Japan 2010，2010年10月
4. パネル討論司会： 「サービスコンピューティングへのアプローチ」，第9回情報科学技術フォーラム（FIT 2010），2010年9月
5. Panelist at Mini-Panel: "Research challenges in service-oriented computing: Where do we go from here?", The 1st International Workshop on Service-Oriented Architecture, at The 14th Asia-Pacific Software Engineering Conference(SOA workshop at APSEC 2007）, December 2007.

雑誌記事

1. 石川 冬樹，【研究最前線】クラウド・サービスコンピューティングの展開，電子情報通信学会 情報・システムソサエティ誌，2011年5月
2. 石川 冬樹，【研究最前線】サービスコンピューティング研究の位置づけとその動向，電子情報通信学会 情報・システムソサエティ誌 第14巻第3号（通巻56号），pp.8-9，2009年11月
3. 石川 冬樹，サービス指向コンピューティングにおける合意に基づいた協調的な移動性，研究会推薦博士論文速報（ソフトウェア工学研究会推薦），情報処理学会論文誌Vol.49 No.6 p.678，2008年6月
4. 石川 冬樹，松崎 和賢，会議報告 ユビキタスコンピューティングに関する国際ワークショップ，人工知能学会誌19巻5号，2004年5月

競争的研究資金

• 科学研究費補助金 挑戦的萌芽研究 「要求工学の応用による，法とその解釈のモデル化・分析」 （H24～25年度，研究代表者）
• 科学研究費補助金 基盤研究（A） 「想定外に備えた空間制御ソフトウェアの分析・設計・検証手法」 （H24～26年度，研究分担者）
• 科学研究費補助金 若手研究（B）「サービス合成において整合性ある契約管理を実現するフレームワークの研究開発」 （H20～22年度，研究代表者）
• 科学研究費補助金 若手スタートアップ 「サービス合成において契約間の整合性を検証，実現するツールに関する研究」 （H19年度，研究代表者）
• 科学研究費補助金 基盤研究（A) 「オープン無線センサーネットワークのためのミドルウェアに関する研究」 （H19～21年度，研究分担者）

特許・開発

1. 【開発】 サービス指向に基づいたマルチメディアコンテンツの流通，提供のためのエージェント開発フレームワークFreedia
2. 【特許】 アクティブコンテンツ流通システム，アクティブコンテンツ流通プログラム，及びアクティブコンテンツ流通方法

学位論文

1. Fuyuki Ishikawa， Agreement-based Cooperative Mobility in Service-Oriented Computing，博士論文，東京大学大学院情報理工学系研究科コンピュータ科学専攻，2007年2月
2. Fuyuki Ishikawa， Web Services Integration by Mobile Agents，修士論文，東京大学大学院情報理工学系研究科コンピュータ科学専攻，2004年2月
3. Fuyuki Ishikawa， Web Search System based on Multi-Agent Framework，卒業論文，東京大学理学部情報科学科，2002年2月

技術解説・チュートリアル等

著書

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

技術解説講演・チュートリアル

1. 石川 冬樹，村上 陽平，田仲 正弘，チュートリアル「サービス・クラウド技術をSEに活かす」，ソフトウェアエンジニアリングシンポジウム2011（SES 2011），2011年9月
2. 石川 冬樹，田辺 良則，NPO法人トップエスイー教育センターチュートリアル「VDM，SPINから始める形式手法」，2011年8月
3. 石川 冬樹，日本ソフトウェア科学会チュートリアル「VDM++による形式仕様記述」，2011年1月
4. 石川 冬樹，形式仕様記述入門～問題を早めに見つける～，ソフトウェアプロセス改善カンファレンス2009（SPI Japan 2009），2009年10月
5. 長谷川 哲夫，石川 冬樹，NPO法人トップエスイー教育センターチュートリアル「モデル検査ツールUPPAALを使った時間制約の検証」，2009年3月
6. 来間 啓伸，石川 冬樹，日本ソフトウェア科学会チュートリアル「Bメソッドを用いた形式仕様記述と検証」，2008年9月
7. 石川 冬樹，モデル検証入門～ツールに振る舞いを検査させる～，CESAデベロッパーズカンファレンス2008（CEDEC 2008），2008年9月

技術解説Webサイト

1. VDM++による形式仕様記述
2. 形式手法実践ポータル

大学・大学院等での教育活動

研究指導

• 東京大学大学院 本位田研究室における修士，博士学生の指導補助（多数）
• 東京大学大学院における博士学生の副指導（1名）
• 国立情報学研究所における海外インターン学生指導（これまで13名，うち6名は修士研究指導）
• 国立情報学研究所トップエスイープログラムにおける修了制作指導（主に企業の開発者・研究者，これまで32名）
• 日本科学技術連盟SQiP研究会における演習・研究指導（企業の開発者・研究者，これまで6名）

担当経験のある講義

• 総合研究大学院大学 複合科学研究科 情報学専攻
  • 「サービス指向コンピューティング」
  • 「先端ソフトウェア技術演習Ⅱ：形式仕様記述」（下記トップエスイー講義と同一）
• 東京大学大学院 情報理工学系研究科
  • 「先端スキル開発特別講義Ⅲ：形式手法を使ったデータ指向モデリングと検証」
• 早稲田大学 基幹理工学部
  • 「Javaプログラミング」
• 北陸先端科学技術大学院大学 情報科学研究科 先端ソフトウェア工学コース
  • 「形式仕様記述（基礎編）」「同（応用編）」（下記トップエスイー講義と同一）
• 国立情報学研究所 トップエスイープログラム
  • 「形式仕様記述（基礎編）」
  • 「形式仕様記述（応用編）」
  • 「基礎理論」（一部： プログラム検証論担当）

学会・社会活動

所属学会

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

役職・委員

• 【副委員長】 電子情報通信学会 情報・システムソサイエティ サービスコンピューティング研究専門委員会（2011年度までは時限研究専門委員会）
• 【委員】 情報処理学会ソフトウェアエンジニアリング教育委員会（J-07SE：情報専門学科におけるカリキュラム標準 ソフトウェアエンジニアリング領域）
• 【副主査】 日本科学技術連盟 2011年度（第27年度）ソフトウェア品質管理研究会 演習コースII 「形式手法と仕様記述」
• 【Editorial Advisory Board】 Book Chapter: Methodologies for Non-Functional Requirements in Service Oriented Architecture
• 【編集委員】 ソフトウェア科学会（2012年度～）
• 会議運営
  • 【Vice Director】 Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
  • 【Publicity Chair】 ICSOC 2009: The 7th International Conference on Service Oriented Computing
  • 【オーガナイズドセッションオーガナイザ】JAWS2007: エージェント合同ワークショップ＆シンポジウム2007 （ユビキタスエージェントプラットフォームセッション）
  • 【Co-organizer】 APSLA at SAC2008: Track on Agent-Oriented Programming, Systems, Languages, and Applications at The 23nd Annual ACM Symposium on Applied Computing
  • 【Student Volunteer Co-Chair】 ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering
• 【プログラム委員】
  • JAWS 2007-2012: エージェント合同ワークショップ＆シンポジウム2007-2011
  • CLOSER 2011-2012: The 1st-2nd International Conference on Cloud Computing and Services Science
  • UIC 2009-2012: The 6th-8th International Conference on Ubiquitous Intelligence and Computing
  • SES 2009-2010: ソフトウェアエンジニアリングシンポジウム2009-2010
  • FOSE 2009-2010: 第16-17回 ソフトウェア工学の基礎ワークショップ
  • FIT 2011: 第10回情報科学技術フォーラム
  • COIN (@AAMAS2008, @IJCAI2009, @AAMAS2010): The 5th,7th,9th Workshop on Coordination, organization, Institutions and Norms in Agent Systems
  • MALLOW-AWESOME009: Agents, Web Services and Ontologies, Integrated Methodologies at Multi-Agent Logics, Languages, and Organisations Federated Workshops
  • IEEE IRI 2008-2011: The 9th-11th IEEE International Conference on Information Reuse and Integration
  • SERA 2010-2011: The 8th International Conference on Software Engineering Research, Management and Applications
  • NBiS 2010: The 13th International Conference on Network-Based Information Systems, the Ubiquitous and Pervasive Computing Applications track
  • IUCS 2009: 3rd International Universal Communication Symposium
  • SPAQu'07-09 (at APSEC 2007, at PLoP 2008, at OOPSLA 2009): The 1st-3rd International Workshop on Software Patterns and Quality, at The 14th Asia-Pacific Software Engineering Conference
  • ICAART 2009,2011-2013: International Conference on Agents and Artificial Intelligence
  • SOA at APSEC2007: The 1st International Workshop on Service-Oriented Architecture, at The 14th Asia-Pacific Software Engineering Conference
  • CM at SAC 2007: Track on Coordination Models, Languages and Architectures at The 22nd Annual ACM Symposium on Applied Computing
  より古いものも全て表示
• 論文誌査読（情報処理学会論文誌，電子情報通信学会論文誌，The Pervasive and Mobile Computing Journal, World Wide Web Journal, IEEE Transactions on Parallel and Distributed Systems，Progress in Informaticsなど）