本日は休暇。起床は9時半。寒い。論文修正の続きを少し、「Tarskiに帰れ」という訳か。 14時に、管理人室で宅急便によるクッキーの発送を依頼。その後三宮へ。吉兵衛でカツ丼を食べ、本屋、センター街などを回る。ハッキングの新刊は見つからず。17時に梅田…