2026.07.21
https://gyazo.com/86863b46c5b0c2fc03ef0d34032fc250
メモ
このあたりの随筆をしたためても良いかも知れない．
思った
修論はもうこれ以上成果出せないだろう（と思っているからちゃんとしたタイトルにするのだけおｄ）
博論を各としたら集大成として，Formalizing, Formalizing², Formalizing³にしたい
数学の形式化としてのLogic，論理の定理証明支援系の形式化Formalizing of Logic，論理の形式化に関するメタの議論
観た
；；；；；；；；；；；；；；；；；；