资讯频道 → 行业应用
阅读更多

6顶
0踩

行业应用

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

2010-03-23 18:01 by 副主编 just_cool 评论(2) 有1956人浏览
游戏 安全


 美国计算机协会会员、图灵奖得主罗宾·米尔纳(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桌面模板，非常精美。 特意公开出来供大家使用，希望大家喜欢。

  • 仿苹果官网首页面（Hbuilder X+CSS）

    仿苹果官网，学HTML的第四天。老师布置的作业敲一个苹果官网。 文章目录 一、代码 二、使用步骤 1.引入库 2.读入数据 总结 一、代码 <!DOCTYPE html> <html> <head> <meta charset="utf-8"> <title>Apple（中国大陆）- 官方网站</title> </head> <style type="te..

  • 苹果官网首页页面设计

    今天把原来学html时，做过的小项目拿出来写一下，总结一下。 苹果官网这个首页，主要的要点在于它对于浏览器窗口大小的自适应变化 目标图 大页面 中等页面 小页面 这里我只截取了一部分。它整个页面都会根据窗口大小来变化。 实现代码 页面 <!DOCTYPE html> <html> <head> <meta charset="utf-8" /&g...

  • 仿苹果 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...

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

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

  • 仿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....

  • 无线电能传输中电动汽车充电的Matlab与Maxwell仿真：线圈结构与补偿拓扑优化

    内容概要：本文详细介绍了无线电能传输技术在电动汽车充电中的应用，特别是在Matlab和Maxwell中的仿真过程。首先讨论了SS补偿拓扑的Matlab仿真，展示了如何设置线圈参数、进行谐振匹配以及通过相量分析判断软开关状态。接着探讨了Maxwell中DD线圈的3D电磁场仿真，强调了自定义网格划分和涡流场计算的重要性。随后，文章深入研究了多线圈阵列仿真，揭示了不同线圈布局对耦合系数的影响，并提出了LCC补偿拓扑的应用。此外，文中还分享了许多实用技巧，如避免常见错误、优化仿真参数以及处理实际测试中的问题。 适合人群：从事无线电能传输研究的技术人员、研究生及以上学历的研究人员。 使用场景及目标：适用于需要深入了解无线电能传输技术及其仿真的研究人员和技术开发者，旨在帮助他们掌握Matlab和Maxwell的具体应用，提高仿真精度和效率。 其他说明：文章不仅提供了详细的代码示例和仿真步骤，还分享了作者的实际经验和教训，使读者能够更好地理解和应对仿真过程中遇到的问题。

  • 用户增删改查功能的前端页面，添加了vue渲染代码

    用户增删改查功能的前端页面，添加了vue渲染代码。

  • 计算机课程设计相关资源

    计算机课程设计相关资源

Global site tag (gtag.js) - Google Analytics