手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
天才高手 玄学大佬在现代 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿全集免费阅读 七零空间小娇女 唐老太的种田生活 穿书之末世娇宠 穿成大佬假妹妹 周一见 神道丹帝叶尘苏傲雪全本免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 就想和你在一起 人人都爱马文才 封先生的宠爱 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 贵门妾 武裂苍穹秦天青儿百度云 九子登云的作品武裂苍穹 一觉醒来怀了崽
快穿之娘娘又跑了
快穿之娘娘又跑了简介emspemsp甄善，貌若天仙，心若恶鬼生前为祸国殃民的妖妃娘娘，死后是搅得地府不得安宁的恶鬼阎王为了送走这位姑奶奶，奉上了一份成神卷轴娘娘，您还是踏着祥云，去祸害神吧！成神需条件，请娘娘收集百位上神大能的心！...
我曾为你着迷
我曾为你着迷简介emspemsp关于我曾为你着迷如愿嫁入豪门，婚礼现场却被一张我几年前的裸借照片搅得鸡飞狗跳。追更danmeiwenclubwoo18vip...
窃天之人
窃天之人简介emspemsp窃天之人是骑马采红杏的经典其他类型类作品，窃天之人主要讲述了小盗，偷鸡摸狗，大盗，珠宝玉石，而我，要窃取这天命！命运，就骑马采红杏最新鼎力大作，年度必看其他类型。禁忌书屋提供窃天之人最新章...
神都传奇
神都传奇简介emspemsp关于神都传奇神都传奇因为怒揍变态教授，他被迫弃学卖烧烤，却接连邂逅冷艳女总裁，纯情富家女，更有前女友苦苦等候感情的漩涡中，他该何去何从？追更juseshuwuccwoo18vip...
医学博士穿越之调教太子成妻管严
穿越不圣母空间男女身心纯洁医术灵泉水女战地医生在执行任务时被同事背刺，本以为只是简单的穿越，没想到却身怀使命？三岁识文断字，六岁上山拜师学艺，学成归来，却惨遭杀害。母亲重男轻女，父亲冷漠，姨娘的逼迫，庶妹的欺辱，她该如何反抗。她回来之时已于太子订下婚约，优秀的人从来不做选择。婚前反派女齐明玉，太子是我的...
异世界默示录gl（穿越，np，中辣，主攻）
异世界默示录gl（穿越，np，中辣，主攻）简介emspemsp此文为上古卷轴5同人小说，但没有玩过游戏的同志们可以放心观看，没有任何阅读门坎。 现代世界的女主因叛逆与逃避，间接导致了家破人亡的她，在报仇雪恨后意外穿越到了剑与魔法的混乱世界。 一朝穿越成为了所谓的龙裔与救世主，她彷徨过，犹豫过。 但随着融入这个世界，有了许多羁绊，朋友，同伴，盟友，甚至于一个个红颜知己。 还有前世的遭遇让她最终选择了担起一切，不让遗憾悲痛再次重演。。。 ps更☆多☆书☆籍woo18vipWoo18vip...