以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 理论计算机科学 』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  [2008年10月20日 东南大学] 徐家福教授学术报告：量子程序设计语言初探  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=68552)

--  作者：admin
--  发布时间：10/20/2008 10:47:00 PM

--  [2008年10月20日 东南大学] 徐家福教授学术报告：量子程序设计语言初探

“计算机科学”系列讲座
学术讲座通知

时间：2008年10月23日，下午 3点30分-5点30分；
地点：计算机楼301会议室（东南大学九龙湖校区）；
演讲人：徐家福  教授；
演讲题目：量子程序设计语言初探。

徐家福教授，博士生导师，计算机软件新技术国家重点实验室名誉主任，1925年1月出生，
1948年毕业于中央大学，1957年至1959年去前苏联莫斯科大学进修，1981年起任南京大学计
算机系教授、博士生导师，现任中国计算机学会副理事长。主要研究高级语言、新型程序设
计与软件自动化。代表性成果有：（1）研制出我国第一个ALGOL系统、系统程序设计语言
XCY、多种规约语言；（2）参加制定ALGOL，COBOL国家标准；（3）率先在我国研制出数据
驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理
系统；（4）完成8个软件自动化系统，如基于自行设计规约语言GSPEC的NDAUTO系统，基于
FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。先后获国家教委一等
奖四次，电子部一等奖三次，出版著作6部，发表论文150余篇。
演讲者网址：http://cs.nju.edu.cn/teacher/show.aspx?id=1

--  作者：viaphone
--  发布时间：10/21/2008 7:56:00 AM

--  老人家还挺硬朗
老人家还这么活跃啊？
--  作者：Humphrey
--  发布时间：10/21/2008 10:09:00 AM

--  
量子程序设计语言?!的确头一次听说，看来是孤陋寡闻了。
--  作者：lazyli
--  发布时间：10/21/2008 6:05:00 PM

--  
老人家彪悍。。。这个要顶。。。。
--  作者：viaphone
--  发布时间：10/21/2008 6:20:00 PM

--  
这位老人家一发彪院士都要在他面前低头哇！他是杨芙清的师兄好像，一直没评上比较亏。
--  作者：lsp_jlu
--  发布时间：10/22/2008 12:47:00 PM

--  
前些天在学校有幸聆听到大师的讲座，一睹大师的风采。声音洪亮有力，治学严谨认真。
--  作者：micropuss
--  发布时间：10/27/2008 9:23:00 PM

--  
资历很老的说～
--  作者：viaphone
--  发布时间：10/28/2008 1:08:00 PM

--  
明天好像到复旦来
--  作者：morning0070
--  发布时间：10/31/2008 7:41:00 PM

--  
膜拜一下
--  作者：netjian
--  发布时间：12/1/2008 7:17:00 PM

--  
我的导师跟我说过，北有杨芙清，南有徐家福。不知道今生有没有机会目睹此二老的风采。
--  作者：秋十三
--  发布时间：12/5/2008 7:11:00 PM

--  
很好！！！！！
--  作者：jingjuan_jia
--  发布时间：12/8/2008 3:55:00 PM

--  
我们导师的导师,很强的.
--  作者：dami8848jp
--  发布时间：12/19/2008 12:44:00 AM

--  
有人有讲稿么？发上来学习学习。。。
--  作者：yanchen_hhu
--  发布时间：3/31/2009 10:34:00 PM

--  
去年六月听了他的讲座，嗯，领域很新
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 78.125ms