10月1日は NAIST 創立記念日ということでお休み。実は数年前まで学生は休みなのに職員は休みではなかったようなのだが、いまは職員も休みらしい。とはいえどうも購買は開いているようで、お疲れさまです、と思いつつ駐車場の定期券の更新。今日の仕事一つ完…