阅读更多

6顶
0踩

行业应用

转载新闻 图灵奖得主罗宾-米尔纳去世(图)

2010-03-23 18:01 by 副主编 just_cool 评论(2) 有1874人浏览


 美国计算机协会会员、图灵奖得主罗宾·米尔纳(Robin Milner)

 

据国外媒体报道,美国计算机协会会员、图灵奖得主罗宾·米尔纳(Robin Milner)于3月20日星期六去世,享年76岁。

 

米尔纳开发了LCF,这是首款自动定理证明工具之一。他为LCF开发的语言ML是第一个多态类型推演和具有类型安全异常处理机制的编程语言。米 尔纳还为分析并发系统开发了一个理论框架,即CCS(calculus of communicating systems)及其前身pi-calculus。临终前,米尔纳还在研究bigraph,这是一种包含CCS和pi-calculus的普适计算形式。

来自: sina
6
0
评论 共 2 条 请登录后发表评论
2 楼 无厚之刃 2010-03-24 13:53
这照片很可爱
1 楼 paulQuei 2010-03-24 10:08
敬礼!!!

发表评论

您还没有登录,请您登录后再发表评论

相关推荐

  • 分享一个仿苹果风格的Web桌面模板~~

    这是我开发的一款仿苹果风格的web桌面模板,非常精美。 特意公开出来供大家使用,希望大家喜欢。

  • 仿苹果 html,高仿Mac桌面(HTML5+CSS3+Bootstrap)

    Bootstrap 自 Twitter,是目前最受欢迎的前端框架。Bootstrap是基于 HTML、CSS、JAVASCRIPT 的,它简洁灵活,使得 Web 开发更加快捷。Bootstrap是基于HTML5和CSS3开发的,它在jQuery的基础上进行了更为个性化和人性化的完善,形成一套自己独有的网站风格,并兼容大部分jQuery插件。效果:知识点总结:使背景图片能够随着窗口的大小变化而变化:...

  • 我是如何用 VUE 写了个仿 macOS 界面的Chrome插件的?

    前言 大家好:我是java猿,学vue有一年的时间了,这个项目也是无意间用业余时间写的,本身是比较喜欢写一下东西(这款在线json解析工具也是我写的http://www.jsonnn.com/)。也不能说好,一开始是想写一个IntelliJ IDEA插件的,一款文本编辑Markdown格式的,然后写完的文章可以一键发布到多个平台,因为这对(有些文章习惯的)程序员来说会方便一点,写完后一键发布出去,老吊了。 这种一键发布的网页版的很多了,但是IntelliJ IDEA版本的貌似还没有。但是想想为什么大家都写成

  • 仿mac桌面html模板

    html写的仿mac桌面,仿的效果很不错,可以应用到各个场景,没有加密代码,均为原始代码

  • 防苹果mac后台模板html

    防苹果mac后台模板,高仿mac,html+jquery

  • HTML5高端大气炫酷仿Win10桌面系统网站模板.zip

    HTML5高端大气炫酷仿Win10桌面系统网站模板下载。Win10风格后台管理模板,一款基于Layui的前端模板,快速打造Win10风格Web前端后台管理界面模板下载。针对略懂前端的后端人员定做。它本身具有丰富的API和配置,让你以很少的前端代码,快速打造一个Win10版的Web管理系统模板。

  • HteOS - Win10 Metro UI 风格的Web桌面

    HteOS是一款Win8 Metro UI风格的Web桌面应用开发框架 现代的、简约的界面,丰富的组件、功能,全新的Web桌面

  • 高仿WEB QQ桌面,myDesktop3.0最新版,包含开发文档

    原文:高仿WEB QQ桌面,myDesktop3.0最新版,包含开发文档 源代码下载地址:http://www.zuidaima.com/share/1900042430336000.htm 官方最新版本,本人花800元购买,现共享给需要的朋友,有NB的捧个B场,没B的捧个气场。 官方验证: 兼容firefox和chrome,确实效果不错,大家可以放心下载。

  • 完美Web仿Mac菜单界面设计

    网上已经有一些仿Mac菜单的Web设计,但实现有局限且功能非常有限,本文真正实现了Mac菜单设计。(完美实现了拖拽删除、拖拽排序、强制恢复大小等细节)​大家先看看实际效果,觉得适用再看具体代码:​http://v.youku.com/v_show/id_XODk0NTE1Nzcy.html具体代码及分析:<%String contextPath = request.getContextPath();

  • html5高仿mac桌面,WinDynamicDesktop(高仿macOS动态壁纸)

    WinDynamicDesktop是一款动态壁纸软件,高仿mac os动态壁纸,让你在win系统中也有mac的体验,并且可以为win10添加可随地点、时间变换光线的壁纸,非常的智能化,需要的朋友赶紧来下载试试吧!软件介绍WinDynamicDesktop是一款 Windows 10 下的开源的动态壁纸应用,它模仿了 macOS 系统上的官方动态壁纸功能,可以随地点与时间进行光线变化,拥有 Cat...

  • 仿Windows桌面(HTML5+CSS3)

    emmm 自学HTML5的过程中做了一个仿Windows的界面比较粗糙 记录一下=-=&amp;lt;!DOCTYPE html PUBLIC &quot;-//W3C//DTD XHTML 1.0 Transitional//EN&quot; &quot;http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd&quot;&amp;gt;&amp;lt;html xmlns=&quot;http://www.w3....

  • 8个超炫酷仿苹果应用的HTML5动画

    苹果的产品一直以精美的UI著称,无论是软件应用还是硬件设备。本文主要分享了8个很不错的HTML5动画应用,这些动画正式模仿了苹果的各类应用,有焦点图、钟表、菜单等HTML5应用和jQuery插件,大家一起来欣赏吧。 1、jQuery/CSS3实现仿苹果的CoverFlow图片切换 这次要分享的也是一款基于jQuery和CSS3的仿苹果CoverFlow图片切换应用,并且可以自定义添加图片,效果...

  • ta-lib-0.5.1-cp312-cp312-win32.whl

    ta_lib-0.5.1-cp312-cp312-win32.whl

  • 在线实时的斗兽棋游戏,时间赶,粗暴的使用jQuery + websoket 实现实时H5对战游戏 + java.zip课程设计

    课程设计 在线实时的斗兽棋游戏,时间赶,粗暴的使用jQuery + websoket 实现实时H5对战游戏 + java.zip课程设计

  • ta-lib-0.5.1-cp310-cp310-win-amd64.whl

    ta_lib-0.5.1-cp310-cp310-win_amd64.whl

  • 基于springboot+vue物流系统源码数据库文档.zip

    基于springboot+vue物流系统源码数据库文档.zip

  • ERA5_Climate_Moisture_Index.txt

    GEE训练教程——Landsat5、8和Sentinel-2、DEM和各2哦想指数下载

Global site tag (gtag.js) - Google Analytics