10月28日（木）

9:00 受け付け開始
9:20―9:30 開会挨拶
9:30―12:20
セッション1「離散構造とアルゴリズムの最先端」
オーガナイザ: 加藤 直樹（京都大学）
講演1「解の遷移可能性問題の計算複雑さ」伊藤 健洋（東北大学）
講演2「点素パス問題に対するアルゴリズム」小林 佑輔（東京大学）
講演3「構造物の組合せ剛性: 計数条件とグラフ分割」谷川 眞一（京都大学）

昼休み

13:50―16:50
セッション2「ハイパフォーマンスコンピューティング」
オーガナイザ: 張 紹良（名古屋大学）
講演1「大規模固有値問題と高性能計算」山本 有作（神戸大学）
講演2「自動チューニングの数理モデルと最適化」須田 礼仁（東京大学）
講演3「GPGPUによる大規模流体シミュレーションのスケーラビリティ」
　　　青木 尊之（東京工業大学）

17:30― 懇親会

10月29日（金）

9:20―12:20
セッション3「連続最適化の挑戦」
オーガナイザ: 久野 誉人（筑波大学）
講演1「半正定値計画と面的縮小」脇 隼人（電気通信大学）
講演2「代数的対称性を利用した半正定値計画法の前処理」前原 貴憲，室田 一雄（東京大学）
講演3「無限次元変分解析の理論とオンラインアルゴリズムにおける応用例」
　　　関口 良行（東京海洋大学）
講演4「ステレオ画像計測に現れる非線形最適化問題とその大域的最適解の計算法」
　　　檀 寛成（関西大学）

昼休み

13:50―16:50
セッション4「工学における逆問題の周辺」
オーガナイザ: 松本 敏郎（名古屋大学）
講演1「実問題への逆解析の応用」天谷 賢治 (東京工業大学）
講演2「逆問題解析とこれを用いた能動型および受動型電気ポテンシャルCT法」
　　　久保 司郎（大阪大学），阪上 隆英 (神戸大学），井岡 誠司 (大阪大学）
講演3「多倍長計算による非適切問題の大規模高精度計算の実現に向けて」
　　　藤原 宏志（京都大学）
講演4「不連続線推定問題の囲い込み法に基づく数値解法について」
　　　大江 貴司（岡山理科大学）