| 日程： | 平成22年1月26日 (火) |
|---|---|
| 会場： | 九州大学西新プラザ |
| 住所： | 〒814-0002 福岡県 名古屋市 福岡市早良区西新2-16-23 |
| 交通案内： | 会場へのアクセス 会場へのアクセスは以下の URL をご参照下さい。 http://www.kyushu-u.ac.jp/university/institution-use/nishijin/infomap.htm |
| 現地世話人： | 小野 廣隆 先生(九州大学) |
※
| 発表番号 | 時間 | 題目 | 著者 (○は発表者)など |
|---|---|---|---|
| 128-1 | 9:30 - 10:00 | 高頻度なフレーズの検索が高速な索引 | ○田中 洋輔, 小野 廣隆 (九大), 定兼 邦彦 (国立情報学研究所), 山下 雅史 (九大) |
| 128-2 | 10:00 - 10:30 | Adaptive One-Step Byzantine Consensus | ○Nazreen Banu, 泉 泰介, 和田 幸一 (名工大) |
| 128-3 | 10:30 - 11:00 | トポロジ変化に対して出力の変化数を最小化する全域木構成分散アルゴリズム | ○高田 篤史 (阪大), 山内 由紀子 (奈良先端大), 大下 福仁, 角川 裕次, 増澤 利光 (阪大) |
| 128-4 | 11:00 - 11:30 | Rendezvous of Asynchronous Mobile Agents in Trees | ○Daisuke Baba (Osaka Univ.), Tomoko Izumi (Ritsumeikan Univ.), Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa (Osaka Univ.) |
| 128-5 | 13:00 - 13:30 | Verification Procedures of Assisted Proofs by One-Way Finite Automata | ○Tomoyuki Yamakami (U. Fukui) |
| 128-6 | 13:30 - 14:00 | 集合基底問題の正規基底を求めるヒューリスティックアルゴリズム | ○大月 英明 (南山大学), 平田 富夫 (名古屋大学) |
| 128-7 | 14:00 - 14:30 | Online Knapsack Problems with Limited Cuts | ○Han Xin, 牧野 和久 (東京大学) |
| 128-8 | 14:30 - 15:00 | A Flexible User-centric Resource Scheduling Algorithm | ○趙 来平, 櫻井 幸一 (九州大学) |
| 128-9 | 15:15 - 15:30 | Balanced $(C_5,C_{14})$-$2t$-Foil Decomposition Algorithm of Complete Graphs (ショートトーク) | ○潮 和彦 (近畿大・理工) |
| 128-10 | 15:30 - 16:00 | A simple and faster algorithm for finding a maximum clique | ○富田 悦次, 須谷 洋一, 東 貴紀, 高橋 信也, 若月 光夫 (電通大) |
| 128-11 | 16:00 - 16:15 | オイラー回帰長問題の近似不可能性の証明 (ショートトーク) | ○森 和樹, 神保 秀司 (岡山大学工学部) |
| 128-12 | 16:15 - 16:45 | 非公開データベース間における機密性の高い情報共有の検討 | ○隅 崇佳, 上土井 陽子, 若林 真一 (広島市立大学大学院) |