今日は天皇誕生日の振替休日でクリスマスイブだった．しかし，observer参加している某ゼミで26日に私の研究の話をさせてくれるということになったので，研究のメモや某先生ゼミのノートを取りに登校．自分のマシンの細かな設定変更は26日以降かな…