Koichi Ito's web site is moved to https://hmito.github.io