2026.07.01
https://gyazo.com/a06098df7bffa75a476cca7d395df416
前：
2026.06.30
後：
2026.07.02
#日報
思った
$ \bf GL
の決定論的な証明機を作ると鳴るとけっきょくどれがよさそうかわからない．
タブロー
？
思った
Claude Code
を無理やり活用しようとして不眠になりつつある