0424
一限に出たこととバイトに行ったことしか記憶にありません。ああそうだ、圏論の本の練習問題で、A×(B×C)≅(A×B)×Cを(前にやったように、A×B×Cの同型を除いた一意性を用いるのではなしに)直接示せ、という問題があって、ちょっと手こずっています。目的の射、案外構成できなくないか。単に僕の理解がふよふよしていて頼りないだけか。
バイトはなんか八時間も入ってしまってつかれました。今週はもうおしまい、来週はゴールデン・ウィークでどうなることやら(やすめたらいいな)。
明日は十時から研究室で先輩の手伝い(荷物運び)、それから友人と昼食(すこし遅くなってしまうかも、なるたけそうならないようにするけど)、夕方は研究室の定例セミナ。明後日も午前中からゼミだし、明明後日は死にたさ募る輪講。今週は気が休まりません。でも、明明後日の夕方は友人とストライク・ウィッチーズの映画を観るのだと思います。たのしみです。