研究業績

2015年

論文誌

• "フィジカル・インタラクションを使ったプログラミング学習のための教材開発と実践"
  有賀 妙子, 森 公一, 大下 福仁, 角川 裕次, 増澤 利光
  情報処理学会論文誌 教育とコンピュータ (TCE) 1, 4, 12-20 (2015).

  • URL
• "A Single Agent Exploration in Unknown Undirected Graphs with Whiteboards"
  Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E98.A, 10, 2117-2128 (2015).

  • DOI: 10.1587/transfun.E98.A.2117
• "Maximum Metric Spanning Tree Made Byzantine Tolerant"
  Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
  Algorithmica 73, 1, 166-201 (2015).

  • URL
  • DOI: 10.1007/s00453-014-9913-5
• "Fast and compact self-stabilizing verification, computation, and fault detection of an MST"
  Amos Korman, Shay Kutten, Toshimitsu Masuzawa
  Distributed Computing 28, 4, 253-295 (2015).

  • URL
  • DOI: 10.1007/s00446-015-0242-y
• "A Distributed and Cooperative NameNode Cluster for a Highly-Available Hadoop Distributed File System"
  Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
  IEICE Transactions on Information and Systems E98.D, 4, 835-851 (2015).

  • DOI: 10.1587/transinf.2014EDP7258
• "Pseudo Polynomial Time Algorithms for Optimal Longcut Route Selection"
  Yuichi Sudo, Toshimitsu Masuzawa, Gen Motoyoshi, Tutomu Murase
  IEICE Transactions on Information and Systems E98.D, 3, 607-616 (2015).

  • DOI: https://doi.org/10.1587/transinf.2014EDP7278

国際会議

• "Loosely-stabilizing leader election on arbitrary graphs in population protocols without identifiers nor random Numbers"
  Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  International Conference on Principles of Distributed Systems (OPODIS) 46, 1-16 (2015).

  • DOI: 10.4230/LIPIcs.OPODIS.2015.14
• "An algorithm for partial gathering of mobile agents in arbitrary networks"
  Masahiro Shibata, Daisuke Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  Workshop on Distributed Robotic Swarms (WDRS), 49-58 (2015).
• "Constant Space Self-Stabilizing Center Finding in Anonymous Tree Networks"
  Ajoy K. Datta, Lawrence L. Larmore, Toshimitsu Masuzawa
  International Conference on Distributed Computing and Networking (ICDCN), 38, 1-10 (2015).

  • DOI: 10.1145/2684464.2684466

国内会議・研究会

• "st-orderingを利用した(1, 1)-極大DAG構成自己安定アルゴリズムについて"
  大野 陽香, 片山 喜章, 増澤 利光
  電子情報通信学会 技術研究報告. COMP, コンピュテーション 115, 84, 115-122 (2015).

  • URL