2024.10.21
https://gyazo.com/cd8c3acdfa7619d3dd1977be7450b11e
前：
2024.10.20
後：
2024.10.22
#日報
やった
Plague Inc.
久々にやった
マルチプレイムズすぎる
読んだ
A. Chagrov, M. Zakharyaschev; "Modal Logic"
Hintikka system
という変すぎるシステム