2022.09.12
https://gyazo.com/0892c4cd61fd75faeccf889590f4078c
思った
おれは数学の具体的な教育を特に受けていないので，とりあえず論理学/数学基礎論に関しての様々から入ることにした
ローカルで環境整えて（4の）まあ多少修正すればいいだろと思ったら全然そんなことなくて涙
メモ
知った
どういう熱意なのかは知らないけど，ニコニコ大百科はなぜか異様に圏論関連の記事が充実している 『檜山正幸のキマイラ飼育記』をアイコンから勝手に40歳ぐらいの狂人がやっているものだと思っていたら御年67歳前後だということを知って すごEと思った