2014年度第一回領域会議

場所：　 東京工業大学キャンパスイノベーションセンター 
         http://www.cictokyo.jp/access.html
日時：  5月23日，24日            　　　 領域会議: 1階 国際会議室
                                　　　総括班会議: 4階 404号室
                                　　　ポスターセッション: 1階 国際会議室


５月２３日　

１３：００－１３：１０　　　　　　事務局連絡
１３：１０－１３：４０　　　　　　公募班１
１３：４０－１４：１０　　　　　　公募班２

１４：１０－１４：３０　　　　　　休憩

１４：３０－１５：００　　　　　　公募班３
１５：００－１５：３０　　　　　　公募班４

１５：３０－１５：５０　　　　　　休憩

１５：５０－１６：３０　　　　　　本年度の計画について
１６：３０－１８：００　　　　　　ポスターセッション


５月２４日

９：３０－１１：００　　　　　　　ポスターセッション

１１：００－１１：３０　　　　　　公募班５
１１：３０－１２：００　　　　　　公募班６

１２：００－１３：３０　　　　　　お昼休み　総括班会議
　
１３：３０－１４：００　　　　　　公募班７
１４：００－１４：３０　　　　　　公募班８
１４：３０－１５：００　　　　　　公募班９

１５：００－１５：２０　　　　　　休憩

１５：２０－１６：２０　　　　　　中間評価に向けて
１６：２０－１６：３０　　　　　　事務局連絡


公募班１： 形式論理のプロパティー検査と発見による計算限界の解析
Skip Jordan (北海道大学)

公募班２： 離散最適化に対する固定パラメータアルゴリズム設計によるパラメータ化計算複雑さ解明
宇野 裕之 (大阪府立大学)

公募班３： 計算構造制限下での暗号技術の限界解明
安永 憲司 (金沢大学)

公募班４： 分散計算複雑性の理論：最悪時評価を超えて
泉 泰介 (名古屋工業大学)

公募班５： 離散凸解析に基づく劣モジュラ最適化問題の計算限界の解明
塩浦 昭義 (東北大学)

公募班６： 線形相補性問題の計算限界への挑戦
森山 園子 (東北大学)

公募班７： 列挙的なアプローチによる計算限界解明
山中 克久 (岩手大学)

公募班８： 解空間の直径に基づく計算限界解析アプローチの構築
伊藤 健洋 (東北大学)

公募班９： 統計力学的アプローチによる機械学習の計算限界解明アルゴリズム開発
永田 賢二 (東京大学)