■

朝起きてからレポートを少しずつ片付ける．束論は真面目に習ったことも，勉強したこともないせいで，異様に手間がかかる．離散構造を扱うのはどこかで必要になるのかもしれないが，必要になるまで勉強しない気がする．あまり好きになれない．

昼を食べてからSICPゼミに向かう．段々と練習問題が地獄になり，某氏の色々な話で盛り上がる会に成り変わりつつある．章が改まったら少しは手も動くようになるだろうか？

夜にレポートの推敲と，代トポゼミの予習．Hurewicz同型定理と，ホモロジー理論の一意性をやった．公理系から出すhomologyにおいてはchain complexが不在という状況なので，空間対のhomology群を無理やりchain complexだということにして，そのchain complexのhomology群を取るとかいうわけのわからないことをやっていた．相変わらず色々なところが事案である．diagram chaseを真面目にやるべきな気がする．