新学術領域 「計算限界解明」シンポジウム
本領域の成果発表会「新学術領域「計算限界解明」シンポジウム」につい
て，ご案内申し上げます．多くの方々のご理解とご支援のお陰で，本領域
をスタートすることができました．キックオフを兼ねた2013年3月の ELC
Tokyo Complexity Workshop では海外からの招待講演者を含め多数の研究
者が集まり，研究の方向性を熱く議論しました．その成果をふまえ，さら
に数多くのワークショップ，セミナーを重ねる中で本領域内での共同研究
が活発となり，この 1 年半で新たな研究の流れの素となるような結果も出
始めております．本領域のこのような研究の成果ならびに活動を，この成
果発表会でご紹介したいと考えております．是非ご参加下さい．
| 会場： | 東京工業大学 田町キャンパス キャンパス・イノベーションセンター東京 １階 国際会議室 |
|---|---|
| 日時： | 2014年 3月 14日（金）9:30～15:30 |
プログラム
| プログラム | ||
|---|---|---|
| 9:30- | オープニング | |
| 9:35- | 領域の説明 | 渡辺治（領域代表） |
| 10:00- | A01 班: 数理論理学からの計算限界解析 | 牧野和久（計画研究代表） |
| 10:20- | A02 班: 情報理論・符号理論からの計算限界研究 | 河原林健一（計画研究代表） |
| 10:40- | A03 班: 記憶領域制限シナリオにおける計算限界の解明 | 浅野哲夫（計画研究代表） |
| short break | ||
| 11:10- | 領域横断型研究 | 渡辺治（領域代表） |
| 11:40-13:00 | 昼食 / 総括班会議（評価委員・総括班・計画研究代表） | |
| 13:00- | B01 班: 最適化技法との融合による計算限界解析法の深化 | 加藤直樹（計画研究代表） |
| 13:20- | B02 班: 大規模数理計画による計算限界解析法の展開 | David Avis（計画研究代表） |
| 13:40- | B03 班: 計算限界解析法から革新的データ構造化技術への展開 | 徳山豪（計画研究代表） |
| short break | ||
| 14:10- | C01 班: 統計力学からの計算限界解明へのアプローチ | 渡辺治（計画研究代表） |
| 14:30- | C02 班: 量子力学からの計算限界解明へのアプローチ | 山下茂（計画研究代表） |
| 14:50- | C03 班: 学習理論からの計算限界解明へのアプローチ | 瀧本英二（計画研究代表） |
| 15:10- | 総括 | |
| 15:15- | クロージング | |
| 15:30-16:20 | 総括班会議（評価委員・総括班・計画研究代表） 4F ELC セミナー室 |
|
(ポスター)