2025.09.02
https://gyazo.com/01b94420f9d789ec5ca180c2ae267909
otodbにいつの間にかかっこいいUIが追加されてる 読んだ
紙の音MADをようやくパラパラと読み始めていた（最近ようやく入手したので） 感想はそのうち適当に書いていくことにしよう
やった
https://gyazo.com/868de3593b7128bf3bf02c3bd890aaa8
$ \bf GL.3の完全性を形式化した．
メモ
こういう感じでやるのかはよくわかってないんだけど
メモ
後で全部落とす
メモ