M. Suda, T. Saito and M. Oka, “Agent-based model using adjacent possible space for generating waves of novelty,” 2022 IEEE Symposium Series on Computational Intelligence (SSCI), Singapore, Singapore, 2022, pp. 1251-1258, doi: 10.1109/SSCI51031.2022.10022147.

T. Saito, H. Nishimura and M. Oka, “Comparative studies of evolutionary methods and RL for learning behavior of virtual creatures,” 2022 IEEE Symposium Series on Computational Intelligence (SSCI), Singapore, Singapore, 2022, pp. 1059-1065, doi: 10.1109/SSCI51031.2022.10022282.

Naoki Maejima, Takumi Saito, Mikihiro Suda and Mizuki Oka, What Factors can Affect Taking Over Members' Own Inter-organizational Social Networks in Business Firm?, NetSci2022 (poster presentation)

Teruto Endo, Hirotake Abe, Mizuki Oka, Toward automatic generation of diverse congestion control algorithms through co-evolution with simulation environments, Proc. of the 2022 Conference on Artificial Life, Paper No: isal_a_00515, 33; 8 pages, 2022.

Mikihiro Suda, Takumi Saito, Mizuki Oka, Exploration and exploitation of the adjacent possible space for open-endedness, Proc. of the 2022 Conference on Artificial Life, Paper No: isal_a_00513, 31; 3 pages, 2022.

Yasuhiro Hashimoto, Hiroki Sato, Mizuki Oka, Evolutionary Dynamics in Web-Service, AROB 2022, 2022

星野厚, 齊藤 拓己, 岡 瑞起, クラウドAIサービス推薦システムの提案,人工知能学会論文誌, vol.37(2), p. F-L65_1-8, 2022.

Hiroki Sato, Yasuhiro Hashimoto, Mizuki Oka, Takashi Ikegami, Exploration in Evolutionary Space by Hashtag Evolution on a Social Network Service, Proc. of the 2021 Conference on Artificial Life, pp. 570-576, 2021.

Teruto Endo, Hirotake Abe, Mizuki Oka, Towards automatic generation of congestion control algorithms by coevolving the environment. Proceedings of the Fourth Workshop on Open-Ended Evolution at ALIFE2021, 2021.

Mikihiro Suda, Mizuki Oka, Evaluation of the effect of mimicry on facial expression in Avatar-Mediated Communication, Proc. of the 2021 Conference on Artificial Life, pp. 197-205, 2021.

Hiroki Kojima, Dominique Chen, Mizuki Oka and Takashi Ikegami, Analysis and Design of Social Presence in a Computer-Mediated Communication System. Front. Psychol. 12:641927, 2021.

Koya Sato, Mizuki Oka, Alain Barrat, Ciro Cattuto, Predicting partially observed processes on temporal networks by Dynamics-Aware Node Embeddings (DyANE). EPJ Data Sci. 10, 22 (2021). 

Koya Sato, Mizuki Oka, Alain Barrat and Ciro Cattuto Dynamics-aware node embedding for temporal networks, oral presentation at NetSci, 2020.

Hiroki Sato, Itsuki Doi, Yasuhiro Hashimoto, Mizuki Oka, Takashi Ikegami, Selection and Accelerated Divergence in Hashtag Evolution on a Social Network Service, Proc. of the 2020 Conference on Artificial Life, pp. 535-540, 2020

Palin Choviwatana, Shota Ejima, Mizuki Oka, Takashi Ikegami, Web as an Evolutionary Ecosystem: Emergence of Keystone Species, Proc. of the 2020 Conference on Artificial Life, pp. 230-238, 2020.

Alain Barrat, Ciro Cattuto, Mizuki Oka And Koya Sato, DyANE: Dynamics-Aware Node Embedding For Temporal Networks, accepted for oral presentation at CompleNet20, 2020

Choviwatana Palin, 木内 俊克, 岡 瑞起, 橋本 康弘, 小渕 祐介, 隈 研吾,自転車利用者の走行過程における面的な回遊特性把握を可能にする指標の提案,都市計画論文集, 54 巻 2 号, pp. 90-101, 2019.

Koya Sato, Mizuki Oka, Alain Barrat, Ciro Cattuto, DyANE: Dynamics-aware node embedding for temporal networks, arXiv:1909.05976,2019.

Koya Sato, Mizuki Oka, Kazuhiko Kato, Early turnover prediction of new restaurant employees from their attendance records and attributes, Proc. of the 30th DEXA Conferences and Workshop, pp.277-286, 2019.

西川 仁將, 岡 瑞起, 橋本 康弘, 池上 高志,Yule–Simon過程に基づくソーシャルタギングの分析とモデリング手法,人工知能学会論文誌, vol.34(4), pp.1-8, 2019.

Shota Ejima, Mizuki Oka, Takashi Ikegami, Concept of Keystone Species in Web Systems: Identifying Small Yet Influential Online Bulletin Board Threads, Proc. of the 11th ACM Conference ​on Web Science, pp.81-85, 2019.

Takashi Ikegami, Yasuhiro Hashimoto, Mizuki Oka, Open-ended evolution and a mechanism of novelties in web services, Artificial Life, Vol. 25, No. 2, pp.168-177, 2019.

Koya Sato, Mizuki Oka, Kazuhiko Kato, Early Churn User Classification in Social Networking Service Using Attention-based Long Short-Term Memory, Proc. of the 14th Pacific Asia Workshop on Intelligence and Security Informatics, pp.45-56, 2019.

Koya Sato, Yuji Sano, Mai Otsuki, Mizuki Oka, Kazuhiko Kato, Augmented Recreational Volleyball Court: Supporting the Beginners' Landing Position Prediction Skill by Providing Peripheral Visual Feedback, Proc. of the 10th Augmented Human International Conference, 9 pages, 2019.

Atsushi Hoshino, Takumi Saito and Mizuki Oka, Inferencing the best AI service using Deep Neural Networks, Proc. of the 2nd International Conference on Information Science and System, pp.204-209, 2019.

Koya Sato, Mizuki Oka, Yasuhiro Hashimoto, Takashi Ikegami and Kazuhiko Kato, How the Nature of Web Services Drive Vocabulary Creation in Social Tagging, Proc. of the 2nd International Conference on Information Science and System, pp.17-21, 2019.

Mizuki Oka, Dominique Chen, Ryuta Aoki, and Takashi Ikegami, ALife as a Tool for Cooperative Society Between People and Machines, Proc. of the 2018 Conference on Artificial Life, pp.103-104, 2018.

Yasuhiro Hashimoto, Mizuki Oka, Takashi Ikegami, Measuring Bursty Growth of Words in Social Tagging Ecosystems, ACM WebSci'18 conference, Proc. of the 10th ACM Web Science Conference, p.17, 2018.

江島 昇太、小杉 太一、岡 瑞起、三宅 雅矩、池上 高志、Hawkes Processを用いたSocial Tagging Systemにおけるバースト現象解析、2018年度人工知能学会全国大会（第32回）

橋本 康弘、岡 瑞起、池上 高志、ソーシャルタギングシステムに見られる特異的なタグの成長、2018年度人工知能学会全国大会（第32回）

チェン ドミニク、小島 大樹、岡 瑞起、池上 高志、執筆記録情報を用いた行為主体性を持つコミュニケーション場のデザイン、2018年度人工知能学会全国大会（第32回）

佐藤晃矢、岡瑞起、加藤和彦、Newcomers churn prediction by the event sequence on social networking service、2018年度人工知能学会全国大会（第32回）

西川 仁將、岡 瑞起、橋本 康弘、池上 高志、ソーシャルタギングにおけるタグ出現数のゆらぎ、2018年度人工知能学会全国大会（第32回）

齊藤拓己、岡瑞起、加藤和彦、色彩調和に基づく衣類コーディネートシステムの提案、2018年度人工知能学会全国大会（第32回）

Yasuhiro Hashimoto, Mizuki Oka, and Takashi Ikegami, Anomalous popularity growth in social tagging dynamics, CoRR abs/1711.02980, 2017

Hiroki Kojima, Tom Froese, Mizuki Oka, Hiroyuki Iizuka, Takashi Ikegami, A Sensorimotor Signature of the Transition to Conscious Social Perception: Co-regulation of Active and Passive Touch, Frontiers in Psychology, 8, 1778, 14 pages, 2017.

Takashi Ikegami, Mizuki Oka, Yasuhiro Hashimoto, Yoichi Mototake, Life as an Emergent Phenomenon: Studies From Large-Scale Boid Simulation and Web Data, Philosophical Transactions of The Royal Society A Mathematical Physical and Engineering Sciences. 20160351, 10.1098/rsta.2016.0351, 15 pages, 2017.

Mizuki Oka, Yasuhiro Hashimoto, and Takashi Ikegami, Understanding Evolutionary Dynamics in Online Social Networks. Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence (SSCI), 10.1109/SSCI.2017.8280796, 4 pages, 2017.

Yasuhiro Hashimoto, Mizuki Oka, and Takashi Ikegami, Large fluctuation in social tagging ecosystems, International Conference on Computational Social Science (IC2S2 2017), 2017.

三宅雅矩, 池上高志, 岡瑞起, 橋本康弘: Hawkes Processと最適区間幅推定を用いたWeb Dataの解析, 2017年度人工知能学会全国大会, 2017.

西川仁將, 岡瑞起, 橋本康弘, マルコヴィッチオメール, 池上高志: ソーシャルタギングの形質表現と進化メカニズム, 2017年度人工知能学会全国大会, 2017.

岡瑞起, 池上高志, 青木竜太, チェンドミニク: 人間と情報技術の共進化を目指す共創コミュニティALife Lab．の構築, 2017年度人工知能学会全国大会, 2017.

中垣内千晶, 橋本康弘, 岡瑞起, 加藤和彦: VRと足裏触覚を用いたアテンション操作によるリダイレクテッド・ウォーキング, 2017年度人工知能学会全国大会, 2017.

佐藤晃矢, 岡瑞起, 橋本康弘, 池上高志, 加藤和 彦: SNSにおけるユーザ参加期間とタグ生成・利用の関係, 2017年度人工知能学会全国大会, 2017.

橋本康弘, 佐藤晃矢, 岡瑞起, 池上高志: ソーシャルタギングシステムにおける語彙の個性, 2017年度人工知能学会全国大会, 2017.

江島昇太, 岡瑞起, 橋本康弘, 加藤和彦: SNS におけるユーザの行動のモチベーション要因の分析, 2017年度人工知能学会全国大会, 2017.

小島大樹, 岡瑞起, 飯塚博幸, 池上高志: 他者の存在感を生むダイナミクスの解析, 日本物理学会第71回年次大会, 2016.

佐藤晃矢, 岡瑞起, 橋本康弘, 池上高志: ソーシャルネットワークサービスのダイナミクスにみる、ゆらぎ、応答、進化: 日本物理学会第71回年次大会, 2016.

岡瑞起, 池上高志: ウェブにおける生命性の指標について, 2016年度人工知能学会全国大会, 2016.

佐藤晃矢, 岡瑞起, 橋本康弘, 池上高志, 加藤和彦: 新しいタグの出現とソーシャルタギングシステム, 2016年度人工知能学会全国大会, 2016.

西川仁將, 岡瑞起, 橋本康弘, 池上高志: ソーシャルタギングの形質表現と進化メカニズム, 2016年度人工知能学会全国大会, 2016.

橋本康弘, 佐藤晃矢, 岡瑞起, 池上高志: ソーシャルタギングにおけるタグ出現数のゆらぎ, 2016年度人工知能学会全国大会, 2016.

Aisen Caro Chacin, Maša Jazbec, Mizuki Oka, Itsuki Doi, BIRD SONG DIAMOND: Call and Response and Phase Transition work, Proceedings of the The Twenty-First International Symposium on Artificial Life and Robotics 2016 (AROB 21st 2016), pp.310, 2016.

Tim Taylor, Joshua E. Auerbach, Josh Bongard, Jeff Clune, Simon Hickinbotham, Charles Ofria, Mizuki Oka, Sebastian Risi, Kenneth O. Stanley, Jason Yosinski：WebAL Comes of Age: A review of the first 21 years of Artificial Life on the Web, Artificial Life, Vol.22, pp.364-407, 2016.

岡瑞起, 伊原頌二, 池上高志: Hawkes Processによるソーシャルネットワーク時系列のモデル化, 日本物理学会第70回年次大会, 2015.

丸山典弘, 岡瑞起, 阿部洋丈, 池上高志: TCP/IP Network及びEcho State Networkを用いた学習機モデル, 2015年度人工知能学会全国大会, 2015.

岡瑞起, 池上高志: Modeling Temporal Dynamics on Social Media, 2015年度人工知能学会全国大会, 2015.

池上高志, 岡瑞起: MDFの示す生命性について, 2015年度人工知能学会全国大会, 2015.

橋本康弘, 佐藤晃矢, 岡瑞起: Zipf's Law and Heap's Law in Social Tagging, 2015年度人工知能学会全国大会, 2015.

佐藤晃矢, 岡瑞起, 橋本康弘, 加藤和彦: Yule-Simon過程によるタグ共起ダイナミクスのモデル化と分析, 2015年度人工知能学会全国大会, 2015.

Mizuki Oka, Hirotake Abe, and Takashi Ikegami, Dynamic Homeostasis in Packet Switching Networks, Proceedings of the 13th European Conference on Artificial Life, pp. 80, York, UK, July 20-24, 2015

Mizuki Oka, Yasuhiro Hashimoto, and Takashi Ikegami, Open-ended evolution in a web system, Proceedings of the 13th European Conference on Artificial Life, York, UK, July 20-24, 2015.

佐藤晃矢, 岡瑞起, 橋本康弘, 加藤和彦：Yule-Simon過程によるタグ共起ダイナミクスのモデル化と分析, 人工知能学会論文誌, Vol.30(5), pp.667-674, 2015.

池上高志,岡瑞起,橋本康弘,生命現象としてのウェブシステム,人工知能学会論文誌 ,vol.30(6), pp.811-819, 2015.

本武陽一, 岡瑞起, 池上高志, ディープニューラルネットワーク内ダイナミクスの力学的解析, 2014年度人工知能学会全国大会, 2014.

岡瑞起, 池上高志, 橋本康弘: Self-organization in Social Media, 2014年度人工知能学会全国大会, 2014.

Takashi Ikegami, Mizuki Oka, Massive Data Flows: Self-organization of energy, material, and information flows, Proceedings of the 6th International Conference on Agents and Artificial Intelligence ICAART 2014, pp. 237-242, March, 2014.

Mizuki Oka, Yasuhiro Hashimoto, Takashi Ikegami, Fluctuation and Burst Response in Social Media, Proceedings of the 2nd International Web Observatory Workshop WOW2014 at WWW 2014, pp. 1037-1042, April, 2014.

Mizuki Oka, Hirotake Abe, Takashi Ikegami : Dynamic Homeostasis in Packet Switching Networks, Adaptive Behavior Vol.23(1), pp.50-63, 2014.

Mizuki Oka, Hirotake Abe, and Takashi Ikegami, Dynamic Homeostasis in Packet Switching Networks, Adaptive Behavior, Vol.23(1), pp.50-63, 2014.

Mizuki Oka, Yasuhiro Hashimoto, and Takashi Ikegami: Self-organization on social media: endo-exo bursts and baseline fluctuations, PLOS ONE, 9(10):e109293, 2014.

Mizuki Oka : Characterizing Autonomy in the Web, US-Japan Connections Symposium for Women Leaders in Science, Technology and Engineering and Mathematics, “Crossing Boundaries with Informatics” from Basic Science to Social Infrastructure, NSF and JSPS, Wasthington DC, July, 2013.

岡瑞起, 池上高志：Information Cascades in Twitter, 2013年度人工知能学会全国大会, 2013.

朱軼青, 鷹野駿介, 陳ウェイ, 岡瑞起, 加藤和彦：A High Throughput Computing Scheme on Many-core Processors, 日本ソフトウェア科学会第30回大会セッション, 2013.

鷹野駿介, 朱軼青, 岡瑞起, 池上高志, 阿部洋丈, 加藤和彦：メニーコア・プロセッサのための高スループットな計算手法の提案,第127回 システムソフトウェアとオペレーティング・システム研究会, 2013.

Norihiro Maruyama, Mizuki Oka, Takashi Ikegami: Creating Space-Time Affordances via an Autonomous Sensor Network, Proceedings of the 2013 IEEE Symposium on Artificial Life, pp. 67-73, Singapore, April, 2013.

Mizuki Oka and Takashi Ikegami, Exploring Default Mode and Information Flow on the Web, PLOS ONE 8(4): e60398. doi:10.1371/journal.pone.0060398, 2013.

橋本康弘, 岡瑞起 : 都市におけるジオタグ付きツイートの統計, 人工知能学会誌, Vol.27, No.4, pp. 424-431, July, 2012.

池上高志, 岡瑞起 : マッシブデータフローの科学を目指して -人と環境の間を流れる高次元のデータフローを巡る生成と解析について-, エディトリアル, 人工知能学会誌, Vol.27, No.4, pp. 389-395, July, 2012.

Mizuki Oka : Characterizing Autonomy in the Web, Information Science Workshop 2012, December, Tsukuba, 2012 (Best Presentation Award)

岡瑞起, 池上高志：人と環境にみる高次元のデータフローの生成と解析〜マッシブデータフロー時代の理論とは？〜, 2012年度人工知能学会全国大会, 2012.

Mizuki Oka, Takashi Ikegami : Characterizing Autonomy in the Web via Transfer Entropy Network, Proceedings of the 13th International Conference on Artificial Life, pp. 234-242, July, 2012.

橋本康弘, 笹原和俊, 岡瑞起, 池上高志：動く地図：自律的バネモデルによる空間情報地図の解析, 第23回自律分散システムシンポジウム, 2011.

岡瑞起, 橋本康弘, 笹原和俊, 池上高志：カートグラムを用いた空間のアフォーダンスの可視化, インタラクション2011, 2011.

岡瑞起,池上高志: 人と環境にみる高次元のデータフローの生成と解析, 2011年度人工知能学会全国大会, 2011.

Yoshino Arimoto, Tomomi Mitsuishi, Mizuki Oka, Myeong-Hee Lee : Patlets on Learning Commons at the Library, Proceedings of the second Asian Conference on Pattern Languages of Programs, October, Tokyo, DOI: 10.1145/2524629.2524653. 2011.

Tom Hope, Mizuki Oka, Yasuhiro Hashimoto, Myeong-Hee Lee : Spatial Design, Designers and Users : Exploring the Meaning of Multi-party Service Cognition, Proceedings of the 14th International Conference on Human-Computer Interaction (HCI International 2011), LNCS-6764, pp. 328-335, July, 2011.

Takashi Ikegami, Mizuki Oka, Hirotake Abe : Autonomy of the internet: complexity of flow dynamics in a packet switching network, Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems (ECAL 2011), pp. 364-371, August, 2011.

Mizuki Oka, Tom Hope, Yasuhiro Hashimoto, Ryoko Uno, Myeong-Hee Lee : A collective map to capture human behavior for the design of public spaces, Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems, pp. 1909-1914, May, 2011.

Mizuki Oka, Hirotake Abe, Takashi Ikegami : Autonomous Computation and Flow Dynamics in Web Systems, Proceedings of the Second International Conference on Morphological Computation (ICMC), pp. 76-78, September, 2011.

岡瑞起, 李明喜, 橋本康弘, 宇野良子, 荒牧英治：Augmented Campus: 拡張するキャンパス, 2010年度人工知能学会全国大会, 2010.

荒牧英治, 宇野良子, 岡瑞起：TYPO Writer: ヒトはどのように打ち間違えるのか？, 言語処理学会第16回年次大会（NLP2010）, 2010.

荒牧英治, 宇野良子, 岡瑞起：TYPO Writer: ヒトはどのように打ち間違えるのか？, 言語処理学会第16回年次大会（NLP2010）, pp.966-969, Tokyo, Japan, March 8-11, 2010（優秀発表賞).

Mizuki Oka, Myeong-Hee Lee, Yasuhiro Hashimoto, Koichiro Eto : Pattern Language on Environment Design, Proceedings of the First Asian Conference on Pattern Languages of Programs, pp. 53-62, 2010.

Mizuki Oka, Myeong-Hee Lee, Yasuhiro Hashimoto, Tom Hope : Pingpong: Supporting Collaborative Design Work by Mining Human Behaviors in the Fields, Proceedings of the Second International Service Innovation Design Conference, pp. 137-148, Octoer, 2010.

岡瑞起, 松尾豊 : 検索エンジンを用いた関係の重み付け, 人工知能学会論文誌, Vol.25, No.1, pp. 1-8, 2010.

宇野良子, 橋本康弘, 岡瑞起, 李明喜, 荒牧英治 : 言葉が紡ぐデザイン - 意志抽出への認知言語学の構成論的アプローチ −, 認知科学 Vol.17, No.3, pp. 491-498, 2010.

岡瑞起, 田村大, 堀井秀之 : デザイン思考に基づいたイノベーション教育 -北米の最新動向-, 解説, 情報処理学会誌, Vol.50, No.12, pp. 1222-1227, 2009.

岡瑞起, 松尾豊：Weighting Relations in Social Networks Using the Web, 2009年度人工知能学会全国大会, 2009.

荒牧英治, 橋本康弘, 宇野良子, 河村美雪, 石橋素, 李明喜, 岡瑞起：pingpong:新しいデザインのための行為抽出エンジン, NLP若手の会第4回シンポジウム, Kyoto, Japan, September 30-October 1, 2009（奨励賞）

岡瑞起 : 世界のAI, 日本のAI [第12回] 海外インターンシップを通じて見える世界, 特集, 人工知能学会誌, Vol.23, No.5, pp. 665-667, 2008.

Mizuki Oka, Yutaka Matsuo : Mining Scholarly Semantic Networks from the Web, Proceedings of the 12th International Conference on Information Visualization, pp. 349-355, July, 2008.

岡瑞起, 加藤和彦 : 高性能Recoloring手法, 電子情報通信学会論文誌, Vol.J91-D, No.5, pp. 1452-1460, 2008.

Mizuki Oka, Kazuhiko Kato : Anomaly Detection Using Integration Model of Vector Space and Network Representation, IPSJ Journal, Vol.48, No.6, pp. 2118-2128, 2007.

Mizuki Oka, Hiroshi Tsukada, Kazuhiko Kato : Robin: Extracting Visual and Textual Features from Web Pages, Proceedings of the 8th Asia-Pacific Web Conference, LNCS-3841, pp. 765-771, January, 2006.

Mizuki Oka, Kazuhiko Kato, Yingqing Xu, Lin Lang, Fang Wen : Scribble-a-Secret Similarity Based Password Authentication Using Sketches, Proceedings of the 19th International Conference on Pattern Recognition, pp. 1-4, December, 2008.

岡瑞起, 小磯知之, 加藤和彦：時系列データからの多層ネットワーク特徴抽出手法の提案：Eigen Co-occurrence Matrix (ECM), 夏のデータベースワークショップ, 2004.

Mizuki Oka, Tomoyuki Koiso, Emil Meng, Kazuhiko Kato : Extracting Features of Patients using the Eigen Co-occurrence Matrix Algorithm, Proceedings of the 15th ECML and the 8th PKDD Conference 2004 Discovery Challenge, pp. 86-97, September, 2004.

Mizuki Oka, Hirotake Abe, Yoshihiro Oyama, Kazuhiko Kato : Anomaly Detection Using Layered Networks Based on Eigen Co-occurrence Matrix, Proceedings of the 7th International Symposium on Recent Advances in Intrusion Detection (RAID), LNCS-3224, pp. 223-237, September, 2004.

阿部洋丈, 大山恵弘, 岡瑞起, 加藤和彦 : 静的解析に基づく侵入検知システムの最適化, 情報処理学会論文誌コンピューティングシステム, Vol.45, No.SIG3 (ACS 5), pp. 11-20, 2004.

岡瑞起, 小磯知之, 加藤和彦 : Eigen Co-occurrence Matrix (ECM) : 時系列データからの多層ネットワーク抽出手法の提案, 日本データベース学会Letters, Vol.3, No.2, pp. 9-12, 2004.

Mizuki Oka, Hirotake Abe, Yoshihiro Oyama, and Kazuhiko Kato, Intrusion Detection System Based on Static Analysis and Dynamic Detection, 第2回情報科学技術フォーラム（FIT 2003）, 2003.

Mizuki Oka, Hirotake Abe, Yoshihiro Oyama, and Kazuhiko Kato, Intrusion detection system based on binary code and execution stack analysis, 日本ソフトウェア科学会第20回大会, 2003.

阿部洋丈, 大山恵弘, 岡瑞起, 加藤和彦 : 静的解析に基づく侵入検知システムの最適化, 第15回コンピュータシステム・シンポジウム, pp.7-16, Ibaraki, Japan, December 11-12, 2003（平成16年度山下記念研究賞受賞）