Email: computer-system _atmark_ gen-info _dot_ osaka-u _dot_ ac _dot_ jp
(Please replace _atmark_ with @ and _dot_ with .)