計算量理論の秋学校
| 開催日時 | 2013年 9月24日（火）～ 9月26日（木） |
|---|---|
| 開催場所 | 文化軽井沢山荘 |
- 「連続系の計算量」河村 彰星（東大）
- 「最適化手法と計算限界解析：双対性と整数性」神山 直之（九大）
- 「ZDDに基づくグラフ要素列挙と、配電網最適化への応用」津田 宏治（産総研）
- 「量子計算の基礎とInstantaneous Quantum Polynomial time」森前 智行（群馬大）
| プログラム | ||
|---|---|---|
| 9月24日 | [14:00-15:00] ZDDに基づくグラフ要素列挙と、配電網最適化への応用 (1) 講義資料 |
津田 宏治 （産総研） |
| [15:20-16:20] 量子計算の基礎とInstantaneous Quantum Polynomial time (1) 講義資料 |
森前 智行 （群馬大） |
|
| [16:40-17:40] 最適化手法と計算限界解析：双対性と整数性 (1) 講義資料 |
神山 直之 （九大） |
|
| 9月25日 | [09:00-10:30] 連続系の計算量 (1) 講義資料 |
河村 彰星 （東大） |
| [10:50-11:50] ZDDに基づくグラフ要素列挙と、配電網最適化への応用 (2) 講義資料 |
津田 宏治 （産総研） |
|
| [14:00-15:00] 量子計算の基礎とInstantaneous Quantum Polynomial time (2) 講義資料（(1)に同じ） |
森前 智行 （群馬大） |
|
| [15:20-16:20] 最適化手法と計算限界解析：双対性と整数性 (2) 講義資料（(1)に同じ） |
神山 直之 （九大） |
|
| [16:40-17:40] 連続系の計算量 (2) 講義資料（(1)に同じ） |
河村 彰星 （東大） |
|
| 9月26日 | [09:30-12:00] 自由討論 |
|