2024.11.09
https://www.youtube.com/watch?v=_MUxJs8kmkI
前：2024.11.08
後：2024.11.10
#日報
メモ
人にDJ教えたり
やっている
直観主義の書き換え
Kripke意味論を命題変数$ \Nに固定して議論してやっている