<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
<meta http-equiv="refresh" content="1;
url=http://krf07.mapse.eng.osaka-u.ac.jp/~ito/">
</head>
</html>
