370多年前,加法用机器来算