手机浏览器扫描二维码访问
如果说“图灵机”的构想是画地为牢,那么“类型”就是一副枷锁,将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动:“根据这理论当中的一些东西,我觉得,可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子!”
“语言?哦,语言!”冯落衣突然问道:“《形式语言学》,你已经了解过了吗?”
“怎么可能不了解?”图灵真人瞪大眼睛,反问道:“你弟子的成就,你自己就不关心吗?”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学,他了解得确实不多。
这几个月里,歌庭一直在秘密联系他,邀请他再做元算之算。
本来,冯落衣就觉得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也颇为愧疚。
这大半年来,他的精神都投入其中了。
“有了王崎的形式语言学,做算器的语言,也就容易了许多。”图灵真人说道:“我觉得,你也可以好好了解一下。”
冯落衣点了点头:“确实……”
——不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗?
——端是深谋远虑!
“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道:“说不定能够做出什么东西来。”
冯落衣点了点头:“嗯,王崎也是一般看法。”
只是,他始终有一道心思,放在元算之算上。
陈由嘉关于“无限公理”的阐释,也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶,真是天才的想法!”海霆真人却比其他几人都要直接很多。
他看上去更为年少,从外表上看,倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得,是王崎的道侣。”
“这么说来,是那个基派,也意识到自己过去的错误,想要来参悟连宗算理了?”
——不。
他自己否定了这个想法。
一个人转变想法,虽然困难,但还是有可能的。而一个学派,就没办法了。
黎京学派,分为老黎派和少黎派,也是这个原因。
白泽神君是离宗修士,自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量,没有打压算君。
但就算如此,少黎派还是自立了。
就算基派成立时间尚浅,也不至于就这样集体转向。
“个人的行为?还是王崎的授意?”
神道丹帝叶尘苏傲雪全本免费阅读 唐老太的种田生活 一觉醒来怀了崽 武裂苍穹秦天青儿全集免费阅读 穿成大佬假妹妹 就想和你在一起 穿书之末世娇宠 贵门妾 天才高手 周一见 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿百度云 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 玄学大佬在现代 九子登云的作品武裂苍穹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 人人都爱马文才 封先生的宠爱
陈凡出狱回到了家乡,成为一位农民,一次偶然的机会获得传承,他利用种植术,种出大卖的菜品,也利用医术,治好了多年顽疾。...
都说项少的未婚妻是乡下来的丑女草包,众人将她当成笑话看。说她丑,卸了丑妆,亮瞎所有人的眼。说她不自量力攀附豪门?她转身取消婚约,反而是项少在后面追着宠她。说她是草包,一个个马甲爆出来,打脸众人,她竟是一个隐藏的全能大佬。乔心冉背后的大佬们,一个个都争着要护她宠她。谁说我家心冉是乡下来的?她是我家族最尊贵的小公主。谁也不许欺负我们家宝贝!她是死后重生的人,活过来后,她只想开启黑化虐渣模式。没想到,一不小心成了团宠。她更是被项少放在心尖上拿命宠着护着。如果您喜欢大佬的小祖宗她又甜又野,别忘记分享给朋友...
简介沈婧清穿书后,成了庆元侯府嫡出千金。谁知运气不好,还是书中的小炮灰,而那个借运的私生女顶替了她一切的,还被两个亲哥哥千娇万宠。沈婧清发誓,这一次要夺回属于自己的一切。沈婧清吐槽不断,却没发现被偷家了。长着长着,发现一切的剧情都跟原来背离娘亲哥哥们,变成腹黑主母偷听心声杀疯了,我喝奶躺赢推荐地址...
重生后成了九皇叔的掌中宝简介emspemsp关于重生后成了九皇叔的掌中宝她本是贤良淑惠的中宫皇后,却遭奸父毒妹陷害,成了祸国殃民的妖孽。无情帝王罔顾她身怀六甲,亲手将她剖腹祭天。炎炎烈日下,她流尽了最后一滴血,涅槃重生。这一世,纵与万人...
几年前,她因他家破人亡,一夕之间生活跌落谷底。几年后,再次相见,雪九惊恐的看着面前的男人,颤着唇问你怎么还没有被恶鬼勾去魂魄?你怎么可以好好的活到现在?商阙冰凉的指腹划过她颤栗的唇九九,我过得并不好没有你的日子犹如地狱,我怎么可能过得好?那时他还太年轻,并不知道怎样去爱她。每一个爱字都伤她至深。商阙最后才知道,原来他的九九早已对他芳心暗许,是他自己一步错,步步错。(前期校园后期霸总)—他是让你漂泊无依的人,而我想成为你的归处。墙裂欢迎预先收藏。如果您喜欢商先生的小确幸,别忘记分享给朋友...
天涯孤剑简介emspemsp关于天涯孤剑凭胸中点墨,难绘万里河山,执手中孤剑,敢碎日月星辰!当这世界变得虚伪,那便用手中的剑,还这朗朗乾坤一片清明。首发tianmeixscomωoо1⒏υip...