ちまちまと書き足し その３

今日も、ちまちまと証明部分の書き足し。
やはり、双対定理と実行可能領域の有界性が重要ということがよく分かる。

それにしても、数式を TeX にするのに、思っていた以上に時間がかかる。
このあたりを効率化する方法を検討したほうがいいのかもしれない。

短期目標：証明書きを来週中に
今日の作業内容：証明追加 3h
今日のランチ：四川　回鍋肉
明日の予測作業時間：3h