サイトマップ
Publication lists in Masuzawa laboratory

Journals

  1. Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil: ``Self-stabilization with Byzantine tolerance for global tasks.''IEEE Transactions on Parallel and Distributed Systems, to appear
  2. Sayaka Kamei, Hirotsugu Kakugawa, Stephane Devismes, Sebastien Tixeuil: ``A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks.''Journal of Combinatorial Optimization, to appear
  3. Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Loosely-stabilizing Leader Election in Polulation Protocol Model.''Theoretical Computer Science, to appear
  4. Doina Bein, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Convergence Time of Self-Stabilizing Protocols with Faults.''the International Journal of Autonomous and Adaptive Communications Systems (IJAACS), to appear
  5. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa: ``Reliable communication on emulated channels resilient to transient faults.''International Journal of Foundations of Computer Science, to appear
  6. Doina Bein, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Self-stabilizing protocols on oriented chains with joins and leaves.''International Journal of Autonomous and Adaptive Communications Systems, to appear
  7. Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa: ``Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures.''Theoretical Computer Science, vol.412, no.33, pp.4336-4349, July 2011
  8. Sayaka Kamei, Hirotsugu Kakugawa: ``A Self-stabilizing Distributed Approximation Algorithm for the Minimum Connected Dominating Set.''International Journal of Foundation of Computer Science, vol.21, no.3, pp.459-476, June 2010
  9. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, I. Sudborough: ``Calibrating embedded protocols on asynchronous systems.''Information Sciences , vol.180, no.10, pp.1793-1801, May 2010
  10. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Timer-based composition of fault-containing self-stabilizing protocols.''Information Sciences , vol.180, no.10, pp.1802-1816, May 2010
  11. Toshimitsu Masuzawa, Sebastien Tixeuil: ``Quiescence of self-stabilizing gossiping among mobile agents in graphs..''Theoretical Computer Science, vol.411, no.14-15, pp.1567-1582, March 2010
  12. Daisuke Kadono, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``An Ant Colony Optimization Routing based on Robustness for Ad Hoc Networks with GPSs.''Ad Hoc Networks, vol.8, no.1, pp.63-76, January 2010
  13. Gen Nishikawa, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A self-adaptive routing protocol in wireless LANs based on attractor selection.''IEICE Transactions on Information and Systems, vol.E92-D, no.10, pp.2016-2024, Octorber 2009
  14. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa: ``Preserving the fault-containment of ring protocols executed on trees.''The Computer Journal, vol.52, no.4, pp.483-498, July 2009
  15. Tomoko Izumi, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A Biologically Inspired Self-Adaptation of Replica Density Control.''IEICE Transaction on Information and Systems, vol.E92-D, no.5, pp.1125-1136, May 2009
  16. Wu Yu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Distributed construction protocols of probabilistic degree-weighted peer-to-peer overlays.''IEICE Transaction on Information and Systems, vol.E92-D, no.4, pp.563-574, April 2009
  17. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Hierarchical composition of self-stabilizing protocols preserving the fault-containment property.''IEICE Transaction on Information and Systems, vol.E92-D, no.3, pp.451-459, March 2009
  18. Toshimitsu Masuzawa: ``Self-stabilization in dynamic networks(Invited Paper).''IEICE Transactions on Information and Systems, vol.E92-D, no.2, pp.108-115, Feburuary 2009
  19. Wu Yu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A Message-efficient Peer-to-peer Search Protocol Based on Adaptive Index Dissemination.''IEICE Transaction on Information and Systems, vol.E92-D, no.2, pp.258-268, Feburuary 2009
  20. Toshimitsu Masuzawa, Sebastien Tixeuil: ``On bootstrapping topology knowledge in anonymous networks.''ACM Transactions on Autonomous and Adaptive Systems, vol.4, no.1, pp.8:1-8:27, January 2009
  21. 長瀧寛之, 伊藤亮太, 大下福仁, 角川裕次, 増澤利光: ``アルゴリズム学習における間違い探し形式の演習課題を自動生成する手法の提案と評価.''情報処理学会論文誌, vol.49, no.10, pp.3366-3376, Octorber 2008
  22. Hirotsugu Kakugawa, Sayaka Kamei, Toshimitsu Masuzawa: ``A Token-Based Distributed Group Mutual Exclusion Algorithm with Quorums.''IEEE Transactions on Parallel & Distributed Systems, vol.19, no.9, pp.1153-1166, September 2008
  23. Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``An Efficient Index Dissemination in Unstructured Peer-to-Peer Networks.''IEICE Transaction on Information and Systems, vol.E91-D, no.7, pp.1971-1981, July 2008
  24. 乾 広二, 鈴木 朋子, 大下 福仁, 角川 裕次, 増澤 利光: ``構造化オーバレイネットワークにおける故障耐性向上のための経路多重化法.''電子情報通信学会論文誌, vol.J91-D, no.5, pp.1261-1274, May 2008
  25. Tomoko Izumi, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Move-optimal gossiping among mobile agents.''Theoretical Computer Science , vol.393, no.1-3, pp.90-101, March 2008
  26. 西川 元, 山内 由紀子, 大下 福仁, 角川 裕次, 増澤 利光: ``モバイルアドホックネットワークにおける公平性の高い自己安定相互排除プロトコル.''電子情報通信学会論文誌(A),レター, vol.J91-A, no.2, pp.279-284, Feburuary 2008
  27. Toshimitsu Masuzawa, Sebastien Tixeuil: ``Stabilizing link-coloration of arbitrary networks with unbounded Byzantine faults.''International Journal of Principles and Applications of Information Science and Technology (PAIST), vol.1, no.1, pp.1-13, December 2007
  28. Fukuhito Ooshita, Susumu Matsumae, Toshimitsu Masuzawa: ``Scheduling for independent-task applications on heterogeneous parallel computing environments under the unidirectional one-port model..''IEICE Transactions on Information and Systems, vol.E90-D, no.2, pp.403-417, Feburuary 2007
  29. Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Toshimitsu Masuzawa: ``Self-adaptive mobile agent population control in dynamic networks based on the single species population model.''IEICE Transactions on Information and Systems, vol.E90-D, no.1, pp.314-324, January 2007
  30. 山内由紀子, 中南良浩, 大下福仁, 角川裕次, 増澤利光: ``無線ネットワークにおける距離2の彩色を利用したTDMAスケジュール法.''情報処理学会論文誌, vol.48, no.1, pp.327-341, January 2007
  31. Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa: ``Adaptive timeliness of consensus in presence of crash and timing faults.''Journal of Parallel and Distributed Computing, vol.67, no.6, pp.648-658, January 2007
  32. Taisuke Izumi, Toshimitsu Masuzawa: ``A weakly-adaptive condition-based consensus algorithm in asynchronous distributed systems.''Information Processing Letters, vol.100, no.5, pp.199-205, December 2006
  33. Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa: ``A self-stabilizing link-coloring protocol in tree networks with permanent Byzantine faults.''Journal of Aerospace Computing, vol.3, no.8, pp.420-436, August 2006
  34. Taisuke Izumi, Toshimitsu Masuzawa: ``Condition adaptation in synchronous consensus.''IEEE Transactions on Computers, vol.55, no.7, pp.843-853, July 2006
  35. 増澤利光, 井上克郎, 村上孝三, 藤原融, 西尾章治郎: ``大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み.''工学教育, vol.54, no.3, pp.83-87, June 2006
  36. Yoshihiro Nakaminami, Toshimitsu Masuzawa, Ted Herman: ``Linear-state-transition protocols: asynchronous protocols with ease of efficiency evaluation.''Journal of Aerospace Computing, Information, and Communication, vol.3, no.6, pp.281-293, June 2006
  37. Taisuke Izumi, Toshimitsu Masuzawa: ``Timed uniform atomic broadcast in presence of crash and timing faults.''IEICE Transactions on Information and Systems, vol.E88-D, no.1, pp.72-81, January 2005
  38. Yoshihiro Nakaminami, Toshimitsu Masuzawa, Ted Herman: ``Self-stabilizing agent traversal on tree networks.''IEICE Transactions on Information and Systems, vol.E87-D, no.12, pp.2773-2780, December 2004
  39. 野口智史, 大下福仁, 増澤利光: ``通信遅延が大きな並列計算環境に対するタスクスケジュールのためのクラスタリングアルゴリズム.''情報処理学会論文誌コンピューティングシステム, vol.SIG11, no.ACS7, pp.257-268, Octorber 2004
  40. Satoshi Ohtake, Hiroki Wada, Toshimitsu Masuzawa, Hideo Fujiwara: ``A non-scan DFT method at register-transfer level to achieve 100% fault efficiency.''IPSJ Journal, vol.44, no.5, pp.1266-1275, May 2003
  41. Fukuhito Ooshita, Susumu Matsumae, Toshimitsu Masuzawa: ``Scheduling for gather operation in heterogeneous parallel computing environments.''IEICE Transactions on Fundamentals of Electronics, vol.E86-A, no.4, pp.908-918, April 2003
  42. 大下福仁, 松前進, 増澤利光, 都倉信樹: ``異種並列計算環境におけるブロードキャストスケジューリング.''電子情報通信学会論文誌(DI), vol.J86-D-I, no.2, pp.88-98, Feburuary 2003
  43. 浮穴学慈, 片山喜章, 増澤利光, 藤原秀雄: ``非停止永久故障に耐性を有する自己安定生成木構成プロトコル.''電子情報通信学会論文誌(DI), vol.J85-D-I, no.11, pp.1007-1014, November 2002
  44. 山口賢一, 和田弘樹, 増澤利光, 藤原秀雄: ``レジスタ転送レベルデータパスの単一制御並行可検査に基づく組込み自己テスト法.''電子情報通信学会論文誌(DI), vol.J85-D-I, no.6, pp.527-537, June 2002
  45. Yoshiaki Katayama, Eiichiro Ueda, Toshimitsu Masuzawa, Hideo Fujiwara: ``A latency optimal superstabilizing mutual exclusion protocol in unidirectional rings.''Journal of Parallel and Distributed Computing, vol.62, no.5, pp.865-884, May 2002
  46. 片山喜章, 増澤利光: ``重み最小生成木を構成する故障封じ込め自己安定プロトコル.''電子情報通信学会論文誌(DI), vol.J84-D-I, no.9, pp.1307-1317, September 2001
  47. 和田弘樹, 増澤利光, 藤原秀雄: ``演算器の強可検査性を保証するテスト容易化高位合成.''電子情報通信学会論文誌(DI), vol.J84-D-I, no.5, pp.466-473, May 2001
  48. 谷口博人, 井上美智子, 増澤利光, 藤原秀雄: ``アドホックネットワークにおけるクラスタ構成法.''電子情報通信学会論文誌(DI), vol.J84-D-I, no.2, pp.127-135, Feburuary 2001
  49. Ted Herman, Toshimitsu Masuzawa: ``Available stabilizing heaps.''Information Processing Letters, vol.77, no.2-4, pp.115-121, Feburuary 2001
  50. 浮穴学慈, 長谷川学, 片山喜章, 増澤利光: ``木ネットワーク上のヒープ順序構成自己安定プロトコル.''電子情報通信学会論文誌(DI), vol.J84-D-I, no.1, pp.48-57, January 2001
  51. 井筒稔, 和田弘樹, 増澤利光, 藤原秀雄: ``レジスタ転送レベルデータパスの単一制御可検査性に基づく組込み自己テスト容易化設計法.''電子情報通信学会論文誌(DI), vol.J84-D-I, no.1, pp.69-77, January 2001
  52. Hiroyoshi Matsui, Michiko Inoue, Toshimitsu Masuzawa: ``Fault-tolerant and self-stabilizing protocols using an unreliable failure detector.''IEICE Transactions on Information and Systems, vol.E83-D, no.10, pp.1831-1840, Octorber 2000
  53. Satoshi Ohtake, Toshimitsu Masuzawa, Hideo Fujiwara: ``A non-scan approach to DFT for controllers achieving 100% fault efficiency.''Journal of Electronic Testing: Theory and Applications, vol.16, no.5, pp.553-566, Octorber 2000

International Conferences (Reviewed)

  1. Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil: ``Maximum metric spanning tree made Byzantine tolerant.''Proceedings of the 25th International Symposium on Distributed Computing (DISC 2011), September 2011
  2. Amos Korman, Shay Kutten, Toshimitsu Masuzawa: ``Fast and compact self stabilizing verification, computation, and fault detection of an MST.''Proceedings of the 30th annual ACM SIGACT-SIGOPS Symposium on Principles of Distribiuted Computing (PODC 2011), pp.311-320, June 2011
  3. Gen Motoyoshi, Yuichi Sudo, Tutomu Murase, Toshimitsu Masuzawa: ``Advantages of optimal longcut route for wireless mobile users.''Proceedings of IEEE International Conference on Communications (ICC), June 2011
  4. Hirotsugu Kakugawa, Sayaka Kamei: ``A Token-based Distributed Algorithm for the Generalized Resource Allocation Problem.''Proceedings of the 14th International Conference on Principles of Distributed Systems (OPODIS), December 2010
  5. Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Evaluation of Self-Stabilizing Token Circulation Algorithm with Faulty Random Number Generators.''he Workshop on Dependability of Network Software Applications (DNSA), November 2010
  6. Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein: ``Adaptive containment of time-bounded Byzantine faults.''Proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), LNCS 6366, pp.126-140, September 2010
  7. Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil: ``The impact of topology on Byzantine containment in stabilization.''Proceedings of the 24th International Symposium on Distributed Computing (DISC 2010), LNCS 6343, pp.495-509, September 2010
  8. Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``An Agent Exploration in Unknown Undirected Graphs with Whiteboards.''Proceedings of the 3rd Workshop on Reliability, Availability, and Security (WRAS), July 2010
  9. Sayaka Kamei, Hirotsugu Kakugawa, Stephane Devismes, Sebastien Tixeuil: ``A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks.''Proceedings of the 16th Annual International Computing and Combinatorics Conference (COCOON 2010), pp.80-89, July 2010
  10. Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Space-Optimal Rendezvous of Mobile Agents in Asynchronous Trees.''Proceedings of the 17th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2010), July 2010
  11. Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``An agent exploration in unknown undirected graphs with whiteboards.''Proceedings of the 3rd Workshop on Reliability, Availability, and Security (WRAS 2010), July 2010
  12. Hiroyuki Nagataki, Taichi Fujii, Yukiko Yamauchi, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A kinesthetic-based collaborative learning system for distributed algorithms.''Proceedings of the 2nd International Conference on Education Technology and Computer (ICETC), Vol.2, pp.97-101, June 2010
  13. Toshimitsu Masuzawa, Sebastien Tixeuil: ``Stabilizing locally maximizable tasks in unidirectional networks is hard.''Proceedings of the 30th International Conference on Distributed Computing Systems (ICDCS), pp.718-727, June 2010
  14. Fukuhito Ooshita, Tomoko Izumi, Taisuke Izumi: ``A generalized multi-organization scheduling on unrelated parallel machines.''Proceedings of the 10th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), December 2009
  15. Atsushi Takada, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Poster Presentation: A distributed algorithm to update spanning trees minimizing the number of output changes.''Proceedings of the 2nd Workshop on Reliability, Availability, and Security (WRAS), December 2009
  16. Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Poster Presentation: Mobile agents rendezvous in tree networks.''Proceedings of the 2nd Workshop on Reliability, Availability, and Security (WRAS), December 2009
  17. Doina Bein, Toshimitsu Masuzawa, Yukiko Yamauchi: ``Reliable communication on emulated channels resilient to transient faults.''Proceedings of the 2nd Workshop on Reliability, Availability, and Security (WRAS 2009), pp.366-371, December 2009
  18. Toshimitsu Masuzawa, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada: ``Brief Announcement: Communication-efficient self-stabilizing protocols for spanning-tree construction.''Proceedings of the 13th International Conference On Principle Of DIstributed Systems (OPODIS 2009), LNCS 5923, pp.219-224, December 2009
  19. Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita: ``Randomized gathering of mobile robots with local-multiplicity detection.''Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp.384-398, November 2009
  20. Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa: ``Cached sensornet transformation of non-silent self-stabilizing algorithms with unreliable links.''Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), LNCS 5873, pp.428-442, November 2009
  21. Naoko Uemura, Gen Nishikawa, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``An experimental evaluation of clustering algorithm using attractor selection.''Proceedings of the 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA), Octorber 2009
  22. Stephane Devismes, Toshimitsu Masuzawa, Sebastien Tixeuil: ``Communication efficiency in self-stabilizing silent protocols.''Proceedings of the 29th International Conference on Distributed Computing Systems (ICDCS 2009), pp.474-481, June 2009
  23. Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Loosely-stabilizing Leader Election in Population Protocol Mode.''Proc. of the 16th International Colloquium on Structural Information and Communication Complexity (SIROCCO), LNCS 5869, pp.295-308, May 2009
  24. Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita: ``Probabilistic gathering of mobile robots with weak multiplicity-detection capabilities.''Proceedings of the 2nd Annual Meeting of Asian Association for Algorithms and Computation (AAAC), April 2009
  25. Susumu Matsumae, Fukuhito Ooshita: ``Upper bound on cell size for hierarchical GAF.''the 8th International Conference on Applications and Principles of Information Science (APIS), January 2009
  26. Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Output stability of self-stabilizing protocols against topology changes and transient faults.''the 8th International Conference on Applications and Principles of Information Science (APIS), pp.306-310, January 2009
  27. Rikiya Hasegawa, Wu Yu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Resource replication protocol based on node density for mobile ad hoc networks.''the 8th International Conference on Applications and Principles of Information Science (APIS), pp.302-305, January 2009
  28. Sayaka Kamei, Hirotsugu Kakugawa: ``A Self-Stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence.''12th International Conference on Principles of Distributed Systems (OPODIS), December 2008
  29. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa: ``Minimizing the Message Complexity on Embedded Protocols (Brief announcement).''Proc. of 10th International Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS 2008), November 2008
  30. Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Convergence Time Analysis of Self-Stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links.''10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 5340, pp.173-183, November 2008
  31. Gen Nishikawa, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A Stable Clustering Algorithm for Mobile Ad Hoc Networks Based on Attractor Selection.''Proc. of 1st International Workshop on Technologies for Ambient Information Society (TAIS), November 2008
  32. Yukiko Yamauchi, Takashi Itou, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Clustering algorithm for mobile ad-hoc networks to improve the stability of clusters.'' IASTED International Conference on Sensor Networks(SN), pp.9-15, Octorber 2008
  33. Kazuyuki Yoshida, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Observation on Lightweight Implementation of Self-Stabilizing Node Clustering Algorithms in Sensor Networks.''IASTED International Conference on Sensor Networks(SN), pp.1-8, Octorber 2008
  34. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, I. Hal Sudborough: ``Calibrating an embedded protocol on an asynchronous system.''Proceedings of the 2nd International Symposium on Intelligent Distributed Computing (IDC 2008), SCI 162, pp.227-236, September 2008
  35. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Timer-based Composition of Fault-containing Self-stabilizing Protocols.''The 2nd International Symposium on Intelligent Distributed Computing (IDC 2008), SCI 162, pp.217-226, September 2008
  36. Daisuke Kadono, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A Robustness Based Ant Colony Optimization Routing for Ad Hoc Networks with GPSs.''The 2008 International Conference on Wireless Networks (ICWN 08), pp.360-366, July 2008
  37. Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Poster Presentation: Construction of Loosely-Structured Overlay Using Bloom Filter.''The International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 08), July 2008
  38. Toshimitsu Masuzawa, Sebastien Tixeuil: ``Quiescence of self-stabilizing gossiping among mobile agents in graphs.''Proceedings of the 15th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2008), LNCS 5058, pp.247-261, June 2008
  39. Toshimitsu Masuzawa, Sebastien Tixeuil: ``Strong stabilization: bounding times affected by Byzantine processes in stabilization.''Proceedings of Asian Association for Algorithms and Computation annual meeting (AAAC), April 2008
  40. Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``The deterministic decay bloom filter.''Proceedings of the 7th International Conference on Applications and Principles of Information Science (APIS2008), pp.85-88, January 2008
  41. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa: ``Ring embedding preserving the fault-containment.''Proceedings of the 7th International Conference on Applications and Principles of Information Science (APIS 2008), pp.43-46, January 2008
  42. Shay Kutten, Toshimitsu Masuzawa: ``Output stability versus time till output.''Proceedings of the 21st International Symposium on Distributed Computing (DISC 2007), LNCS 4731, pp.343-357, September 2007
  43. Ryota Itoh, Hiroyuki Nagataki, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A fault injection methold for generating error-correction exercises in a algorithm learnings.''Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training (ITHET 2007), pp.200-205, July 2007
  44. Tomoko Izumi, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Optimal moves for gossiping among mobile agents.''Proceedings of the 14th International Colloquium on Structual Information and Communication Complexity (SIROCCO 2007), LNCS 4474, pp.151-165, June 2007
  45. Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``An adaptive randomized searching protocol in peer-to-peer systems.''Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC), pp.533-537, March 2007
  46. Toshimitsu Masuzawa, Sebastien Tixeuil: ``Bounding the impact of unbounded attacks in stabilization.''Proceedings of the 8th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), LNCS 4280, pp.440-453, November 2006
  47. Toshimitsu Masuzawa, Sebastien Tixeuil: ``On bootstrapping topology knowledge in anonymous networks.''Proceedings of the 8th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), LNCS 4280, pp.454-468, November 2006
  48. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Composition of fault-containing protocols based on recovery waiting, fault-containing composition framework.''Proceedings of the 8th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), LNCS 4280, pp.516-532, November 2006
  49. Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Brief Announcement: An adaptive randomised searching protocol in peer-to-peer systems based on probabilistic weak quorum system.''Proceedings of the 8th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), LNCS 4280, pp.586-587, November 2006
  50. Taisuke Izumi, Toshimitsu Masuzawa: ``One-step consensus solvability.''Proceedings of the 20th International Symposium on Distributed Computing (DISC), LNCS 4167, pp.224-237, September 2006
  51. Fukuhito Ooshita, Susumu Matsumae, Toshimitsu Masuzawa: ``Poster Presentation: Scheduling independent tasks on heterogeneous parallel computing environments under the unidirectional one-port model.''Proceedings of the 2006 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), no.2, pp.690-696, June 2006
  52. Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A self-stabilizing minimal dominating set algorithm with safe convergence.''of the 8th Workshop on Advances on Parallel and Distributed Processing Symposium (APDCM) (Workshop of the 20th IEEE International Parallel and Distributed Processing Symposium), No.103, April 2006
  53. Yoshihiro Nakaminami, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``An advanced performance analysis of self-stabilizing protocols: stabilization time with transient faults during convergence.''Proceedings of the 8th Workshop on Advances on Parallel and Distributed Processing Symposium (APDCM) (Workshop of the 20th IEEE International Parallel and Distributed Processing Symposium), No.106, April 2006
  54. Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A self-stabilizing distributed algorithm for 5-spanner.''Proceedings of the IASTED International Conference on Networks and Communication Systems (NCS), No.527-105, pp.47-52, March 2006
  55. Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Bio-inspired replica density control in dynamic networks.''Proceedings of the 2nd International Workshop on Biologically Inspired Approaches to Advanced Information Technology (Bio-ADIT), LNCS 3853, pp.281-293, January 2006
  56. Taisuke Izumi, Toshimitsu Masuzawa: ``Poster Presentation: An interest-based peer clustering algorithm using ant paradigm.''Proceedings of the 2nd International Workshop on Biologically Inspired Approaches to Advanced Information Technology (Bio-ADIT), LNCS 3853, pp.379-386, January 2006
  57. Toshimitsu Masuzawa, Sebastien Tixeuil: ``A self-stabilizing link-coloring protocol resilient to unbounded byzantine faults in arbitrary networks.''Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS), LNCS 3974, pp.283-298, December 2005
  58. Toshimitsu Masuzawa, Hirotsugu Kakugawa: ``Self-stabilization in spite of frequent changes of networks: Case study of mutual exclusion on dynamic rings.''Proceedings of the 7th International Symposium on Self-Stabilizing Systems (SSS), LNCS 3764, pp.183-197, Octorber 2005
  59. Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Toshimitsu Masuzawa: ``Biologically inspired self-adaptation of mobile agent population.''Proceedings of the 3rd Workshop on Self-adaptive and Autonomic Computing (DEXA International Workshop), pp.170-174, August 2005
  60. Taisuke Izumi, Toshimitsu Masuzawa: ``An improved algorithm for adaptive condition-based consensus.''Proceedings of the 12th Colloquium on Structural Information and Communication Complexity (SIROCCO 2005), LNCS 3499, pp.170-1847, June 2005
  61. Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Toshimitsu Masuzawa: ``Poster Presentation: Self-adaptation of mobile agent population in dynamic networks: a biologically inspired approach.''Proceedings of the 2nd IEEE International Conference on Autonomic Computing (ICAC), pp.374-375, June 2005
  62. Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa: ``A self-stabilizing link-coloring protocol resilient to Byzantine faults in tree networks.''Proceedings of the 8th International Conference on Principles of Distributed Systems (OPODIS), LNCS 354, pp.283-298, December 2004
  63. Taisuke Izumi, Toshimitsu Masuzawa: ``Synchronous condition-based consensus adapting to input-vector legality.''Proceedings of the 18th International Symposium on Distributed Computing (DISC), LNCS 3274, pp.16-29, Octorber 2004
  64. 増田秀夫, 斎藤明紀, 中宮広揮, 増澤利光: ``SNMPを用いた汎用プリント枚数取得システム.''FIT (情報科学技術フォーラム) 2004 情報科学技術レターズ, pp.317-318, September 2004
  65. Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa: ``Timed uniform consensus resilient to crash and timing faults.''Proceedings of the International Conference on Dependable Systems and Networks (DSN), pp.243-252, June 2004
  66. 野口智史, 大下福仁, 増澤利光: ``通信遅延が大きな並列計算環境に対するタスクスケジューリングのためのクラスタリングアルゴリズム.''第2回先進的計算基盤システムシンポジウム論文集 (SACSIS), pp.197-206, May 2004
  67. Taisuke Izumi, Toshimitsu Masuzawa: ``Ant-based approach to mobile agent traversal.''Poster Presentation: Proceedings of the 1st International Workshop on Biologically Inspired Approaches to Advanced Information Technology (Bio-ADIT), LNCS 3141, pp.350-363, January 2004
  68. Tomohiro Nishida, Junichi Yahara, Toshimitsu Masuzawa: ``Development and evaluation of ECAS: A computer simulator with adjustable degree of abstraction based on educational objectives.''Proceedings of the International Conference on Computers in Education (ICCE), pp.954-958, December 2003
  69. 太田範, 桝田秀夫, 斎藤明紀, 増澤利光: ``個人所有の計算機を想定した計算機環境でのモバイルエージェントを用いた教育支援システム.''FIT (情報科学技術フォーラム) 2003 情報技術レターズ, pp.385-386, September 2003
  70. Yoshihiro Nakaminami, Toshimitsu Masuzawa, Ted Herman: ``A method for evaluating efficiency of protocols on the asynchronous shared-state model.''Proceedings of the 6th International Symposium on Self-Stabilizing Systems (SSS), pp.141-153, June 2003
  71. Tomohiro Nishida, Junichi Yahara, Toshimitsu Masuzawa: ``ECAS: A computer simulator that has the adjustable degree of abstraction of the observation according to the educational objectives, and its evaluation.''Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-MEDIA), pp.906-907, June 2003
  72. 桝田秀夫, 斎藤明紀, 増澤利光: ``設定が容易な可搬型の多用途情報コンセントサーバの設計と実装.''分散システム/インターネット運用技術シンポジウム2003論文集, pp.49-54, January 2003
  73. 櫻井佑輔, 浅越悟史, 桝田秀夫, 斎藤明紀, 増澤利光: ``分散管理体制に対応した大規模分散端末システム用遠隔電源管理システム.''FIT (情報科学技術フォーラム) 2002 情報技術レターズ, pp.209-210, September 2002
  74. Daisuke Kondou, Hideo Masuda, Toshimitsu Masuzawa: ``A self-stabilizing protocol for pipelined PIF in tree networks.''Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS), pp.181-190, July 2002
  75. Hiroyuki Nagataki, Nobuki Tokura, Takayuki Nagai, Hideo Masuda, Toshimitsu Masuzawa: ``An interactive lecture support system in a classroom.''Proceedings of the 3rd International Conference on Information Technology Based Higher Education and Training (ITHET), July 2002
  76. Fukuhito Ooshita, Susumu Matsumae, Toshimitsu Masuzawa: ``Efficient gather operation in heterogeneous cluster systems.''Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications (HPCS), pp.196-204, June 2002
  77. Kenichi Yamaguchi, Hiroki Wada, Toshimitsu Masuzawa: ``A BIST based on concurrent single-control testability of RTL data paths.''Proceedings of the 10th Asian Test Symposium (ATS), pp.313-318, November 2001
  78. Ted Herman, Toshimitsu Masuzawa: ``Self-stabilizing agent traversal.''Proceedings of the 5th International Workshop on Self-Stabilizing Systems (WSS), pp.152-166, Octorber 2001
  79. Michiko Inoue, Shinya Umetani, Toshimitsu Masuzawa: ``Adaptive long-lived O(n2)-renaming with O(k2) steps.''Proceedings of the 15th International Symposium on Distributed Computing (DISC), pp.123-135, Octorber 2001
  80. Ted Herman, Toshimitsu Masuzawa: ``Stabilizing replicated search trees.''Proceedings of the 15th International Symposium on Distributed Computing (DISC), pp.315-329, Octorber 2001
  81. Toshimitsu Masuzawa, Minoru Izutsu, Hiroki Wada, Hideo Fujiwara: ``Single-control testability of RTL data paths for BIST.''Proceedings of the 9th Asian Test Symposium (ATS), pp.210-215, December 2000
  82. Xiaowei Li, Toshimitsu Masuzawa, Hideo Fujiwara: ``Strong self-testability for data paths high-level synthesis.''Proceedings of the 9th Asian Test Symposium (ATS), pp.229-234, December 2000
  83. Ted Herman, Toshimitsu Masuzawa: ``A stabilizing search tree with availability properties.''Proceedings of the 5th International Symposium on Autonomous Decentralized Systems (ISADS), pp.398-405, December 2000

Technical Reports

  1. 和田悦朗, 大下福仁, 角川裕次, 増澤利光: ``移動センサの一様充填問題に対する分散解法の提案.''情報処理学会 第73回全国大会, 2011年3月
  2. 植村奈緒子, 大下福仁, 角川裕次, 増澤利光: ``センサネットワークにおけるエネルギー消費の少ないトラッキングアルゴリズム.''情報処理学会 第73回全国大会, 2011年3月
  3. 藤原啓, 長瀧寛之, 大下福仁, 角川裕次, 増澤利光: ``相互学習に対応したUNIXコマンド学習支援システムの構築と評価.''情報処理学会 第73回全国大会, 2011年3月
  4. 藤井太一, 長瀧寛之, 山内由紀子, 大下福仁, 角川裕次, 増澤利光: ``体験的な分散アルゴリズム協調学習を支援するシステムの提案.''情報処理学会研究報告, 2010-CE-10, no.2, 2010年7月
  5. Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Time and space efficient graph exploration by a mobile agent using whiteboard.''電子情報通信学会技術研究報告(COMP2009-58), 109, no.465, pp.57-64, 2010年3月
  6. 高田篤史, 山内由紀子, 大下福仁, 角川裕次, 増澤利光: ``トポロジ変化に対して出力の変化数を最小化する全域木構成分散アルゴリズム.''情報処理学会研究報告, 2010-AL-12, no.3, pp.1-8, 2010年1月
  7. Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Rendezvous of asynchronous mobile agents in trees.''情報処理学会研究報告, 2010-AL-12, no.4, pp.1-8, 2010年1月
  8. 藤原啓, 長瀧寛之, 大下福仁, 角川裕次, 増澤利光: ``アルゴリズム学習向け誤り発見型演習のためのカスタマイズ可能な問題自動生成システム.''電子情報通信学会技術研究報告(ET2009-86), 109, no.335, pp.199-204, 2009年12月
  9. Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Loosely-stabilizing leader election in population protocol model.''情報処理学会研究報告, 2009-AL-12, no.5, pp.1-8, 2009年5月
  10. Rikiya Hasegawa, Wu Yu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Node-density-based resource replication for mobile ad hoc networks.''電子情報通信学会技術研究報告, 2009年3月
  11. 青木志乃, 長瀧寛之, 大下福仁, 角川裕次, 増澤利光: ``複数グループのオンライン議論を同時にサポートする自動助言システムの構築.''情報処理学会研究報告, 2009, no.3, pp.79-84, 2009年1月
  12. 山本拓明, 守屋俊夫, 増澤利光: ``レンジデータを用いた特徴量マッチング高速化のための自己組織化マップの導入.''第26回日本ロボット学会学術講演会, 2008年9月
  13. Fukuhito Ooshita, Tomoko Izumi, Taisuke Izumi: ``An analysis of a generalized multi-organization scheduling on unrelated parallel machines.''電子情報通信学会技術研究報告(COMP2008-32), 2008年9月
  14. 松森雄信, 西川元, 大下福仁, 角川裕次, 増澤利光: ``アドホックネットワークの経路構築における非協調行動の抑制手法について.''電子情報通信学会技術研究報告, 2008年7月
  15. 高橋佑典, 泉泰介, 角川裕次, 増澤利光: ``P2Pシステムにおけるブルームフィルタを利用したトポロジ構築手法の提案.''マルチメディア通信と分散処理研究会 (DPS), 2008年5月
  16. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Timer-based composition technique for self-stabilizing protocols preserbing the fault-containment property.''情報処理学会研究報告 (2008-AL-118), 2008年5月
  17. 小林正幸, 呉エキ, 大下福仁, 角川裕次, 増澤利光: ``モバイルP2Pにおけるレーン構造を用いた資源探索手法.''情報処理学会研究報告(マルチメディア通信と分散処理, 2008-DPS-(), 2008, no.21, pp.219-224, 2008年3月
  18. Wu Yu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Building dynamic random peer-to-peer overlays.''情報処理学会研究報告(マルチメディア通信と分散処理, 2008-DPS-(), 2008, no.21, pp.25-30, 2008年3月
  19. 林昌弘, 長瀧寛之, 大下福仁, 角川裕次, 増澤利光: ``議論活動における調査資料の活用を支援するシステムHAKASEの構築.''情報処理学会研究報告(2008-CE-93 (17)), 2008, no.13, pp.119-126, 2008年2月
  20. 西川元, 鈴木朋子, 大下福仁, 角川裕次, 増澤利光: ``無線LAN環境におけるアトラクター選択を用いた経路選択手法.''情報処理学会研究報告(数理モデル化と問題解決,2007-MPS-67(51), 2007, no.128, pp.231-234, 2007年12月
  21. 角野大輔, 鈴木朋子, 大下福仁, 角川裕次, 増澤利光: ``モバイルアドホックネットワークにおけるGPSを用いたACOルーティング.''情報処理学会研究報告(数理モデル化と問題解決,2007-MPS-67(50), 2007, no.128, pp.227-230, 2007年12月
  22. Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein: ``Emulation of ring protocols on trees preserving fault-containment.''電子情報通信学会技術研究報告(COMP2006-52), 2007年5月
  23. 西川元, 山内由紀子, 大下福仁, 角川裕次, 増澤利光: ``トポロジ変化の影響を抑えたモバイルアドホックネットワーク向け自己安定相互排除プロトコル.''情報処理学会研究報告(2007-DPS-130), 2007, no.16, pp.177-182, 2007年3月
  24. 森川雅和, 鈴木朋子, 大下福仁, 角川裕次, 増澤利光: ``領域被覆のためのセンサネットワークアルゴリズム.''情報処理学会研究報告(2006-DPS-130), 2007, no.16, pp.357-362, 2007年3月
  25. 古川正広, 鈴木朋子, 大下福仁, 角川裕次, 増澤利光: ``類似実行に基づく耐故障分散アルゴリズム理解支援システムの提案.''情報処理学会研究報告(2007-MPS-63), 2007, no.19, pp.37-49, 2007年3月
  26. Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``Move complexity of gossiping among mobile agents.''電子情報通信学会技術研究報告(COMP2006-54), 106, no.566, pp.29-36, 2007年3月
  27. 伊藤亮太, 長瀧寛之, 大下福仁, 角川裕次, 増澤利光: ``アルゴリズム学習における誤りからの学習を実現する演習課題の自動生成手法.''電子情報通信学会技術研究報告(ET2006-97), 106, no.507, pp.81-86, 2007年1月
  28. 乾広二, 鈴木朋子, 大下福仁, 角川裕次, 増澤利光: ``分散ハッシュテーブルChordにおける故障耐性向上のための経路の多重化手法.''電子情報通信学会技術研究報告(NS2006-146), 106, no.418, pp.39-44, 2006年12月
  29. 高橋佑典, 泉泰介, 増澤利光: ``P2P ネットワークにおける決定性減衰型ブルームフィルタの提案と検索効率の評価.''電子情報通信学会技術研究報告, NS2006-133(奨励講演), pp.55-60, 2006年11月
  30. 高橋佑典, 泉泰介, 増澤利光: ``P2P ネットワークにおけるブルームフィルタを利用したインデックス情報散布法の改良.''電子情報通信学会技術研究報告(NS2006-21), pp.1-4, 2006年5月
  31. Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Tosimitsu Masuzawa: ``An adaptive searching protocol in Peer-to-peer systems based on Probabilistic Weak Quorum System.''情報処理学会研究報 告(2005-AL-123), 2006, no.30, pp.41-48, 2006年3月
  32. 片山喜章, 増澤利光, 和田幸一: ``根付き木ネットワーク上において局所情報のみで負荷分散を実現する自己安定アルゴリズムについて.''情報処理学会研究報告(2005-AL-103), pp.35-40, 2005年11月
  33. 原口高裕, 泉泰介, 角川裕次, 増澤利光: ``分散データ構造スキップグラフの探索頻度偏りを考慮した拡張について.''情報処理学会研究報告(2006-AL-105), pp.33-40, 2005年11月
  34. Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa: ``A biologically inspired approach to replica control in dynamic networks.''情報処理学会研究報告(2005-AL- 102), 2005, no.91, pp.51-58, 2005年9月
  35. Taisuke Izumi, Toshimitsu Masuzawa: ``A weakly-adaptive condition-based consensus algorithm in asynchronous distributed systems.''電子情報通信学会研究報告(COMP2005-34), pp.43-48, 2005年9月
  36. 山内由紀子, 中南良浩, 大下福仁, 増澤利光: ``無線ネットワークにおける距離2の彩色を利用したTDMAスケジュール手法.''情報処理学会研究報告(2005-DPS-123), 2005, no.58, pp.69-74, 2005年6月
  37. Taisuke Izumi, Toshimitsu Masuzawa: ``On solvability of one-step consensus.''電子情報通信学会研究報告(DC2005-8), pp.7-12, 2005年6月
  38. 桝田秀夫, 木村洋介, 大下福仁, 齊藤明紀, 増澤利光: ``FDBを用いた接続ポート固有のIPアドレスリースが可能なDHCPサーバの設計と実装.''電子情報通信学会技術研究報告(2005-DSM-37), 2005, no.39, pp.41-46, 2005年5月
  39. 添田祐司, 泉泰介, 増澤利光: ``分散環境における順位つき資源への部分探索法の提案.''情報処理学会研究報告(2005-DPS-122), pp.181-186, 2005年3月
  40. 鈴木朋子, 泉泰介, 大下福仁, 増澤利光: ``動的ネットワークにおける生態系パラダイムに基づくモバイルエージェント数制御.''情報処理学会研究報告(2004-MPS-52), 2004, no.130, pp.65-68, 2004年12月