2020-12-5(Sat): The service will be stopped tomorrow due to a power outage.
2019-7-4(Thu): We've changed our URL from http to https, so please use "https://math0.pm.tokushima-u.ac.jp".
2016-9-8(Thu):We've changed our domain from www1.pm.tokushima-u.ac.jp to math0.pm.tokushima-u.ac.jp. We set up redirection but there might be problems.
2015-12-18(Fri):The server failed to start up since 12-14(Mon), but today it starts up successfully anyhow. I'm not sure yet if the server is in sane state or not. Sorry for any inconvenience.
2015-1-30(Fri):The electricity will be cut off on 2015-1-31(Sat) so we would stop this server soon.