（)于1440—1448年间总结了前人的研究成果，发明了铝合金活字印刷。