2023.12.30
https://gyazo.com/71b763ae507b4e6b72fd98696279566b
前：
2023.12.29
後：
2023.12.31
#日報
いいね
https://soundcloud.com/awr43eiyjdy4/sar7-destruccccc-zxsq-remix
メモ:
定理証明支援系での論理の形式化
Paula Neeley; "A Formalization of Dynamic Epistemic Logic"
https://paulaneeley.com/wp-content/uploads/2021/05/draft1.pdf
実装:
https://github.com/paulaneeley/modal
Minchao Wu, Rajeev Goré; "Verified Decision Procedures for Modal Logics"
Bruno Bentzen; "A Henkin-style completeness proof for the modal logic S5"
メモ
私的2023年の転換点
1. 冰剣を観る。(1月)
2. 他大学の研究室を見学する。(5月)
3. OTOMADBをとりあえずリリースする。(6月)
4. 悪魔と戦う。(8月)
5. インターンへ行く。(9月)
6. 人からビンゴマシーンを貰う。(10月)
7. LOLISTYLE GABBERSのリリースパーティに行く。(10月)
メモ
理論の不完全性，決定不能性，分離不能性
https://www2.kobe-u.ac.jp/~tk/jp/workshop/LWS2.html