This page has moved to http://terohasu.net/publications.html.