New home page is at https://sites.google.com/view/yoshi-kohno.