手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
一觉醒来怀了崽 穿成大佬假妹妹 封先生的宠爱 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 唐老太的种田生活 神道丹帝叶尘苏傲雪全本免费阅读 就想和你在一起 人人都爱马文才 武裂苍穹秦天青儿百度云 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 天才高手 周一见 武裂苍穹秦天青儿全集免费阅读 玄学大佬在现代 九子登云的作品武裂苍穹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 贵门妾
我来此界开神道
大虞末年，王朝法网破碎，地府未立野鬼横行。在这方神道不兴的世界，如何从一村土地开始，登临神道之巅，镇压阴阳。如果您喜欢我来此界开神道，别忘记分享给朋友...
重生之金牌投资
重生之金牌投资简介emspemsp结婚七年，做了八年忍者神龟，没想到却一朝重生在婚礼当天，宋祁做的第一件事，自然是在婚礼现场报复一场！之后嘛，自然是赚个盆满钵满，走向人生巅峰！前女友跪求复合？对不起，现在的爷，你高攀不起！更┆...
重生炮灰修仙记
重生炮灰修仙记简介emspemsp关于重生炮灰修仙记一个惫懒贪吃得小女子，脱胎女尊修真小说玛丽苏女主身！面临众多脑残粉男主配的天雷滚滚，逆天改命走出一条坚定不移修仙路的故事打酱油的路人甲你们打扰到努力修炼的小朋友了，这么吵怎么好好打坐啊？懒货曰其实修仙是一个偷懒的好方法，因为只要你坐在那里冥想，就算是努力修炼了！（本文非女尊文！书名什么的，一言难尽啊，本不叫这个的！）ヾ≧≦o...
重生之三国大总管
世界500强企业皇图游轮国际运营公司亚太地区总裁秦天，死于车下！本以为就此结束，不想秦天竟然没死，醒来后竟穿越到汉末变成了个小乞丐，且看秦天如何在错综复杂的战乱时代，步步为营，一路做大，建立宇宙无敌第一家族！如果您喜欢重生之三国大总管，别忘记分享给朋友...
大唐之我有帝王系统
大唐之我有帝王系统简介emspemsp大唐之我有帝王系统是白菜帮子的经典历史军事类作品，大唐之我有帝王系统主要讲述了二十一世纪的穷学生，穿越到大唐贞观时期，超级系统加持的少年，白菜帮子最新鼎力大作，年度必看历史军事。海棠屋（haitangshuwucom）提供大唐之我有帝王系统最新章节全文免费阅读！。...
卿如春风来
她是朝中重将的幺女，集万千宠爱于一身他是有异国血统的皇子，永无继位之可能。她原本性子娇纵跋扈，却因失足落水而记忆全无他看似洒脱身份尊贵，却因母族之恨活与夹缝之中。本该小心筹谋的一生，只因有你，芬芳四溢。卿如春风来，温香入满怀。本文无穿越无重生如果您喜欢卿如春风来，别忘记分享给朋友...