自分用． 定式化するとき同じことを無限回調べてる気がするのでまとめる． 随時更新． 全人類が読むべき参考文献 整数線形計画問題（ILP: Integer Linear Programming problem） 具体例：ナップサック問題 ILPでモデリングする醍醐味 制約でよく使うやつ 論…