2023.10.13
https://www.youtube.com/watch?v=J4eD-9yrGNA
前：
2023.10.12
後：
2023.10.14
#日報
思った
歪エムエス; "精神科通い始める前後に描いてた絵が限界すぎるけど傑作説ある"
今さら言うけど
喜多郁代
さんの足メチャクチャ長いことになっててシッチャカメッチャカになってた
メモ
証明論
で使う
$ \vdash
にカット回数とか証明木の重さとかを添字付けるやつってどう書くんだろう
$ \vdash^{w}_{c + 1}
見栄え的には横棒の上下に入ってほしいという感じがある