■

起床は8時15分、とても眠い。出勤して論文を読み、紙にシャーペンでプログラムの骨組みを書く。午後は談話会、LTLのグラフィカルな表現について。19時半に退出、21時15分に帰宅。夕食は昨日のクリームシチューにマカロニを入れたもの。