日程: | 平成25年3月1日 (金) |
---|---|
会場: | 飯能温泉伊勢谷 |
住所: | 福島県福島市飯坂町西堀切22 |
交通案内: | 会場へのアクセス案内 http://www.iizaka-iseya.co.jp/html/access2.htm 宿泊申し込みは sig-al-kanji@nii.ac.jp まで、名前・日程・相部屋の可/不可を加えて下さい。 |
現地世話人: | 宇野 毅明 先生(国立情報学研究所) |
発表番号 | 時間 | 題目 | 著者 (○は発表者)など |
---|---|---|---|
143-1 | 9:00-9:25 | Algorithm for the Minimum Caterpillar Problem with Terminals | ○岡田 卓, 鈴木 顕, 伊藤 健洋, 周 暁 (東北大学) |
143-2 | 9:25-9:50 | 共通座標系を有するファットロボットのグリッド上での集合について | ○伊藤 公一, 片山 喜章 (名古屋工業大学大学院工学研究科情報工学専攻), 和田 幸一(法政大学理工学部応用情報工学科) |
143-3 | 9:50-10:15 | 施設配置ゲームにおける仁とシャープレイ値の計算について | ○並河 雄紀 (北陸先端科学技術大学院大学), 岡本 吉央 (電気通信大学), 大舘 陽太 (北陸先端科学技術大学院大学) |
休憩 (15分) | |||
143-4 | 10:30-10:55 | A New Compact Encoding of Rectangular Drawings | ○斎川 勇人, 中野 眞一 (群馬大学) |
143-5 | 10:55-11:20 | 順列二分決定グラフを用いたパターン回避順列の列挙索引化 | ○井上 祐馬, 戸田 貴久, 湊 真一 (北海道大学 大学院 情報科学研究科 / JST ERATO 湊離散構造処理系プロジェクト) |
143-6 | 11:20-11:45 |
超辺の縮約を許した非巡回部分超グラフの効率よい列挙 |
○和佐 州洋 (北海道大学), 有村 博紀 (北海道大学), 宇野 毅明 (国立情報学研究所), 平田 耕一 (九州工業大学) |
昼食 (90分) |
|||
143-7 | 13:15-14:15 | 招待講演 : 準同型性暗号による秘密計算 | 佐久間 淳 先生 (筑波大学) |
休憩 (15分) |
|||
143-8 |
14:15-14:40 |
最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ |
○岩下 洋哲 (科学技術振興機構 / 北海道大学), 中澤 吉男 (アマチュアプログラマー), 川原 純 (奈良先端科学技術大学院大学), 宇野 毅明 (国立情報学研究所), 湊 真一 (北海道大学 / 科学技術振興機構) |
143-9 |
14:40-15:05 |
Parametric Power Supply Networks |
○森下 志保, 西関 隆夫 (関西学院大学) |
143-10 | 15:05-15:30 |
直並列グラフの全域配送木 |
○川端 真生, 西関 隆夫 (関西学院大学) |
143-11 |
15:30-15:55 |
k-interaction population protocol leader election |
○徐 暁光 (九州大学), 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学大学院システム情報科学研究院) |
休憩 (15分) | |||
143-12 |
16:10-16:35 |
一般のネットワーク上の移動ビザンチン合意問題について |
○佐々木 徹 (九州大学工学部電気情報工学科), 山内 由紀子, 来嶋 秀治, 山下 雅史 (九州大学大学院システム情報科学研究院) |
143-13 | 16:35-17:00 |
ドロネー三角系を利用した単眼車載カメラの映像からの障害物検知法 |
○長井 歩, 太田 直哉 (群馬大学) |
143-14 |
17:00-17:25 |
木の最小コスト点彩色の列挙と一意性 |
○木坂 健人 (東海大学大学院), 松井 泰子 (東海大学) |
143-15 |
17:25-17:50 |
Algorithm to Generate All Connected Simple Graphs of Given Order |
○松井 鉄史, 宇野 毅明 (国立情報学研究所) |