日時：2013年6月12日（水曜日）　13:00--16:55

場所：京都大学 総合研究8号館 NSホール [地図の59番の建物]

プログラム：

13:00--13:05　開会の挨拶（代表者：加藤 直樹（京大））
13:05--13:45　渡辺 治（東工大）
　　　　　　　　「計算限界解明への挑戦：Ｐ＝ＮＰの世界を目指して」
13:45--14:25　湊 真一（北大, ERATO）
　　　　　　　　「BDD/ZDDを基盤とする離散構造処理系の最近の研究と今後の展開」
14:25--15:05　河原林 健一（NII, ERATO）
　　　　　　　　「巨大グラフの解析とアルゴリズム」
15:05--15:30　休憩
15:30--16:10　徳山 豪（東北大）
　　　　　　　　「データの圧縮と構造化：理論革新とその未来」
16:10--16:50　岡田 真人（東大）
　　　　　　　　「スパースモデリングとデータ駆動科学」
16:50--16:55　閉会の挨拶（加藤 直樹）

-> [top page]