ml是什么单位 ml

透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。
今天是 2022 年 1 月 13 日，在 1906 年的今天，汉语拼音之父周有光出生。周有光生于中国江苏常州，是中国著名的语言学家、文字学家、经济学家，通晓汉、英、法、日四种语言；他是屈指可数的与爱因斯坦面谈过的中国人，曾参加并主持拟定《汉语拼音方案》，被誉为汉语拼音创始人之一。回顾科技历史上的 1 月 13 日，这一天还有过哪些关键事件发生呢？
1934 年 1 月 13 日：图灵奖自动定理证明先驱 Robin Milner 出生

文章插图
图源：维基百科
罗宾·米尔纳（Robin Gorell Milner）出生于 1934 年 1 月 13 日，他是英国计算机科学家，因自动定理证明机 LCF、ML 语言、通信并发系统的一般性理论 CCS 三个方向的贡献获 1991 年图灵奖。他是英国皇家学会成员，ACM 会士；英国皇家学会米尔纳奖就是以他的名字命名的。2008 年，由于“对计算机科学的基本贡献，包括 LCF、ML、CCS 和微积分的发展”，他被选为美国国家工程院外籍院士。
米尔纳出生于一个军人家庭，早年就读于伊顿公学。后加入英国皇家工程兵部队，获得少尉军衔。1952 年，他入读剑桥大学国王学院，1957 年毕业，随后担任教师赚了第一桶金，然后在 Ferranti 公司当程序员。此后他进入学术界，先后在伦敦城市大学，斯旺西大学，斯坦福大学任职。1973 年，米尔纳回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了 LCF 的开发。ML（Meta Language）是一种支持命令式编程的函数式编程语言，是为了帮助在 LCF 定理证明机中寻找证明策略而设计的。ML 家族如今主要的两种方言是 Standard ML 和 Caml，影响了后来的 Haskell 等语言。
在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款，并成立了每年一次在爱丁堡大学信息学院举行的以他名字命名的罗宾·米尔纳演讲，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995 年，罗宾·米尔纳回到母校剑桥大学任教，并担任剑桥大学计算机实验室主任。2009 年起，米尔纳回归爱丁堡大学担任计算机科学主席。2010 年 3 月 20 日，米尔纳因心脏病发作卒于英国剑桥，享年 76 岁；他的妻子露西在他之前不久就去世了。

2000 年 1 月 13 日：微软比尔·盖茨将其 CEO 头衔让给了 Steve Ballmer
【ml是什么单位 ml】2000 年 1 月，比尔·盖茨（Bill Gates）辞去微软的首席执行官，由史蒂夫·鲍尔默（Steve Ballmer）继任；他仍然担任董事长，并为自己创立了一个新职位“首席软体架构师”（Chief Software Architect）。2006 年 6 月，盖茨宣布，他将在微软的全职工作转变为兼职工作，渐渐地转移他的职责。盖茨于 2014 年 2 月辞去微软的董事长，同时仍作为技术顾问，协助新任命的首席执行官萨帝亚·纳德拉（Satya Nadella）。

文章插图
图源：CSDN 下载自东方 IC
史蒂夫·鲍尔默是盖茨的大学同学，于 1980 年 6 月 11 日成为微软公司的第 24 名雇员，是盖茨雇用的第一位商业经理。起初他能够拿到 5 万美元年薪，正好是当时公司资本的 1% 。而微软公司 1981 年创立的时候，鲍尔默拥有 8%的股份。鲍尔默是世界上第一个只通过微软公司配给的股权成为的亿万富翁，而他既不是该公司的创始人，也不是其亲戚（而是大学同学）。
作为服务于微软最长时间的雇员，鲍尔默在担任微软 CEO 的任期和遗产受到了褒贬不一的评价；他于 2014 年下任后，微软公司销售额一共翻了三倍，利润翻了一番，但却失去了市场主导地位，错过了 21 世纪的技术趋势，例如以 iPhone 和 Android 形式出现的智能手机的崛起。鲍尔默还反对开源社区和开源软件，对竞争对手的公司和产品言辞激烈，造成了一种偏见。
常有人指出鲍尔默在任期间，微软错过了许多商业机会，包括触控智能手机和平板电脑。截至 2016 年第四季度，Windows Phone 的全球市场占有率仅为 0.3% 。而 2012 年推出的 Microsoft Surface 平板电脑系列销量惨淡；鲍尔默也曾承认开发 Windows Vista 是他最遗憾的事，但微软似乎没有从 Vista 吸取教训，2012 年推出的 Windows 8 依旧收到不小负面评价。2013 年 8 月，鲍尔默披露即将在一年内退休，当时微软股价涨了 8%，有言论直指鲍尔默是糟糕的 CEO，而鲍尔默反称自己在任微软期间，公司盈利方面做得已经相当不错，除了苹果之外，微软是最赚钱的公司。你如何看待微软在 2000 年至 2014 年这段时间的成果？鲍尔默做的够好吗？欢迎在评论区分享你的真知灼见。

ml是什么单位 ml

秒懂生活扩展阅读