[Back to Teaching]

創造情報学連携講義III (2013年度)
屋並 仁史先生

photo

概要

講義の内容

テーマ:「最適化」

与えられた制約の下で、ある評価尺度で最良のものを選択する、という問題は様々な場所で形を変えて現れる。日常生活における一見単純にみえる意思決定でも、我々は無意識のうちに制約条件を考慮しつつ、何らかの物差しを当ててより良いもの、より悪くないもの、を選んでいる。このような状況を数学的に定式化すると最適化問題が得られる。

本講義では、計算機を利用して代数的に最適化問題を解く手法と、その手法の応用による実問題の解決事例を紹介する。

講義前半(第1回から第3回)では、限量子除去法(quantifier elimination, QE)と呼ばれるアルゴリズムを概説する。また、QEを用いた多目的最適化問題へのアプローチを述べる。

講義後半(第4回から第6回)では、実問題への応用を意識し、ものづくりにおける設計などで生じる問題を具体的に述べながら、問題をモデル化し、最適化問題として定式化する方法と、定式化された問題にQEやその他のアルゴリズムを適用して最適解を求める方法を紹介する。

講義形態

毎週講義(6回+レポート予定)

評価

レポートによる.

レポート課題 (学内限定アクセス)

締切は 2013.7.31,理学部7号館1階のレポートボックス(事務室の向かい)に提出.電子的に提出する場合は蓮尾 ichiro [at] is.s.u-tokyo.ac.jp まで提出.

スケジュール