2026.06.01
https://gyazo.com/1909e140d6c6ea9bd190fd98429499db
前：
2026.05.31
後：
2026.06.02
#日報
やった
https://github.com/FormalizedFormalLogic/VeryWeakSubintuitionistic
FormalizedFormalLogic/VeryWeakSubintuitionistic
論文の内容を形式化
公開
西村さんが様相論理の近傍意味論の解説記事を投稿していたので，折角なので自分も過去の近傍意味論の濾過法に関してのメモ書きを残しておく．
https://sno2wman.github.io/notes-on-neighborhood-semantics-filtration/main.pdf