The page have moved to another web site; will be automatically redirected to
https://www.logic.cs.tsukuba.ac.jp/
.