充実した午後の授業

今日は午前中、セミナー。だんだん各自の演習の体制が整ってきた。全員が環境を整えるのにはまだ若干時間がかかりそうだが。

午後は授業の仕込みや調査などの後、大学院の授業。テキストにさらっと事実だけ書いてある定理を証明をちゃんと調べて形にまとめていた。やはり学部のセミナーとは違う。感心。

夕方はインストール作業など（まだ始まったばかり）。夜は評価と原稿、連絡。昨日は遅かったので今日はこの辺で閉店。ではまた明日。