公元1045年，( )发明了活字印刷术，大大地节省了费用，提高了印刷效率。