手机浏览器扫描二维码访问
第二天,陈由嘉醒来,听王崎将这些东西介绍一遍之后,也愣了。
“我这么厉害的吗?”
女孩愣愣的眨了眨眼睛。
王崎点了点头:“超厉害。”
陈由嘉眯起眼睛,笑了。
可旋即,她有有些疑惑:“这个……算是基础算学?我原本是要开发应用……”
“这对解析算君的成就,非常有用。”王崎说道:“再者,你是从算君的‘应用’之中反推出来,也算是一条‘从理论指向运用’的道路了。”
类型论,和函数编程也是息息相关了。
尽管在地球上,Lisp一类可以实际使用的函数式编程,早在类型论之前就开发出来了,但这并不妨碍类型论让整个编程,尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍,又消去了一个。
王崎深吸一口气,严肃道:“但是,师妹,这个还不算完。在你手上,这个类型论,也只是刚刚成型而已。”
陈由嘉一愣:“你叫它什么?类型论?”
王崎点了点头:“定义语言类型……你又什么不满吗?”
陈由嘉笑了:“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊,不妥不妥……”
王崎勾起陈由嘉下巴,反问道:“一对儿,有什么不妥?”
“别闹,这两个理论在算学领域天差地别……”
“名字相似而已嘛!”
笑闹之中,这注定震动历史的理论,算是敲定名字了。
陈由嘉却突然叹息:“这一次,还真是机缘巧合……若是没有海霆真人、冯老师的论战,我绝无可能触及算君的那一丝‘想法’;而若是没有算君的书稿,我纵使窥得门径,也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋:“你也足够强了。”
兴奋过后,陈由嘉忽然又有些担忧:“话说,基派算学,主要就是为了那算学根基。这次我论文发表,那便是……便是以连宗的身份加入现在的论战了吧?是不是……不大好?”
一个学派,总得有一个学派的理念一以贯之。
王崎思考片刻:“我看没什么不好啊。我发表不周之算的时候,可还算歌庭派编外成员呢。”
“啊?我总觉得你做了个不吉利的比喻……”
王崎摆手:“想哪去了……总之,不周之算,算是我万法门内崛起的一个点,也算是基派的原点了吧?可以说,连宗离宗的上一场论战,就是由我终结。而现在,也就是他们最后的论战,也算是因我而起。”
现在离宗连宗,都在尝试对不完备定理发起挑战。王崎这么说,也没错。
“我也正是因为这样,才有了组件基派的资本。”
“这一场纷乱,因基派而起,那么,由基派成员终结,也并无不妥。”
陈由嘉语气一滞:“终结……”
王崎点了点头:“终结。我该说……去吧,终结这个旧世代。”
唐老太的种田生活 玄学大佬在现代 贵门妾 武裂苍穹秦天青儿百度云 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 就想和你在一起 九子登云的作品武裂苍穹 封先生的宠爱 一觉醒来怀了崽 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 穿书之末世娇宠 周一见 武裂苍穹秦天青儿全集免费阅读 天才高手 七零空间小娇女 神道丹帝叶尘苏傲雪全本免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 人人都爱马文才
奋斗在瓦罗兰简介emspemsp关于奋斗在瓦罗兰瓦罗兰是个风景如画,民风淳朴的地方,尤其是诺克萨斯,弗雷尔卓德,比尔吉沃特这三个城市,行事作风堪称是外交的典范,世界的楷模。在那里旅游你完全不用担心你是个外国人,以及语言不通等问题。而和皮城作为双城的祖安,更是一个人人和睦相处,每天互相只说五句话,并且居民都文采斐然的城市。至于德玛西亚?哦!那里可是闻名世界的魔法之都!你可以尽情的在那里展示你的魔法天赋,并且自称是德玛西亚人。以上你就当真的听。...
娱乐圈bug简介emspemsp关于娱乐圈bug穿文,三线超实力艺人穿成学霸美少女,重征星途!冰冷仙女,软萌女神,让人欲罢不能的妖女都是她,人设是什么?来一个崩一个!粉丝不干了!妈妈粉心脏不好你赶紧把外套穿上!爸爸粉容易暴躁你...
影帝的工作日常简介emspemsp关于影帝的工作日常电视中,他是古装大侠,是水月洞天中的龙博。巨幕上,他是苏州河畔的送货员,是京城走街串巷的快递少年,是悲愤吼出兄弟乱我兄弟者,必杀之的姜午阳。他是视帝,也是影帝,他是甘韬!...
千年前着名道观唯一女观主在某天打坐时突然穿越重生在了因为心脏病突发嘎了的女孩身上。发现这女孩的名字跟她是同名同姓,搞不清楚穿越来的原因,只好选择既来之则安之。但要想在这个新世界里活下来,必须要先赚钱才行,但她姜早除了算命啥也不会,那就只能靠摆摊算命来养活自己了。大师,能给我儿子算下婚姻吗?姜早你儿子是个舔狗...
隐婚甜妻恶魔老公不好惹简介emspemsp关于隐婚甜妻恶魔老公不好惹少爷,不好了!少奶奶冒充您的身份,打了导演!少爷,不好了!少奶奶冒充您的身份,揍了制片!少爷,不好了某男冷哼,我的女人,想打谁就打谁,用的着大惊小怪?可是少爷,少奶奶她冒充您的身份,包养小鲜肉,潜了小鲜花,还说要将您的影视公司变成她的后宫团!某男大怒,反了她了!把她给我抓回来不,我亲自去!当某男带着人气势汹汹的找到左拥右抱的某女时,某女眨眨眼,亲爱的,你看这些黑锅...
无双弃少简介emspemsp昨日你欺我辱我笑我轻我贱我恶我骗我,我忍你!今日再且看你,是如何跪下求我!精彩收藏woo18vipWoo18Vip...