首页 >

莱斯利·兰波特

✍ dations ◷ 2025-10-22 16:02:32 #1941年出生,在世人物,图灵奖获得者,麻省理工学院校友,布兰戴斯大学校友,美国计算机科学家,IEEE约翰·冯·诺依曼奖获得者

莱斯利·兰波特（英语：Leslie Lamport，1941年2月7日－），美国计算机科学家。也是排版系统LaTeX的开发者。

兰波特1941年出生于纽约，是欧洲移民的儿子。在麻省理工学院获学士学位以后，兰波特到布兰戴斯大学攻读数学博士，到佛蒙特州一所小型文科学校——万宝路学院教授数学。之后到麻省计算机协会做兼职工作，做ILLIAC设计。

1972年获博士学位，继续研究ILLIAC。兰波特最终得出证明，分布系统中的相对次序与观察者有关。

2013年，莱斯利·兰波特获图灵奖。

相关

空气质量空气质量指数（英语：Air Quality Index, AQI）是定量描述空气质量状况的非线性无量纲指数。其数值越大、级别和类别越高、表征颜色越深，说明空气污染状况越严重，对人体的健康危害也
酮糖酮糖（英语：Ketose）是一种单糖，每一个糖分子含有一个酮基。类单糖，该单糖中氧化数最高的C原子（指定为C-2）是一个酮基。例如果糖与山梨糖。“多羟基酮”称为酮糖，如二羟丙酮、赤藓酮糖
睡眠不足睡眠剥夺（英语：sleep deprivation），又称作睡眠不足（英语：insufficient sleep）可以是长期的，也可以是短期的。长期的睡眠不足可能会导致疲劳、白天昏昏欲睡、反应迟钝、体重增加或减
非标准模型在数理逻辑的模型论中，称某理论的模型为非标准模型，如果它与预期模型（或称标准模型）不同构。如果预期模型是无限的, 且使用的语言是一阶的，则非标准模型的存在性由勒文海姆–斯科
私法私法，相对于公法，一般而言指的是规范私权关系的法律。目前区分公、私法并未有一个统一的标准理论，但比较多数人采的是所谓的“新主体说”，这一个说法的区分标准是：如果一个法律关
B-52同温层堡垒轰炸机B-52“同温层堡垒”（英语：B-52 Stratofortress）是美国波音飞机公司研制的八发动机远程战略轰炸机，用于替换B-36和平缔造者轰炸机执行战略轰炸任务。1948年提出设计方案，1952年第
藤野恒三郎藤野恒三郎，（日语：藤野恒三郎／ふじのつねさぶろう Fujino Tsunesaburo，1907年1月28日－1992年8月15日），出生于日本福井县坂井郡芦原町，是日本医学家，细菌学家和病史研究人员，大阪大学
南开经济研究《南开经济研究》1985年2月20日南开大学经济学院创办的综合性经济理论刊物，南开大学经济学院副院长李坤望任主编。该刊被收录于中国人文社会科学引文数据库等数据库。
钠-葡萄糖协同转运蛋白2抑制剂钠-葡萄糖协同转运蛋白2抑制剂（英语：SGLT2 inhibitors，简称SGLT2抑制剂，或称列净类药物（英语：Gliflozin））是一种通过抑制葡萄糖在肾脏内重吸收而起到降糖作用的抗糖尿病药。其原理
格雷戈里·B·贾茨科格雷戈里·B·贾茨科（英文：Gregory B. Jaczko，1970年10月29日－），美国物理学家，2009年5月－2012年7月担任美国核能管理委员会（英语：Nuclear Regulatory Commission；缩写：NRC）主席。1970年10