久しぶりにメンテ

ハードディスクの未使用容量が1GB近くになっていたので、いろいろいらないものを削除。5GBくらいはあいた。ついてにサボっていたバックアップもする。本来は毎日するべきなんだけどね。コンピュータが壊れたから仕事ができない、というのはいいわけにならないし。(まぁ、研究室が水没したりしたら理由にはなるかな)