This page moved to
https://dmc-lab.sfc.keio.ac.jp/v3
.