送刘成林教授回到台
,然后从
袋里拿
u盘接到讲台上的
晶平板电脑上,调到今天的文案提纲,拍拍话筒说:“首先非常
谢的我老师刘成林教授,然后……”
陈序在讲台
晶板上写了两个字。
晶板跟他
后的大屏幕是连在一起的,是:递归!
陈序抬起说:“我今天要讲的课题是
质递归在语义分析里的作用!
但我所讲的
质递归,跟你们所理解的
质递归是有区别的。
大家知
,在语言的语法中我们看到了递归,看到了永远向上生
的递归几何树,我们也看到了一
把递归引
固
理学理论的方法。
现在,我们来换一
思维,在这
思维
,整个世界都是建立在递归之上的。”
说到这里陈序顿了一
,然后跟着说:“我曾经考虑过一个问题,就是能不能设计一
容许某
不
确
的程序设计语言呢?
它要猜
程序猿或者的意图。
要
懂那些在语言规则之外
所的事
……”
台
有个老外举手提问。
陈序笑
:“请说。”
老外:“我知
你指的是那
有弹
的语言,但是既然都犯错了,这样的程序还有什么意义吗?”
陈序:“当然有意义。曾经有人就这个问题问过我,我现在再重复一遍,这是规则
的犯错,那么这
犯规已经不再是真得犯规,因为它们已经被包容于规则之
了。
而实际上,我已经写
一款这样的弹
语言,并基于这
语言开发
一款防护墙,它叫剑盾!”
台
无论中外教授,闻言都是大惊失
。
“什么?已经投
到实际应用当中啦?这怎么可能?”
“简直胡扯!弹
语言概念提
几十年了,到现在都没有实质
的发展,凭他竟然也敢大言不惭的说开发
弹
语言?”
“是啊~我看他就是信
雌黄……”
一时间,大会议室里议论纷纷。
倒数第三排,和张垚坐在一起的姜其森笑说:“怎么样,我就说他
平有限嘛。
他也不看看这里是什么地方?
咱们国
的教授
平大多都不怎么样,被他
两个概念给忽悠瘸了。
现场可是有很多国外
尖学校里权威教授的,他在这里胡扯,那就是找打脸。”