2/1(水) 晴れ 9時前に起きた。午後にセミナーがzoomであったからそれまで続きをやっていた。昨日見つかった証明の駄目だったところ。こちらはまあ出来たら良いなくらいの気持ちで始めてたやつで今となっては使う場所が見つからなくなってしまったやつ。まあ…

1/31(火) 晴れ 8時半に起きた。大体これくらいになり始めた。今日は大学に行ってずっとパソコンをパチパチしてた。まあできるだろうというところをどんどんPDFに書き出していっていただけだけど。それで大体うまくいっていて、うまくいっていたがゆえにずっ…