This is a very old page. You will be automatically forwarded to http://logic.cs.tsukuba.ac.jp/~kam/.