年苏格兰人John Napier提出了用机器计算的理论。