2023.08.02
https://gyazo.com/3aa546c2d43dc7f0a6cc660329aadc14
終わってる
知った
メモ
やっとるな
メモ
思った
indexの複数系はindexesであってほしいと思うが逆になぜかexampleの複数形がexamplesなのはかなり非自明に思える
アイドルアニメとかにあまり興味が湧かないけど,最近はもっと一般に芸能という概念が自分はあまり好きではないのかもしれない
読んだ
おれがScrapboxでシーケント計算の規則や証明木を書けなかったばかりに失われたメモの数々