My website has moved to http://research.nii.ac.jp/~rossman.