11:00起床。副反応治まったと思ったら治まらん。なんとなく体調が悪い&頭痛と微熱みたいな体調だった。 ご飯を食べた後、藤崎の続きを読む。そろそろ大詰めで標数p>0の体Fを固定し、そのWitt環をW〔F〕としたとき、W〔F〕の加法群の部分群で良い具合のやつ(…