Ryo_Iridium https://blog.hatena.ne.jp/Ryo_Iridium/ 夏休みの日記 https://iridium.hatenablog.com/ 8/26(木) 晴れ 10時位に起きた。リングフィットをした。午前中は明日話すことのために準備をした。ほとんど自分の考えていることを言語化するという目的のためにやっていて、明日の発表前に大幅に削りかねない。でも改めて考えてみたいこととかまとめてみたことはとても良かったと思う。どの論文がどういう理由で持ってきたのか思い出す事もできた。 午後は少し位相的有限型のところを読んだあと、apexをしてバイトの前まで時間を潰した。久しぶりにアサシンクリードをやって楽しかった。その後はまた位相的有限型について少し残っていた命題を示した。ここまではHuber ringについて定義していたけどそうではなくてHu… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Firidium.hatenablog.com%2Fentry%2F2021%2F08%2F27%2F005700" title="夏休み(2021)20日目 - 夏休みの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-08-27 00:57:00 rich https://iridium.hatenablog.com/entry/2021/08/27/005700 1.0 100%