2025.11.13
https://gyazo.com/97f52cf743f8778a733e31e171dba973
いいね欄(discordサーバー)
前：
2025.11.12
後：
2025.11.14
#日報
思った
昨日なぜか急に
いいね欄(discordサーバー)
に40人近く入ってきて↑の状態になった
メモ
$ \mathbf{IL}(\mathsf{R}) \vdash \mathsf{P_0}
E. Goris & J.J.Joosten 2011
まったくわからない．