証明について、いろいろと検討

今まで少しずつ調べておいたことについて、本腰を入れて証明を検討することにした。
まずは、どういった数式で記述すると証明の見通しがよくなるか、というところからであるが、このあたりは手探りからとなる。
ある程度の形が見えたところで記述を再検討したいと思ってもいる。

今日の作業内容：証明検討 2h
今日のランチ：味庵 白身魚のチリソース
明日の予測作業時間：2h