• 木曜日の授業は先週で終わったので、木曜日にかんしては今日から夏期研究期間モードに入る。
• さっそく、大岡山博士主催論理学サブゼミの「夏休みの宿題」にとりかかる。命題論理の公理系の証明練習。昔、Mendelsonの教科書にあるやつを、==答えを片目でちらちら見ながら==苦労してやった記憶があるが、今回の宿題は、Mendelsonとは違う公理系なので、自力でやらざるをえない。あらためて自らの論理的直観の貧困さを目の当たりにして落ち込むが、予定では、この練習問題を多方面から研究することによって、その直観を数倍に増幅させ、この夏が終わる頃にはずっと遠くを見通せるようになっているはず。このように、なにかに取り組むときには、それを達成したあとの喜びをリアルに想像することが大切。
• {{isbn_detail '978-1584888765'}}
• 夕方は、ほぼ毎日ジョギングをしようと思っているが、記録を振り返ると、だいたい2日に1回を少し下回るペース。天候や業務に左右されるので、毎日走るつもりでもこのくらいになるのはしょうがない。
• この日も、30℃ほどの中、走りに行く。途中、パラパラと雨が降り、そのせいで湿度が上昇したのか、ふだんに増して暑さがこたえる。なんとか駒沢公園を1周して約8kmのコースを回ってくるが、体にダメージが残る感じ。予定では、そろそろ体力が戻って、もっと軽快に速く走れるようになっているはずだったんだがなあ。このように、達成したあとの喜びをリアルに想像したからといって、それが達成されるとは限らないので注意が必要。