This page was moved to here.
It is one of main web pages of Prof. Takagi.