2024.08.24
https://gyazo.com/06bed9b6a9f1b74f33b61940074e9b8d
前：
2024.08.23
後：
2024.08.25
#日報
来た
東京についた。
やった
様相論理Grz
の完全性：半順序有限フレームに対して完全：を示した。
なんで旅行先で？
Tailscale
でVPNはって家のマシンパワーで形式化してるんだけどまあまあ遅延無くて体験いいね
もっとはやくやっておけばよかった