6月24日(月) 午前  10:00 - 16:20
(1)	10:00-10:35	Morpion Solitaire: a new upper bound 121 of the maximum score COMP2013-19	Akitoshi Kawamura（Univ. of Tokyo）・○Takuma Okamoto・Yuichi Tatsu・Yushi Uno・Masahide Yamato（Osaka Prefecture Univ.）
(2)	10:35-11:10	Shortest Path Queries by Labeling for Paths with Pruning in Road Networks COMP2013-20	○Yuki Kawata・Takuya Akiba・Yoichi Iwata（Univ. of Tokyo）
(3)	11:10-11:45	Bethe Approximation, Loop Series and Partition Function Zeros COMP2013-21	○Ryuhei Mori（Tokyo Inst. of Tech.）
	11:45-13:20	休憩　（ 95分 ）
(4)	13:20-14:50	［チュートリアル講演］計算複雑さへの招待（3）：数理計画法から攻める計算限界 COMP2013-22	○上野賢哉（京大）
	14:50-15:10	休憩　（ 20分 ）
(5)	15:10-15:45	単調論理関数双対化を用いたパラメトリック整数計画アルゴリズムについて COMP2013-23	夫　紀恵（NII）・○渋田敬史（九大）
(6)	15:45-16:20	Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete COMP2013-24	Hirotada Kobayashi（NII）・Francois Le Gall（Univ. of Tokyo）・○Harumichi Nishimura（Nagoya Univ.）

問合先と今後の予定
COMP	コンピュテーション研究会（COMP）   [今後の予定はこちら]
	問合先	河村 彰星 〒113-8656 東京都文京区本郷七丁目３－１ 東京大学大学院情報理工学系研究科コンピュータ科学専攻 Email: issu-

Last modified: 2013-04-15 22:07:34