210719

月曜日．

朝起きて在ルーティンをやって作業開始．

別の文書読みをやったがやはりわからんだった（？）． 夕方までやって虚無の進捗により退．

夜は少し文書書き．証明をなぞって書いてみた．一度レビューしてほしい感じにはなった気がする． あとは実験をいろいろやらないといけない...．

明日はまた文書読み中心で．やっていく．