今日は、できるだけ多くの時間を使って証明の書き足しを行った。
だいぶのことが分かっているが、細かいところを詰め切っていないところもあるので、そのあたりを確認しながら証明を書いている。
証明については、あともう少しで書き足しが終わりそうだ。
短期目標:証明を今週末までに一度書いてみる
今日の作業内容:証明書き足し 5h
今日のランチ:らく 鶏の照り焼き定食
明日の予測作業時間:4h
SDPARA (半正定値計画問題用並列計算ソフトウェア)からスタートして、数理最適化について興味のあることを書いています。
0 件のコメント:
コメントを投稿