2025.10.06
https://gyazo.com/c55406c0ee872174b4b033d457c8b7aa
前：
2025.10.05
後：
2025.10.07
#日報
観た
終末ツーリング #1
なぜ滅んだのかの設定が語られることがなくて気になる．
メモ
最小様相論理
で
$ \sf N
が潰れる例などを吟味しているが量が多すぎる．