12/14(火) 曇り 12時前に起きた。本当はセミナーがあるはずだったけど発表者の予定で急遽無くなったので暇になった。その分今読んでいた論文を終わらせて次に読むやつを選定した。今回のやつの最後にあった定理を示しているやつがちょうど良さそうだったので…

12/13(月) 晴れ 10時過ぎに起きて授業を受けた。ほとんどわからん。 授業の後は論文の続きを読んだ。untiltを使って正標数のときの存在性を持ってきててこういう使い方もあるということを知った。バイトを挟んでほとんど読み終わった。最後はいつものtiltに…