您好，欢迎来到中国知网！ [
登录
] [
注册
]
订购热线:400-810-9888
充值中心
|
购买知网卡
|
CNKI首页
首页
搜杂志
搜文章
科学大观
|
探索自然
|
科技之光
|
军事天地
|
农业广角
|
医疗保健
|
生活科学
|
青少年科普
|
社科视野
数据加载中......
如何写出在数学层面完美的软件
苦山 ; 世界科学 2022 年 07 期
<正>莱斯利·兰波特彻底改变了计算机之间的交流方式。如今，他正致力于研究工程师如何与自己的机器交流。莱斯利·兰波特（Leslie Lamport）也许不是一个家喻户晓的名字，但对于计算机科学家而言，他是以下成果的幕后功臣：排版程序LaT eX，以及使谷歌和亚马逊的云基础设施成为可能的研究。他还引领人们对一些问题给予了更多关注，给这些问题起了具有特点的名字，比如“面包店算法”和“拜占庭将军问题”。这绝非偶然。这位81岁的计算机科学家对于人们如何使用和看待软件有着异乎寻常的缜密考量。（本文共计 3 页）
查看全文
分享到：
新浪微博
腾讯微博
人人网
开心网
豆瓣网
网易微博
·
世界科学
·
2022年07期
在线阅读
本期目录
·
细菌病原体的兴起
·
第一张银河系黑洞照片
·
光束中的量子实验室
·
线粒体和真核生物的起源
·
离赤道越近的鸟类越艳丽多彩
·
性别、免疫和大脑
·
我们究竟需要多少睡眠?
·
COVID与嗅觉丧失的答案浮出水面
·
摆脱新冠病毒，有没有出路?
·
氪同位素：地球生命元素早期故事的叙说者
·
海洋不只是在变暖，水下声景正在发生变化
·
分解塑料的独特催化剂
·
从物质科学视角看飞沫液滴和疫情防控
·
披荆斩棘，打通科研与产业化双向通道——访2014级星友张春明博士
·
“物体免疫力”及其产业实践的意义
·
美国50年产业政策评估
·
如何写出在数学层面完美的软件
·
硅时代已经终结?——解析电子经济时代无处不在的新材料
数据加载中......
数据加载中......
