いきなり行き詰り

証明の読み込みを一通りしたところで、既存研究をベースに拡張しようとしたところ、いきなり行き詰った。
もちろん、そんなにストレートに行くものばかりでもないので、ここは何日かに分けて検討する必要がありそうだ。
ここからは、コツコツと試行錯誤することになる。

今日の作業内容：拡張検討 2h
今日のランチ：たちばな しまあじ
明日の予測作業時間：3h