2025.11.05
https://gyazo.com/8d11a13b74d0ab36383c66e6daaf805d
前：
2025.11.04
後：
2025.11.06
#日報
やった
Montagna's Principle
$ \sf M
の
Veltman意味論
のフレーム特徴づけを形式化
思った
Open Collective
について色々調べた．なぜ寄付を募るのにこれだけ面倒なことをしなければならないのか…
メモ
間違えて
SnO2WMaN
の
GitHub Sponser
が出来てしまった．出来てしまったものは仕方ないので，
Formalized Formal Logic
とは関係ない支援は受け付けています
https://github.com/sponsors/SnO2WMaN