Haruo Hosoya's home page was moved to here.