Last Update 2025年03月14日
定式化技法集#
定式化技法集 では計算機での求解を念頭に置いた実践的な数理最適化の定式化 (モデリング) のための用語解説やテクニックおよび関連事項を解説します．
数理最適化法 (数理計画法) はこれまで様々な現実問題を解決し，コスト削減や利益追求，各種工程の時短など， 限られた資源の中での最適な意思決定を支援してきました．
一方でハードウェアやクラウドインフラの進展も目覚ましく， 卓上の個人所有の計算機や端末で複雑な実務問題を扱える規模に到達してきました．
後は問題を数理最適化の文脈で適切に定式化して， それをモデリング言語を通して計算機にとって効率が良いように記述するだけです． 定式化技法集 ではこのために必要な様々な知識を収集し，一つのドキュメンテーションとして編纂しています．
Basic Terms#
定式化を述べる上で必要となる基本的な用語について説明します．
Binary Variable#
表現能力が高く応用の広いバイナリ変数に関連する事柄について説明します．
Binary Variable
Debug#
実務的な問題の定式化ではモデル自体の修正を頻繁に行います． この際に役立つモデリング言語特有のデバッグ技法について説明します．
Framework#
すべての定式化に共通する枠組みの知識について説明します．
Formulations#
定式化の部品となるような概念やテクニックについて説明します．
Problems#
典型的な問題の定式化について説明します．
System#
システム化に必要な tips を紹介します．
Theoretical Minimum#
定式化の基礎となる理論的背景について説明します．
Theoretical Minimum