2022.11.14
https://gyazo.com/6efff8788eb9f3a0700a9173b3625afc
進捗
前：
2022.11.13
後：
2022.11.15
#日報
知った
球面集中現象
読んだ
鹿島 亮; "コンピュータサイエンスにおける様相論理"
命題動的論理
面白すぎ
ただ表現力は弱そうすぎる
知った
多分
GitHub
の
Nix
の色が変わった