书目详细信息 : 1+1=1漫谈数学与自动化