2023.05.02
https://gyazo.com/7e1b03429729fed05a4d56a5d6010769
行った
本当に行ってよかった
頑張って院試用の数学をやり，全てに勝つ
観た
おれって実はノルマンディー公が一番すきなのではと思う
思った
マクドナルドで食事していたら隣の小学生ぐらいの子供が「みんなも一緒にやってみようよ」と言った後両手を挙げ始めたので感動して泪（なみだ）流しながらハンバーガー食べてる
かつて確かに存在したマクドナルドのピエロについての情報の乗り物の一つとして日々を過ごしてきて本当によかった
読んだ
シークエント計算ってまあまあ苦手意識があった（毎回スペース配分ミスって大変なことになるから） メモ
https://gyazo.com/46a71c4e94b51a893b00b6f4353f7623
無茶あるって！
思った
さすがに1966の論文はなれていないので読んでいて辛いものがあるのと，そもそも全文は読めないので，Tait計算で形式化するなら本を当たるしか無い？