2024.12.06
https://gyazo.com/874cac6790a0e2c7d0d68ed2070726ac
前：
2024.12.05
後：
2024.12.07
#日報
思った
眠い
やった
Hilbert流演繹体系
を経由して
ラベル付きシークエント計算
の完全性
https://gyazo.com/9f06a6aa449a705e5f3bcdfa15332142