サイトを移転するぞ

2012年4月29日

教育・研究に関係ない内容を大学内においたホストに載せるのは、よくなかろうという話があって、学外のサーバーに移動することにしました。