朝は寒いが、晴れているのでだんだん暖かくなる。 起床は9時、出勤して論文の改訂。"general recursion" の日本語訳についてKtさんと議論、「（原始帰納法以外の）一般の再帰法」ということでいかがでしょうか（ちょっと説明的すぎる気もするけれど）。20時…