テラ・スケール分散システムの設計と理解のための基礎理論

2011 年度 研究成果報告書

• 研究課題/領域番号: 21650002
• 研究種目: 挑戦的萌芽研究
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 九州大学
• 研究代表者: 山下 雅史 九州大学, 大学院・システム情報科学研究院, 教授 (00135419)
• 連携研究者: 来嶋 秀治 九州大学, 大学院・システム情報学研究院, 准教授 (70452307) ; 山内 由紀子 九州大学, 大学院・システム情報学研究院助教, 助教 (10546518) ; 小野 廣隆 九州大学, 大学院・経済学研究院, 准教授 (00346826)
• 研究期間 (年度): 2009 – 2011
• キーワード: 分散計算モデル / 分散ロボット / 匿名性 / 無記憶性 / 自己組織化 / 自己安定性

研究概要

分子計算からセンサーネットワークに至る様々な分散システムの抽象的モデルとして自律分散ロボットモデルを位置づけ、分散ロボットの幾何的パターン形成問題を主に検討した。この問題は、ロボットに自己組織性と自己安定性を付与する問題である。特に、ロボット問の同期の程度と形成可能なパターンの複雑さの関係を中心に検討し、「主な発表論文」欄に示す結果を得た。

研究成果

• [雑誌論文] The gathering problem for two oblivious robots with unreliable compasses (2012)
  • 著者名/発表者名: Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Defago, Koichi Wada, and Masafumi Yamashita
  • 雑誌名: Siam Journal of Computing 巻: 41 ページ: 26-46
  • 査読あり
• [雑誌論文] The hitting and cover times of Metr opolis walks (2010)
  • 著者名/発表者名: Yoshiaki Nonaka, Hirotaka Ono, Kunih iko Sadakane, and Masafumi Yamashita
  • 雑誌名: Theoretical Computer S cience 巻: 411 ページ: 16-18, 1889-1894
  • 査読あり
• [雑誌論文] Patter n formation through optimum matching by CORDA oblivious robots (2010)
  • 著者名/発表者名: Nao Fujinaga, Hirotaka Ono, Shuji Ki jima, and Masafumi Yamashita
  • 雑誌名: Lecture Notes in Computer Science 巻: 6490 ページ: 1-15
  • 査読あり
• [雑誌論文] Suzuki, Characte rizing Geometric Patterns Formable by Oblivious Anonymous Mobile Robots (2010)
  • 著者名/発表者名: M. Yamashita and I.
  • 雑誌名: Theoretical Computer Science 巻: 411(26-28) ページ: 2433-2453
  • 査読あり
• [雑誌論文] The Space Complexity of Leader Election in An onymous Networks, Int. J. Found (2010)
  • 著者名/発表者名: Ei Ando, Hirotaka Ono, Kunihiko, Sad akane, Masafumi Yamashita
  • 雑誌名: Com put. Sci 巻: 21(3) ページ: 427-440
  • 査読あり
• [学会発表] The power of light s : Synchronizing asynchronous robots using visible bits (2012)
  • 著者名/発表者名: Shantanu Das, Paola Flocchini, Giuse ppe Prencipe, Nicola Santoro, and Ma safumi Yamashita
  • 学会等名: The 32nd Interna tional Conference on Distributed Com puting Systems
  • 発表場所: Ven etian Macao-Resort Hotel, China
  • 年月日: 2012-06-20
• [学会発表] 変化するグラフ上でのメトロポリスウォークの到達時間と全訪問時間 (2012)
  • 著者名/発表者名: 木場孝輔,山内由紀子,来嶋秀治,山下雅史
  • 学会等名: 第139回アルゴリズム研究会
  • 発表場所: 信州大学
  • 年月日: 2012-03-14
• [学会発表] ランダムグラフ上の多重ランダムウォークの全訪問時間 (2012)
  • 著者名/発表者名: 穂坂祐輔,山内由紀子,来嶋秀治,小野廣隆,山下雅史
  • 学会等名: 2011年度冬のLAシンポジウム
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2012-02-01
• [学会発表] 非同期分散ロボットによるパターン形成問題について (2012)
  • 著者名/発表者名: 藤永直
  • 学会等名: 2011年度冬のLAシンポジウム
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2012-02-01
• [学会発表] ストリーム中の頻出アイテム発見に対するO(log log N)領域乱択アルゴリズム (2012)
  • 著者名/発表者名: 緒方正虎,山内由紀子,来嶋秀治,山下雅史'
  • 学会等名: 2011年度冬のLAシンポジウム
  • 発表場所: 京都大学数理解析研究所
  • 年月日: 2012-01-30
• [学会発表] 多種ランダムウォークの全訪問時間の上下界 (2012)
  • 著者名/発表者名: 穂坂祐輔,来嶋秀治,小野廣隆,山下雅史
  • 学会等名: 第138回アルゴリズム研究会
  • 発表場所: 流通科学大学
  • 年月日: 2012-01-28
• [学会発表] Probabilistic se lf-stabilization and random walks (2011)
  • 著者名/発表者名: Masafumi Yamashita
  • 学会等名: The 2nd International Conference on Ne tworking and Computing
  • 発表場所: 大阪大学
  • 年月日: 2011-12-01
• [学会発表] 非同期ロボットによる最適マッチングを用いたパターン形成アルゴリズム (2011)
  • 著者名/発表者名: 来嶋秀治
  • 学会等名: 第135回アルゴリズム研究会
  • 発表場所: 秋田大学
  • 年月日: 2011-05-16
• [学会発表] 不完全情報重大ゲームの近似的ナッシュ遷移の収束性 (2010)
  • 著者名/発表者名: 山田陽介,来嶋秀治,山下雅史
  • 学会等名: FIT2010 第9回情報科学技術フォーラム
  • 発表場所: 九州大学
  • 年月日: 2010-09-09
• [学会発表] 接尾辞木に対する二分木化と簡潔データ構造による圧縮 (2010)
  • 著者名/発表者名: 馬場雅大,小野廣隆,定兼邦彦,山下雅史
  • 学会等名: FIT2010 第9回情報技術フォーラム
  • 発表場所: 九州大学
  • 年月日: 2010-09-08
• [学会発表] 圧縮された接尾辞配列を用いた近似文字列照合 (2010)
  • 著者名/発表者名: 田中洋輔,小野廣隆,定兼邦彦,山下雅史
  • 学会等名: FIT2010 第9回情報技術フォーラム
  • 発表場所: 九州大学
  • 年月日: 2010-09-08
• [学会発表] 木上のランダムウォーク高速化の可能性 (2010)
  • 著者名/発表者名: 野中良哲,小野廣隆,来嶋秀治,山下雅史
  • 学会等名: 2010年度 夏のLAシンポジウム
  • 発表場所: 九殿浜温泉ひみのはな(氷見市)
  • 年月日: 2010-07-21
• [学会発表] 多種β-ランダムウォークの全訪問時間について (2010)
  • 著者名/発表者名: 穂坂祐輔,来嶋秀治,山下雅史
  • 学会等名: 2010年度 夏のLAシンポジウム
  • 発表場所: 九殿浜温泉ひみのはな(氷見市)
  • 年月日: 2010-07-21
• [学会発表] ある種の不完全情報渋滞ゲームの近似的ナッシュ遷移の収束性 (2010)
  • 著者名/発表者名: 山田陽介,小野廣隆,来嶋秀治,山下雅史
  • 学会等名: 2010年度 夏のLAシンポジウム
  • 発表場所: 九殿浜温泉ひみのはな(氷見市)
  • 年月日: 2010-07-20
• [学会発表] Pattern Formation by Asynchronous Anonymous Oblivious Mobile Robots (2010)
  • 著者名/発表者名: Nao Fujinaga, Hirotaka Ono and Masafumi Yamashita
  • 学会等名: AAAC 2010
  • 発表場所: 浦項科学技術大学(韓国)
  • 年月日: 2010-04-17
• [図書] Structural Information and Communication Complexity 18th Internation Colloquium, SIROCCO 2011 (2011)
  • 著者名/発表者名: Adrian Kosowski, and Masafumi Yamash ita
  • 総ページ数: 328
  • 出版者: Proceeding Springer