自动数学翻译机 【电】 automatic mathematical translator