2025.10.16
https://gyazo.com/349c87fc1b48e3345f33638364bd1515
前：2025.10.15
後：2025.10.17
#日報
思った
最近ツイッターでいいねしたものを貼るDiscordサーバーを作って続いているので個人サーバーとして公開することにする　皆さんのいいね欄も見たいのでいいねと思ったもの（Twitter、ニコニコ動画、Youtube、SoundCloud、etc.）を貼ってほしい　それでは
https://discord.gg/HEcxGaVQfM
結論
様相論理の公理Bはヤバい！
$ \bf EBの近傍意味論に対する完全性は示されているかどうかわからない，Chellas, "Modal Logic"には書いてあるが，これが「未解決」の意味で書いてあるのか「解けますよ」の意味なのかわからない．
メモ
https://gyazo.com/4dc7df7059c808f09ce07c6792ad5338
無意味な努力