!!12月12日は停電
駒場キャンパスは停電ですので、このサーバーも金曜の夜中に止めます．復電は月曜の朝です．