石川 冬樹

更新日: 10/07/23 15:34

アバター
研究者氏名
石川 冬樹
eメール
f-ishikawanii.ac.jp
URL
http://research.nii.ac.jp/~f-ishikawa/
所属
国立情報学研究所
部署
コンテンツ科学研究系
職名
助教
学位
博士(情報理工学)
 

プロフィール

東京大学大学院情報理工学研究科コンピュータ科学専攻にて修士・博士課程修了.
現在,国立情報学研究所コンテンツ科学研究系助教.
本位田研究室,GRACEセンターにおける活動を中心として,サービスコンピューティング,ソフトウェア工学(特に形式手法)に関する研究・教育活動を行っている.
電子情報通信学会 情報・システムソサエティ サービスコンピューティング時限専門研究委員会 副委員長.

研究分野

 

経歴


2007年4月
 - 
現在
国立情報学研究所 助教

2007年4月
 - 
現在
総合研究大学院大学 複雑科学研究科 情報学専攻 助教

論文


Efficient QoS-aware Service Composition with a Probabilistic Service Selection Policy
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
The 8th International Conference on Service-Oriented Computing (ICSOC 2010)      2010年12月   [査読有り]
Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle
Fuyuki Ishikawa
The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (short paper)      2010年12月   [査読有り]
Service Composition with Pareto-Optimality of Time-Dependent QoS Attributes
Benjamin Klöpper, Fuyuki Ishikawa, Shinichi Honiden
The 8th International Conference on Service-Oriented Computing (ICSOC 2010) (short paper)      2010年12月   [査読有り]
Extraction of Places Related to Flickr Tags
Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden
The 19th European Conference on Artificial Intelligence (ECAI 2010)      2010年8月   [査読有り]
Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods
Fuyuki Ishikawa
The 7th International Conference on Services Computing (SCC 2010) (Work-in-Progress Track)   635-636   2010年7月   [査読有り]
Description and Matching of Triggering Capabilities in Event-Driven Services
Fuyuki Ishikawa
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)   197-204   2010年7月   [査読有り]
Business Semantics Centric Reliability Testing for Web Services in BPEL
Yongbo Wang, Fuyuki Ishikawa, Shinichi Honiden
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)   237-244   2010年7月   [査読有り]
組合せによる条件付き品質を考慮したWebサービス選択の高速化手法
石川 渡辺 敦,片渕 聡,高橋 竜一,鄭 顕志,石川 冬樹,深澤 良彰,本位田 真一
マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2010)      2010年7月   [査読有り]
A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns
Adrian Klein,Fuyuki Ishikawa,Bernhard Bauer,
The 7th International Conference on Service-Oriented Computing (ICSOC 2009)      2009年11月   [査読有り]
Specifying and Checking Refinement Relationships in VDM++
Yojiro Kawamata,Christian Sommer,Fuyuki Ishikawa,Shinichi Honiden
The 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)      2009年11月   [査読有り]

講演・口頭発表等


イベント駆動型Webサービス検索のためのイベントマッチング
片渕 聡,鄭 顕志,高橋 竜一,深澤 良彰,石川 冬樹,本位田 真一
人工知能学会全国大会(第24回)(JSAI 2010)   2010年6月   
サービス品質に関する多様な想定に応じた選択・適応手法の活用に向けて
石川 冬樹
ウィンターワークショップ2010・イン・倉敷   2010年1月   
サービス設計における付随機能の考慮によるQoSの向上
高橋 竜一,鄭 顕志,石川 冬樹,本位田 真一,深澤 良彰
ウィンターワークショップ2010・イン・倉敷   2010年1月   
Notification型Webサービス特有のQoSによるサービス選択に向けてのアプローチ
片渕 聡,鄭 顕志,高橋 竜一,石川 冬樹,深澤 良彰,本位田 真一
ウィンターワークショップ2010・イン・倉敷   2010年1月   
組み合わせQoSを考慮した自動サービス合成に関する研究
渡辺 敦, 片渕 聡, 高橋 竜一, 鄭 顕志, 石川 冬樹, 深澤 良彰, 本位田 真一
ウィンターワークショップ2010・イン・倉敷   2010年1月   

Misc


【研究最前線】サービスコンピューティング研究の位置づけとその動向
石川 冬樹
電子情報通信学会 情報・システムソサエティ誌   14(3) 8-9   2009年11月
On Applicability of Formal Methods and Tools to Dependable Services
Fuyuki Ishikawa, Shinichi Honiden
The Journal of the Institute of Electronics, Information and Communication Engineers   E92-B(1) 9-16   2009年1月
ユビキタスコンピューティングにおける分散協調・連携技術の研究動向
石川 冬樹,阿部 玲, 高橋 竜一,吉岡 信和,深澤 良彰,本位田 真一
日本ソフトウェア科学会 コンピュータソフトウェア「エージェント」特集    Vol. 25( No. 4) 133-144   2008年11月
鄭顕志, 石川冬樹, 吉岡信和, 深澤良彰, 本位田真一
コンピュータソフトウェア   25(4) 11-19   2008年10月

担当経験のある科目