2024-11-29
alg-d氏の「圏論(初心者向け)」
9~13を視聴
米田の補題の手前でちょうど眠たくなってきたので中断
2024-11-29
03:13
やりたいこと
として思い描いていることのうち、結構な数が大学にいる間にやりたいことであることに気付き、焦る
Duolingo
の新しいUnitに入ったんだけど、急に複雑になった ねむいのに無理ですやめてください