2023.12.24
https://www.youtube.com/watch?v=xo2lR3Z7e34
この顔つきになってる
前：
2023.12.23
後：
2023.12.25
#日報
思った
最近は突然眠くなって気を失うことが多く，辛い
やった
FormalizedFormalLogic/Foundation
で
Gentzenのシークエント計算
の形式化が出来るので
様相論理のシークエント計算
を形式化しようとちょっと思ったが…
そういえば普通にただ規則で追加しても
カット除去定理
が出来ないの忘れてた