| 日程： | 平成18年1月20日(金) |
|---|---|
| 会場： | 慶應義塾大学矢上キャンパス 14号棟 (創想館) 202号室 (現地世話人: 田村明久先生 aki-tamura @ math . keio . ac . jp) |
なお, 今回は運営委員会も予定しております.
| 時間 | 題目 | 著者 (○は発表者) |
|---|---|---|
| 午前 [10:30-11:45] | ||
| 104-1 | 平面上の2種点集合の平衡分割 | 宇野美由紀 (茨城大学) |
| 104-2 | Voronoi game on graphs and its complexity | ○Sachio Teramoto, Ryuhei Ueraha (JAIST) |
| 104-3 | Sweeping simple polygons with the minimum number of chain guards | ○Xuehou Tan (Tokai University) |
| 昼食 [11:45-13:00]運営委員会を開催いたします | ||
| 午後1 [13:00-14:00] | ||
| 104-4 | [招待講演] | 田村明久 先生 (慶應義塾大学) |
| 休憩 [14:00-14:15] | ||
| 午後2 [14:15-15:30] | ||
| 104-5 | 整数分割の列挙 | ○山中克久 (群馬大), 川野晋一郎 (群馬大), 菊地洋右 (ERATO QCI Project, JST), 中野眞一 (群馬大) |
| 104-6 | 木ネットワーク上でのトークン巡回故障封じ込め自己安定プロトコル | ○中村友貴, 片山喜章, 高橋直久 (名古屋工業大学) |
| 104-7 | 一般化灰色分析への一提案 | ○山口大輔 (神奈川大), 李 国棟 (帝京大), 水谷晃三 (帝京大), 赤羽根隆広 (帝京大), 永井正武 (神奈川大), 北岡正敏 (神奈川大) |
| 休憩 [15:30-15:45] | ||
| 午後3 [15:45-17:10] | ||
| 104-8 | OBDDを用いたnon-exhaustiveなSAT Solver | ○加藤大志朗 (香川大) |
| 104-9 | ε-推移を許したある決定性プッシュダウン変換器対の等価性判定アルゴリズム | ○清野和司 (東芝ソリューション/電通大), 富田悦次 (電通大), 若月光夫 (電通大) |
| 104-10 | Experimental Evaluation of Minimum Cost Flow Algorithms | ○慶祐俊文, 高藤大介, 田岡智志, 渡邉敏正 (広島大) |