ch00_07.html: 翻訳。