よく晴れた暖かい日。起床は8時、眠い。ついでになぜか首がとても痛い。午前中は論文修正。午後、数学図書室へ論文コピーに行き、それから修正の続き。 夕方、新サーバーのssh設定をしようと公開鍵をサーバーに入れたが、全然 remote log in できず悩む。し…