■

朝は寒いが、晴れているのでだんだん暖かくなる。
起床は9時、出勤して論文の改訂。"general recursion" の日本語訳についてKtさんと議論、「（原始帰納法以外の）一般の再帰法」ということでいかがでしょうか（ちょっと説明的すぎる気もするけれど）。20時半に退所、22時半に帰宅。夕食はイカ納豆、食後「俗・絶望先生」を見る（私は加賀愛派です）。