あれは基本的にただの置換であって，翻訳ではないから．