Eiichi Miyagawa's page is moved to http://www2.kobe-u.ac.jp/~emiya437/.