証明がもう一歩前進

残っていた大きな障害のところは、一通り証明ができたところまできた。
最後のところも、やはり Level Set で方がついた。

次は、ここまでの証明で間違いがないかを文章を書きながら再検討することになりそうである。


短期目標：１週間程度で定式化とアルゴリズムを文章に
今日の作業内容：証明検討 3h
今日のランチ：つかさ 生サーモン照り焼き
明日の予測作業時間：4h