2023.06.02
https://gyazo.com/8e2619f702cbf4e19249e7c528ff9b68
https://girard.perso.math.cnrs.fr/trsy4.pdf
Jean-Yves Girard
，
Transcendental syntax iv : logic without systems
何
前：
2023.06.01
後：
2023.06.03
#日報
メモ
華狩頌
，
https://www.youtube.com/watch?v=ZwYjBMN7z54
斎藤圭一郎
の
自主制作アニメ
．どことなく
Sonny Boy
の後半の話っぽい．
思った
TeX
は辛い．
やった
今日は4年目の日報となる．