北大サーバー、どうもまだ時間がかかるっぽい。 サーバーの移転作業は無事できたようなのだけど、その後トラブルがあったよう。 アドレス変更を余儀なくされてしまっていて、復活しても元のURLではなくなるらしい。これは、この機に移転するしかないか…。 ★…