2022.10.30
https://gyazo.com/58937eb1cddd34f8cd1c2203cf8adee1
前:
2022.10.29
後:
2022.10.31
#日報
観た
「ぼっち・ざ・ろっく!」第4話「ジャンピングガール(ズ)」
やった
LEAN 3
で様相論理とか
iehality/lean-logic
大幅にコレを読んでいる
後藤ひとり glitch.icon