My homepage has moved to
https://sites.google.com/site/homepageoka/
.