■

朝は暖かいが、日が暮れると急に寒くなる。画像は朝の風景。朝の光が海に反射する。

起床は9時、遅め。郵便局に寄ってから出勤。コード書き、いろいろ難航する。やはり任意の自然数nについて、コンピューター上でn変数述語を用意して述語論理を展開するのは大変だ。21時半に帰宅、夕食は力そば、デザートに貰い物の梨。