2025.07.24
https://formalizedformallogic.github.io/Foundation/book/assets/modal_zoo.png
rc4になって図が直った
Relが集合ベースで定義されるようになって意味不明なことになりつつある
メモ
Emil Jeřábekの証明，$ \Gamma \vdash_\mathbf{K} \varphiなら$ \Gamma \vdash_\mathbf{K} \Box \varphiが必要なんだけど，それ許容されるんだっけ？と思った． https://gyazo.com/0d9d3195f1d971743718579df9efc22d
メモ
メモ
ツイッターのDMを見返したら3年前から音MADのデータベースを作りませんかという連絡をしたメッセージが残っていた まさかここから人を変え技術を変え3回の失敗を経てリリースになるとは夢にも思っていなかっただろう
メモ
本当に何にも意味がなくてすばらしい