2024.11.21
https://www.youtube.com/watch?v=cMnuMjXeHrY
これよかった
前：
2024.11.20
後：
2024.11.22
#日報
思った
様相論理のラベル付きタブロー計算
において
$ \Box \varphi
が何回でも使っても良い（何回でも使う可能性がある）という性質が厄介すぎる