2024.11.02
https://gyazo.com/f58b3b58d2c98009b752339f4f467a7d
前：
2024.11.01
後：
2024.11.03
#日報
メモ
今でも
GregTech
をやっている記事があって（泣）になった
https://gregtech.blog.jp
思った
Tait計算
版
ラベル付きシークエント計算
を考えていたけど上手くカットが示せなかった（もちろんこれが私の無能に過ぎない）
そもそもクラシカルの証明が…