It's down for me also:
The following error was encountered:
Unable to determine IP address from host name for issofty17.is.noda.tus.ac.jp