|
日 程 ： 平成20年12月3日（水）
会 場 ： 群馬大学 伊香保研修所
（群馬県渋川市伊香保町伊香保14-1）
交通案内： 伊香保バスターミナルから徒歩５分 (渋川、新宿からバス)。詳細は、下記を参照。
http://www.cs.gunma-u.ac.jp/￣nakano/Ikaho0812/
現地世話人： 情報工学科 中野眞一 先生
議 題 ：
（1）09:30-10:05
A lower bound for tree-width of Cartesian product graphs
Kyohei Kozawa・○Yota Otachi・Koichi Yamazaki（Gunma Univ.）
（2）10:05-10:40
Game Theoretic Analysis of Malicious Faults Which are Undetectable by Local Checks
○Jun Kiniwa・Kensaku Kikuta（Univ. Hyogo）
10:40-10:55 休憩 （ 15分 ）
（3）10:55-11:30
正六角盤面上のあるペンタヘックスに対するアチーブメントゲームの先手必勝法
○野原勇基・松浦昭洋（東京電大）
（4）11:30-12:05
A Simple Generation of Multi-dimensional Partitions
Yosuke Kikuchi（Tsuyama National Coll. Tech.）・○Katsuhisa Yamanaka（UEC）
Shin-ichi Nakano（Gunma Univ.）
12:05-13:20 昼食 （ 75分 ）
（5）13:20-14:20
［招待講演］部分グラフ同型性判定の回路計算量について
○天野一幸（群馬大）
14:20-14:35 休憩 （ 15分 ）
（6）14:35-15:10
Improved Formula Size Lower Bounds for Monotone Self-Dual Boolean Functions
○Kenya Ueno（Univ. of Tokyo）
（7）15:10-15:45
A 4-competitive strategy for exploring unknown polygons
○Xuehou Tan（Tokai Univ.）
15:45-16:00 休憩 （ 15分 ）
（8）16:00-17:00
［招待講演］FOCS 2008 報告
○堀山貴史（埼玉大）
|