暦で立秋を過ぎた以上は「残暑」と呼ぶのが正しい、 って言うけど、 夏については流石に意味ないんじゃないかな……暦。
久しぶりに出勤。 やや人の少ないオフィスに出社。 自分が何をしていたか思い出す目的も兼ねて、コードのクリーニングなど。 cleaning_up と名付けたブランチで、ちまちまと手工業。 夕方退社して、スーパーで食材を買って帰宅。 お風呂に入って、湯船で "Cauchy-Schwarz Master Class" (J.M.Steele 著 /Cambridge)。 夜は作業や仕事をするのはよして、安静に過す。
