2025.08.01
前：
2025.07.31
後：
2025.08.02
#日報
メモ
GL.3の拡張について
やった
Boxdot予想
の証明
E. Jeřábek; "Cluster expansion and the boxdot conjecture"
を形式化した．
https://x.com/SnO2WMaN/status/1951081992000512450
https://gyazo.com/9139a309855b9287665e434b9556ad80
自明なことを形式化するのは面倒．むしろテクい議論を形式化するのはやや簡単で…
メモ
日テレ版サマーウォーズ 徹底比較