12/26(日) 晴れ 12時前に起きた。午後のゼミの前までにちょっと進めた。regularからのcanonical coveringに対していくつか示した。その後はsplinterのfpqcへの類似を考えた。午後はゼミを聞いた。 今日は年末で色々忙しいので終わってからすぐ解散した。 そ…

12/25(土) 晴れ 今日は午後に他の高校同期と会った。午前中は昨日の続きのsplinterについての話をやった。normalであることを示した。そこでわからないところがあったけど一日過ごしてたら解決した。 午後は東京に出た。とても人が多かった。ここまで混むも…