10/19(月) 曇りのち雨
9時頃に起きた。教養卒論をやった。午後の授業まで時間が空いて関数解析を受けた。Hilbert空間とか完全正規直交系とかについてやった。終わった後すぐにバイトに行かなきゃだったので忙しかった。帰ってきてから構成可能集合とかについての章を読み始めた。アティマクでやってたことを改めてやってる感じ。アティマクの場合affine schemeの場合でしか示さなかったChevalleyの定理(スペルに自信なし)がschemeの場合に示せるらしい。なんか今日は疲れたので日記はこんなもんで終わりにする。
