午前は授業，午後は実験．玲音ちゃんがかわいい．そのあと代トポセミナー．いわゆるdiagram chaseをきちんとやった経験が乏しい． 代トポをやる時の直接計算は大抵とてつもなくつらい，という話が出ているが，そのあたりの直接計算を死ぬほどやっている本を…

昨日の夜中に雪江代数を読みふけったせいか，寝覚めは最悪．午前中はほぼ何もできなかった． 恥ずかしながら雪江代数の2巻はちゃんと読んだことがない．それ以外の代数の教科書もちゃんとやったことがない．つまり幾何をやりたいとかいっていながら，加群の…

午前中は少しだけ輪講のレジュメを書いた．たぶん発表に1時間も使うような内容ではない． 午後は勉強せずに労働した． 夜も輪講のレジュメの準備に溶けた．直接計算がつらく，内容もないのが手伝ってダラダラやっていたせいだが，今日買った「やが君」のせい…

はてなも使ってみて調子が良さそうな方を選ぶことにする． 午前中はロジックセミナーをした．読んでいる本は小野本． www.amazon.co.jp プログラムの数理の教科書になっていたやつだけど，まじめに読んだことは一度もないからちょうどいい． 今日はわたしの…