第24回RAMPシンポジウム
2012年9月27日(木)・28日(金)
東北大学片平キャンパスさくらホール
9月27日(木)

受付 (9:00-)
開会の挨拶 (9:20-9:30)
  1. 「都市・地域における最適化」(9:30-12:30) オーガナイザー 田中健一(電気通信大学)
    1. 田中健一*(電気通信大学)・宮代隆平(東京農工大学)・宮本裕一郎(上智大学)
      「流れの安全性に着目したネットワーク設計--安全下校問題への応用--」
    2. 鳥海重喜*(中央大学)・高嶋隆太(千葉工業大学)
      「海上航路ネットワークとエネルギー資源の国際輸送におけるチョークポイント分析」
    3. 鈴木敦夫(南山大学)
      「非線形計画法の大域的最適解を求めるためのBTST法--施設配置問題への適用例を中心に」
    4. 高松瑞代*(中央大学, JST CREST)・田口 東(中央大学)
      「鉄道・バスの円滑な乗換を目指した時空間ネットワーク設計」
昼食 (12:30-14:00)
  1. 「連続最適化における理論と応用」(14:00-17:00) オーガナイザー 中田和秀(東京工業大学)
    1. 伊藤聡(統計数理研究所)
      「測度空間における凸最適化--無限次元における離散と連続」
    2. 松川恭明・田中彰浩・吉瀬章子*(筑波大学)
      「対称錐ではない凸錐上の最適化問題 -- 完全正値行列錐と共正値行列錐にまつわるいくつかの話題 --」
    3. 藤澤克樹 (中央大学, JST CREST)
      「大規模半正定値計画問題に対する高速計算 -- ポストペタスパコン上での最適化ソフトウェア --」
懇親会 (さくらホール1階, 17:30-)

9月28日(金)

  1. 「サブリニアタイムアルゴリズムの基礎から最先端まで」(9:30-12:30) オーガナイザー 伊藤大雄(電気通信大学)
    1. 伊藤大雄(電気通信大学)
      「サブリニアタイムアルゴリズムの基礎技術」
    2. フランソワ・ルガル(東京大学)
      「Sublinear algorithms for testing algebraic properties(代数的な性質の検査に対するサブリニアアルゴリズム)」
    3. 吉田悠一(国立情報学研究所)
      「制約充足問題に対するサブリニアタイムアルゴリズム」
昼食 (12:30-14:00)
  1. 「最適化ソフトウェア(Optimization Software)」(14:00-17:00) オーガナイザー 品野勇治(Zuse Institute Berlin, JST CREST)
    1. M. V. Galati (SAS Institute), T. K. Ralphs*, J. Wang (Lehigh University)
      「Computational Experience with Generic Decomposition using the DIP Framework」
    2. T. Berthold, A. M.Gleixner, S. Heinz, T. Koch*, 品野勇治 (Zuse Institute Berlin)
      「Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite (SCIP Optimization Suite を利用した混合整数(線形/非線形) 計画問題の解法)」
    3. R. Bixby*, Z. Gu, Ed Rothberg (Gurobi Optimization Inc.)
      「Presolve for Linear and Mixed-Integer Programming」
閉会の挨拶 (17:00-)