証明の続きを検討

昨日から続けての証明検討だが、関数の形がまだ手探り状態なので、もう少し検討が必要そうだ。
でも、こういったコツコツと進めていくのが、あとあとでは要になってきそうでもある。

今日の作業内容：証明検討 2h
今日のランチ：らく 鶏の照り焼き定食
明日の予測作業時間： 3h