今日,分散計算が対象とする情報システムや課題は多岐にわたり, 多角的な視点からの問題抽出,斬新なアプローチ, 正当性や性能保証の背景となる数学・情報学・物理学の技術が必要とされている. この20年ほどで新たな分散計算モデル,それに伴う未解決問題が多数出現しており, 理論的な技術基盤の必要性は高まっている.
本ワークショップでは,若手研究者を中心に未解決問題に取り組むことで, 新たな手法や知見を獲得し,分散計算研究の進展に寄与すること, 国内の研究者の交流・共同研究を促進することを目指す.
スケジュール
2020年1月28日(火)
9:00-11:00 未解決問題紹介
11:00-12:00 ディスカッション
12:00-13:00 昼休憩
13:00-16:00 ディスカッション
16:00-17:00 意見交換
19:00- 懇親会
2020年1月29日(水)
9:00-12:00 ディスカッション
12:00-13:00 昼休憩
13:00-16:00 ディスカッション
16:00-17:00 意見交換,クロージング
会場施設
- プロジェクター
- ホワイトボード
- ノート,マジック,マグネット
参加者
- 井本 宗一郎 (大阪大学)
- 大下 福仁 (奈良先端科学技術大学院大学)
- 亀井 清華 (広島大学)
- 北村 直暉 (名古屋工業大学)
- 金 鎔煥 (名古屋工業大学)
- 五島 剛 (大阪大学)
- 首藤 裕一 (大阪大学)
- 中村 純哉 (豊橋技術科学大学)
- 安見 嘉人 (奈良先端科学技術大学院大学)
- 河村 彰星 (九州大学)
- 山内 由紀子 (九州大学)
成果
- Yuichi Sudo, Fukuhito Ooshita, and Sayaka Kamei, ``Self-stabilizing Graph Exploration by a Single Agent,'' arXiv: 2010.08929.
- Junya Nakamura, Sayaka Kamei and Yukiko Yamauchi, ``Evacuation from a Finite 2D Square Grid Field by a Metamorphic Robotic System,'' The 8th International Symposium on Computing and Networking (CANDAR 2020). (Outstanding paper award)