■

起床は8時。のどが少し痛い。K助教授から借りた"The Oxford Handbook of Philosophy of Mathematics and Logic"の必要箇所（LogicismおよびNominalism関連）をコピー。また郵便局に行き、書類を発送する。書類は明日には先方へ届くそうだ。
午後は科研申請書の作成（8部コピーを作り、のり付けで製本）。コピー機が旧式のため、最初に作った8部は斜めにコピーされてしまい、すべてゴミ箱行き。その後は数学科図書室（移転していて理学部内を探し回る）に行き、Whiteの論文"A demonstrably consistent type-free extension of the logic BCK"をコピー。オフィスに戻って論文を読む。