タイムテーブル (9月29日更新)
| 1日目 | 2日目 | 3日目 | |||
|---|---|---|---|---|---|
| 13:45- | 受付 | 9:00-10:30 | 一般講演 3 | 9:00-10:30 | 一般講演 7 |
| 14:15-14:30 | 開会 | 10:45-12:15 | 一般講演 4 | 10:45-11:45 | チュートリアル 3 |
| 14:30-15:30 | チュートリアル 1 | 12:15-13:30 | 昼食 | 11:45-12:45 | 昼食 |
| 15:45-16:45 | 一般講演 1 | 13:30-14:30 | チュートリアル 2 | 12:45-13:15 | 表彰式/閉会式 |
| 17:00-18:00 | 一般講演 2 | 14:45-16:15 | 一般講演 5 | ||
| 18:00-20:30 | 夕食，風呂 | 16:30-18:00 | 一般講演 6 | ||
| 20:30-22:00 | ポスターセッション | 18:00- | 夕食，風呂 |
プログラム (10月2日更新)
1日目
(13:30 マイクロバス送迎利用者，JR能登川駅集合)
13:45- 受付
14:15-14:30 開会式
14:30-15:30 チュートリアル 1
Timo Berthold: What are constraint integer programs and how do we solve them?
15:45-16:45 一般講演 1
斎藤 雄大: Dyck パスの理想サンプリングを行うCFTP法
清水 俊宏: 組合せ数の効率的な Random Access Generator
17:00-18:00 一般講演 2
尾上 洋介: 多次元非線形ナップザック問題に対する GPGPU の適用
藤永 直: データ圧縮を用いたネットワークインシデントの検出
18:00-20:30 夕食・風呂
20:30-22:00 ポスターセッション
石井 俊成: タンク繰りスケジューリング問題に対する混合整数計画アプローチ
奥野 貴之: 無限個の閉凸錐制約をもつ半無限計画問題に対するアルゴリズム
辻川 貴哉: 頂点が矩形として固定された平面グラフの直交描画法
弘中 諒: 立体詰込み問題の制約付き直方体詰込み問題による定式化とメタ戦略の提案
福嶋 悠大: 電気自動車を導入した事業所内での電力最適運用スケジューリング
安井 雄一郎: 大規模動的ネットワークに対する最短路高速計算システム
2日目
9:00-10:30 一般講演 3
山田 和紀: 多角形を容器とする円被覆問題に対する近似アルゴリズム
高須 啓介: 信頼領域を用いた大規模非線形計画問題に対する並列部分空間法
脇 隼人: 半正定値計画問題と面的縮小
10:45-12:15 一般講演 4
黄 嘉平: 統一多変量計数過程に基づく報酬過程の過渡分布の数値解法
野田 峻弘: サプライチェーンにおける配送戦略の競合モデル
新見 朋広: 平均・分散モデルを用いた資産均衡問題と解の一意性
12:15-13:30 昼食
13:30-14:30 チュートリアル 2
宇野 毅明: モデルは浅く、応用は深く
14:45-16:15 一般講演 5
石井 智之: ピア離脱を考慮したP2Pストリーミングにおける動的トポロジ構築法
森田 佳祐: 単一チャネル電流解析プログラムの開発と応用
吉原 千尋: 非線形計画問題による拡張型一次自己回帰到着過程のパラメータ決定法
16:30-18:00 一般講演 6
三村 麻梨乃: 待ち行列モデルによるストリーミングデータ配信機構の性能評価
矢実 貴志: ネットワーク・コーディングを適用したマルチホップ無線網におけるバースト転送方式のスループット解析
佐久間 大: 遅延制約のある M/M/s 待ち行列モデルにおける待ち時間分布の漸近解析
18:00- 夕食・風呂
3日目
9:00-10:30 一般講演 7
神山 直之: 配属人数下限付き学生-プロジェクト割当問題
斎藤 寿樹: 理想グラフ上の部分グラフ同型性について
永野 清仁: 最小平均費用クラスタリング
10:45-11:45 チュートリアル 3
藤澤 克樹: 大規模最適化問題に対するソフトウェアと高速＆安定計算による解決 --理論からスパコンまで--
11:45-12:45 昼食
12:45-13:15 表彰式・閉会式
（終了後，マイクロバスでJR能登川駅まで送迎）
チュートリアル講演 概要
- Timo Berthold氏 (Zuse Institute Berlin)
「What are constraint integer programs and how do we solve them?」
概要: Mixed-integer programming (MIP) and constraint programming (CP) proved to be a powerful tools to model and solve large-scale optimization problems. Constraint integer programming (CIP) is a novel generalization of MIP that supports the notion of arbitrary constraints as in CP. We introduce the basic notion and algorithmic ideas of CIP. Further, we present the software SCIP which is a solver and framework for constraint integer programming that also features SAT solving techniques. SCIP is available in source code and free for non-commercial use.
We illustrate the algorithmic design and the main sequence of the solving steps. Furthermore, we describe the various algorithmic components that enrich the basic CIP framework and discuss their role in the solving process. In this talk, we will mainly focus on techniques for solving mixed-integer programs. Computational experiments indicating the potential of the approach are provided. - 宇野毅明氏 (国立情報学研究所)
「モデルは浅く、応用は深く」
概要: 通常の最適化モデルでは、数理的な要素を使って如何に現実問題を精緻に 表現するかと言うことが問われる。しかし、実際には暗黙知や数理的に 表現が難しい要因などがあり、それらを無視してモデル化を進めると 部分的にのみ精緻なモデルができ、現実問題との乖離が生まれる。 本発表では、文字列近似マッチングに対する簡単なモデルとその計算 を元にして、データ解析や知識獲得の問題へと発展させていく、 いわば簡単なモデルを用いた問題解決の手法を紹介する。 - 藤澤克樹氏 (中央大学)
「大規模最適化問題に対するソフトウェアと高速＆安定計算による解決 --理論からスパコンまで--」
概要: 最適化手法とコンピュータが生まれてからの約６０年間、常に計算機、最適化アルゴリズム共に進歩を遂げてきました。優れた理論から必ずしも優れたソフトウェアが生まれるとは限らないのですが、今回の講演では 1990年代半ばに誕生した半正定値計画問題(SDP)に対する理論（主双対内点法）を題材に取って、この理論がその後どのような経緯を辿って、ソフトウェア化された後にスパコン上で大規模計算が行われるようになったのかについてお話したいと思います。内容は最適化理論から応用分野、ソフトウェア化、大規模計算までと多岐に渡る予定です。また、数年以内に登場する次世代計算基盤上での最適化ソフトウェアの実行についても触れていきます。