今日は学校からこの備忘録に投稿できる．アナウンスは何もないけど，学部のHTTP proxyが何かトラブっていたのだろうか?