だいぶん日の出が遅くなり，朝方のひえかたがきびしくなってきた。朝練もそろそろ終わり。

昨日書き下ろした証明に細かい間違いを多数発見。論理的なものではなく単なるタイプミス。記述を少し簡略化することもできた。

秋らしい陽気になってきた。北山がきれいだ。

別証明を書き下した。結局2ページほど増加。

大学もこんなことをやり始めているんですね。 →「UCバークリー校、YouTubeで講義を無料公開 - ITmedia NEWS」 →「UC Berkeley Courses - YouTube」

昨日見つけた誤りは，幸いに別証明で回避できた。おかげでいろいろなことが分かった。

先日の論文に大きな間違いを発見。証明が証明になっていなかった。 まったく何度やれば気が済むんだろう。いやになった。

朝夕はかなり涼しく，寒さを感じることも多くなってきたが，昼間はお日様の光が強く陽だまりでは暑さを感じる。もちろん日陰に入ればかなり涼しい。 しかし10月になっているのにまだ半そでのワイシャツ1枚で仕事をしている。衣替えはまだ先になりそう。

就職試験が一段落しつつある。合格したもの，不合格だったもの。悲喜こもごも。特に受かった連中は放心状態のものが多い。来週から中間考査。はよ，目を覚ませよぉ！

昨日一応仕上げたのはやはり急ぎの仕事でタイプミスが多数見つかった。今日はそれを修正。