2024.09.09
https://www.youtube.com/watch?v=z59klo0e3H0
前：
2024.09.08
後：
2024.09.10
#日報
メモ
Lean 4のメタプログラミングで数独チェッカーを作った
メモ
分離論理
の話を聞いていたがあまり興味がないかも…となってしまった
思った
メイン機(
ArchLinux
)をPCを
Windows 10
（なぜ？）に入れ替えた
Windows 11
ではないのは起動しなかったからです
なぜ？