第二回計算量理論若手の会ワークショッププログラム

共催:グローバルCOE 計算世界観の深化と展開


3月22日

13:30 - 15:00上野 賢哉(京大)「下界証明のための劣加法性とエントロピー理論」
15:00 - 15:30神山 直之(中央大)「Ueno (MFCS'10) に関する一考察」
15:30 - 17:00脊戸 和寿(京大)「Branching Programを用いた領域計算量」


3月23日

9:00 - 10:30内澤 啓(東北大)「線形決定木の下界としきい値回路のエネルギー複雑度」
10:30 - 12:00安永 憲司(東工大)「なまけもの暗号」
12:00 - 13:30昼食
13:30 - 15:00田中 秀宗(東工大)「Randomness buys depth for approximate counting の紹介」
15:00 - 16:30玉置 卓(京大)「単調k-CNF論理式の双対化」


3月24日

10:30 - 12:00河内 亮周 (東工大)「相対化の壁の向こう側 -- 限定非決定性とクラスNPの回路計算量の超線形下界 --」