先に一度草刈をして2か月「6月4日 草刈」。雑草の伸びるのは早い。もうかなり茂ってきた。しばらく前から気になっていたが，今朝ようやく草刈をした。 一度刈ったところは土がやわらかくなっていて，刈りやすかった。1時間半余りの作業。太陽が高く上り，暑…

大学のある町は今日，有名な花火大会。セミナーが終わって帰るとき，街中には浴衣姿の女性が目立ち，なんとなく町全体もうきうきしている感じがした。 地元まで戻ると，ここでもあちこちで花火大会や夏祭り。 自宅からも近くの公園で打ち上げられている花火…

指導教官が明日から夏休みをとるということで，今日は駆け込みでセミナー。昨日間違いを見つけたところを確認のために話す。そしたら，ちょっとしたコメントで正しい証明となった。あっさり行く時にはそういったもんなのだろうか。 続いて残りの検討を始める…

雨のにおいもする。どうやら山の方では降っているようだ。 今日は1日暑かったので，夕立のあるとありがたい。それで少し涼しくなるだろう。そういえば，先日の豪雨以来雨が降ってないな。

昨日半歩後退，半歩前進と思ったが，今日考え直したら前進の部分を間違えていた。結局あと 2.5 歩。

昨日まで考えたことを報告。1か所証明にギャップあった。半歩後退。 しかし時間いっぱいまで考えて，何とかクリア。半歩前進。あと2歩であることは変わらず。

昨日得たことをもとに，補題の証明を書き下す。1か所迷ったが，なんとか乗り越えることができた。 それを使う一つの定理の証明がこれで完了し，こっちもきちんと書き下すことができた。 あと2歩。

今日は午後からほぼデスマッチ状態でセミナー。ひとまずしばらく前までに得られた結果は大丈夫らしいことを確かめた。 あと少しのところだが，どうやっていいのか，すべてわかっていたわけではないので，どこに困難があるかを説明し，二人して考え始める。 …