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

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


8月31日

14:00-15:00 内澤 啓(東北大) 数え上げ問題の帰着について
15:00-16:00 河内 亮周(東工大) ハードコア述語に対するブラックボックス帰着の限界


9月1日

10:00-11:00 上野 賢哉(京都大) 論理関数の分解理論
11:00-12:00 玉置 卓(京都大) (Circuit) SATのアルゴリズム
12:00-13:00 昼食
13:00-14:00 安永 憲司(東工大) なまけもの暗号
14:00-15:00 神山 直之(中央大) 最小有向木問題における双対性
15:00-16:00 田中 秀宗(東工大) Randomness buys depth for approximate counting の紹介


9月2日

10:00-11:00 長尾 篤樹(京都大) Branching Programを用いてのTree Evaluation Problemの下界の解析
11:00-12:00 脊戸 和寿(京都大) Open Problems on Restricted Computational Models