2025.07.23
https://www.youtube.com/watch?v=iOMMpQJ5I3o
前：
2025.07.22
後：
2025.07.24
#日報
メモ
Emil Jeřábek
の
Boxdot予想
を形式化してるけどあまりにも面倒で終わりつつある
思った
一週間ペースでやることを変えているのはよくない気がする．
メモ
Selective Filtration
難しすぎる，何をやっているのかイマイチイメージがつかない…