2024.11.16
https://gyazo.com/e1f8737716597ef841c43e6035410dab
前：
2024.11.15
後：
2024.11.17
#日報
メモ
https://sno2wman.net
を再構成しました．
リンク集を大幅に拡充
https://sno2wman.net/social
メモ
現状のFormalized Formal Logicで形式化されている事実とされていない事実(様相論理編)