修士二年2Q58日目

8/7(月)　晴れ

今日は午後にzoomでここまで考えたことについて相談していた。minimal性を考えれば問題はひとまず解決された。ただ最終目的の一般化まではまだ案が何も浮かんでこない。難しいところ。ひとまずある程度の仮定のもとで他に言えるものがないか考えてみたいと思う。

夜はバイトに行って帰ってきた。日記をまとめて書いてるのもあってあんまり内容がない。