メルボルン大の Modeling Discrete Optimization のコースがCourseraで8/3から開講するそうだ。 https://www.coursera.org/course/modelingoptimization

先日私の受講していた Discrete Optimization https://www.coursera.org/course/optimization の方はアルゴリズムの設計/実装まで含まれていたけれど、こちらはモデリング言語MiniZinc http://www.minizinc.org/ にエンコードして、制約ソルバに解かせるという内容のよう。

講師の Prof. Peter James Stuckey は、最初の制約論理プログラミングシステム CLP(R) の作者の一人だった人で、制約プログラミング系の研究をしてる人みたいね。

しかし、イントロのビデオはハリーポッターごっこか何かかかいな。Discrete Optimization の方の Prof. Pascal Van Hentenryck もインディージョーンズのコスプレしたりテンション高すぎて怖かったりしたが、メルボルン大の教授陣ってこんなんばっかなんだろうかw