米尔纳，米尔纳利物浦

米尔纳为什么刚到利物浦就当上副队长，他身上有什么特质？

放弃曼城的高薪投奔利物浦对，米尔纳看中的是利物浦队教练罗杰斯对他的承诺。如果要说米尔纳身上有什么特质，用“阳光空气”来形容他对利物浦队的作用一点也不为过。多年的踢球经验和敬业的工作态度，在利物浦队有了米尔纳之后出现“复兴”的倾向。

一、凭什么米尔纳刚到利物浦就能当副队长

在米尔纳去利物浦之前，他在曼城逐渐被“边缘化”了。但是其实力是不容小觑的。作为替补队员，他的助攻表现不俗，这一切都被利物浦队看在眼里。为此，利物浦队教练罗杰斯曾表示，如果米尔纳可以来利物浦队，那么，就给他中场的位置。对于一个不被重视的前后位队员，现在有了施展自己才华的机会，自然不会放过。所以，米尔纳放弃了曼城，加入利物浦队的“怀抱”。并成功当了副队长：一方面得益于罗杰斯教练对他的器重，另一方面是利物浦队根据他个人表现给出的战术定位，在他参赛之后，利物浦队的成绩有了明显好转，出现“复兴”的趋势。

二、为什么说米尔纳是利物浦队的“阳光空气”

米尔纳在曼城是负责边前卫的，并不是曼城战术中特别核心的人物。而米尔纳作为足球运动员，不仅有过人的能力和体质，而且有丰富的踢球经验。所以在他去利物浦之前，他在曼城的成绩也非常不错，更为重要的是，他有一颗热爱足球的心，不像有些人爱偷懒，得过且过。据利物浦队长表示，米尔纳每次比赛前都会提前到达，做一些基本的准备，以保证比赛时的良好状态。随着年龄的增长，米尔纳逐渐从中场控球改为左后卫，他非但没有任何怨言，还连连帮助球队打出了好成绩。自从利物浦队有了米尔纳，不仅战斗实力增强，而且队员士气高涨，为打“胜仗”做好了准备。

一个兢兢业业、热爱足球、为比赛全力以赴，是米尔纳最瞩目的特点。而利物浦队让米尔纳做副队长，不只是看重了他的能力，对他的人品也是即为认可的。所以说，他刚到利物浦队就能当上副队长不是偶然，是必然的。

罗宾·米尔纳的简介

1958年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。回到学术界，先后在City大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的罗宾·米尔纳讲座，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验室主任，现为剑桥大学计算机实验室教授。1991年的图灵奖授予给了爱丁堡大学计算机科学系教授罗宾·米尔纳(RobinMilner)。他是继威尔克斯（M．V．Wilkes，1967）、威尔金森（J．H．Wilkinson，1970）和霍尔（C．A．R．Hoare，1980）之后第四位获此殊荣的英国科学家，这也使英国成为除美国之外获得图灵奖的学者最多的国家。米尔纳的主要贡献在计算机程序设计语言方面，他提出了形式化逻辑系统的一个数学模型LCF，又主持开发了元语言ML并使之标准化。米尔纳还利用代数方法为并发与并行计算创建了一种概念框架系统CCS，推动并促进了并发与并行计算的发展。

讨论一下，米尔纳是什么水平的球员

詹姆斯·菲利普·米尔纳（James Philip Milner），1986年1月4日日出生于英格兰利兹，英格兰足球运动员，场上司职中前卫，现效力于英超的利物浦足球俱乐部。

米尔纳是曾效力于利兹联足球俱乐部、纽卡斯尔联足球俱乐部、阿斯顿维拉足球俱乐部、曼彻斯特城足球俱乐部。

效力利兹联期间，曾被租借到斯文登以获得首发上场的经验。转投纽卡斯尔联足球俱乐部后，亦被租借到阿斯顿维拉足球俱乐部长达一季。返回纽卡斯尔联以来，米尔纳逐渐确立首发席位，其主要任务是在两翼传中以替队友制造入球机会。目前，米尔纳已代表纽卡斯尔联出战100多场赛事。此外，他还是英格兰U21上场次数最多纪录的保持者。2009年8月，米尔纳首次代表英格兰在对荷兰一战中上场。2010年加盟曼彻斯特城足球俱乐部。2015年6月4日，利物浦官方宣布与曼城球员米尔纳达成协议，将在体检完成后签约。

米尔纳被普遍认为是一位意志坚强的球员，对此他说道：“现在，我正在做我整个生命中想做的事。现在，我在这里，并享受它的每一分钟。你必须作出一些牺牲，但我并不介意。”

米尔纳速度出色，身体强壮，体力充沛，传中脚法优秀，左右脚技术均衡，可适应左右边路，位置灵活，阅读比赛能力强。

米尔纳可以在场上保持绅士风度，他很少吃黄牌，而且从未被罚出场。

罗宾·米尔纳的著作

米尔纳的著作基本上就是他的成果的反映，主要有：《通信系统演算》(CalculusofCommunicatingSystems，Spnnger’1980)《通信与并发》(CommunicationandConcurrency，Prentice-Hall，1989)《标准ML的定义》(TheDefinitionofStandardML，MITh．，1990)《对标准ML的说明》(CommentaryonStandardML，MITpr，1991；Revisededition，1997)此外，1996年，米尔纳和旺德(1．Wand)还合编了一本《明天的计算：计算机科学未来的研究方向》 (ComputingTomorrow：FutureResearchDirectionsinComputerScience，CambridgeUnipr．)，书中有包括米尔纳自己撰写的一篇文章在内的总共16篇文章，都是计算机科学各方面的专家撰写的，论述了在计算复杂性、软件工程、并行计算、自然语言处理、数据库、知识重用、实时计算、安全、通信、交互计算、人工智能等各分支中未来研究的方向和重要课题，很值得重视。

罗宾·米尔纳的贡献

首先，在计算机程序设计语言方面，米尔纳和戈顿(M．J．Gordon)等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”(LogicforComputableFunc-tions)。LCF不但是一种有效的建模工具，还是一种强有力的验证工具，利用它可以方便地验证计算机程序的正确性。由于在利用计算机解决各种各样的具体问题时，建立正确的形式化系统在理论上和实践上都具有重要的意义，因此米尔纳的LCF受到学术界的高度评价。实际上，米尔纳是受斯科特(D．Scott，1976年图灵奖获得者)的影响和启发才从事这一研究的。我们前面已经介绍过，斯科特是研究自动机理论，和拉宾(M．O．Rabin)一起提出了“非确定性”有限状态自动机的著名学者，后来在20世纪60年代又和斯特雷奇(C．Stra-chey，1916—1975)合作，提出了程序设计语言的“标志语义模型”，为“标志语义学”(又称“指称语义学”或“数学语义学”)奠定了基础，对计算机程序设计语言的发展产生了重大的影响。斯科特曾到牛津大学访问、讲学，米尔纳听了他的讲演，看了他的著作，引起了对这个问题的极大兴趣，从而深入进行研究，并获得成果。20世纪70年代初，米尔纳在斯坦福大学的人工智能实验室作访问学者时，曾用LCF证明了那里的一个很复杂的编译器的正确性，受到有“人工智能之父”之称的麦卡锡(J．McCarthy，1971年图灵奖获得者)的高度评价。在斯坦福大学期间，米尔纳学习了由麦卡锡主持开发的函数式人工智能程序设计语言LISP，这使他受到很大启发，进一步打开了他的思路和智慧之窗。回到爱丁堡大学以后，他借鉴LISP的经验，在LCF的基础上，花了几年的时间，开发成功了一个更加重要的系统，即ML，也就是元语言(metalanguage)，一种用来描述、表达与验证其他语言的语言。ML是一种强多态类型的语言，一个ML程序也就是一个包含变量定义和函数作用的表达式序列，具有比LCF更强的推理能力。ML有时也被称为函数式语言，但与纯函数式语言有所不同，因为它具有引用的概念，即变量是可以赋值的。此外，它的输入/输出系统也引入了副作用。ML取得成功以后，米尔纳致力于使它国际化和标准化。在他的努力下，1984年成立了一个包括爱丁堡大学、剑桥大学和贝尔实验室等知名高等学府和研究机构的专家在内的15人工作小组，采取通过电子邮件交换意见进行设计的方式工作。20世纪90年代初标准ML即SML问世。SML具有高阶函数功能、I/0机制、参数化的模块系统和完善的类型系统。比如计算1+2+3+…+10的值的SML程序如下所示：letfunsumitot=ifi=othentotelse sum(i-1)(tot+i)insum100end 米尔纳另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)的。由于并发与并行计算与传统的串行计算(sequentialcomputing)有着本质上的不同，其复杂程度大大增加，无法用后者的方法和术语表达前者的意义。严格说来，所谓两个事件是“并发”的，是指一个系统内部发生的这两个事件之间没有因果关系，并非先后关系(当然，有因果关系者必有先后关系，但有先后关系者不一定有因果关系)。并发概念由发明著名的“佩特里网”的C．A．Petri于1962年首先严格定义并建立了模型。至于“并行”，指的是利用多个处理机或其他功能部件同时工作以提高系统性能或可靠性，冯·诺伊曼在20世纪40年代提出细胞自动机可认为是并行计算思想的开端。米尔纳经过深入研究，提出了一种新的观点，把可以按任意次序在系统内发生的两个事件定义为并发事件，称之为“交叠式并发”，而佩特里定义的严格并发则称为“真并发”。在交叠式并发概念的基础上，米尔纳利用代数方法创造了一种用于建立并发与并行计算的概念框架的系统叫“通信系统演算”CCS(Calculusfor，Com-municatingSystems)。CCS与霍尔(C．A．R．Hoare，1980年图灵奖获得者)所创建的“通信顺序进程CSP(CommunicatingSequentialProcess)是最典型的两个描述性并发模型，即进程代数模型，都以进程及进程间的通信为主要描述对象，系统中的事件就是进程通信，特别适合于描述分布式系统。CCS已经成功地用来解释用于书写通信协议规约的国际标准语言Lotos，而Lotos则已用于面向对象的ROOA方法中，用来描述面向对象需求定义中的抽象数据类型和进程定义。CCS本身虽然只有交叠式语义，但利用一些特殊的方法，如多层佩特里网方法，也可以建立起一个完整的真并发语义，因此具有很重要的价值。米尔纳在学术上的一个特点是十分注意打好基础，精益求精。他主持开发和标准化的ML被认为是定义得最完善，最无懈可击，结构最优美、和谐而又最短小、精悍的语言之一。在作风上，米尔纳谦虚谨慎，从善如流，非常注意听取和吸收合作者的意见。例如，标准ML有允许设计“大模块”程序的功能，就是米尔纳根据贝尔实验室的麦克奎因(D．MacQueen)所提出的构思实现的。ML原先是一个专用语言，意大利学者鲁卡·凯德利(LucaCardelli，当时还是一个正在写博士论文的研究生)实现了ML的一个扩充版本，使之更适合于教学。米尔纳看到以后十分赞赏，在它的基础上把ML进一步发展为一个通用语言。米尔纳的成功与他的这些优秀品格是分不开的。

尤里·米尔纳的求学经历

尤里·米尔纳于1961年11月11日出生在莫斯科一个知识分子家庭，父亲是一位研究美国行为管理的教授，母亲在疾病控制实验室工作。姐姐年长他8岁，是一名建筑师。父母为他取名“尤里”，因为这一年，苏联举国正为一个英雄欢腾—宇航员尤里·加加林成功环绕地球飞行一周，成为太空旅行第一人。与英雄同名的小尤里后来进入俄罗斯国立大学读起了理论物理，毕业后进了苏联国家科学院，当了4年基本粒子物理研究员，每月仅赚5美元。