2024.11.08
https://www.youtube.com/watch?v=FAuUSmQRvO0
ミックスありえん
前：
2024.11.07
後：
2024.11.09
#日報
思った
Hybrid Logic
と
Lax Logic
の形式化しませんかという連絡が別人から同時に来て頭が狂う
やった
直観主義命題論理
の書き直しをしている