手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
悍妻[医道] 娱乐超级奶爸 大明孤狼 废材重生：邪王独宠悍王妃 直播和男神同居的日子 我是狠人大帝的同乡 天黑请开眼 眼镜兄撞上恶魔王子 烈火燃情：高冷总裁滚远点 断神 捡到病娇太子之后（重生） 系统之娇宠孕妻 穿越之弃子国师 最强除妖师 天地炼成 时光请善待我的她 赌妃在上，王爷在下 神偷长公主 一爱到底之顾少毒妻 扛着boss拼下限（末世）
墨如雨上
三世情劫，只为你一人，天下之大，只有我心似你心。一个是凌云山的神女，一个是魔界少主，一个是妖帝，三人之间，爱恨纠葛，缘许三生，三生三世只有你一人相守。情不知所起，偶然的邂逅，遇见他，爱上他，便全然不顾神仙的身份，只为他一人，缘起缘灭，轮回三世，终得圆满。如果您喜欢墨如雨上，别忘记分享给朋友...
重生之鬼王归来
王者归来，笑傲花都！什么？你是兵王，会坦克漂移？你是宗师，能生擒龙虎？你是超能者，可唤风雷？不好意思，我不是针对谁，各位在我眼中，都是垃圾！...
豪门掠情：总裁大人极致爱
...
偏执大佬和他的猫
每天固定更新时间1830韩佳之从来没想过，她只不过是玩了一场大冒险，从此就多了一个男朋友！！如此草率，当然不能做数！韩佳之想做我的男朋友，首先得打得过我！杜止谦好那一天，空手道黑带的韩佳之第一次感受到了压倒性的力量。韩佳之18岁生日那天，她搂着杜止谦的腰，无比暧昧。当晚，杜止谦坐在床边，给韩佳之讲了一晚上的马克思主义哲学。韩佳之如果您喜欢偏执大佬和他的猫，别忘记分享给朋友...
顾太太，我们什么时候复婚
两年前，林嘉阮逼着顾霆深和自己结婚了，可顾霆深心里却住着一个白月光，所有人都没把林嘉阮当回事，只是把她当做一个笑话罢了。两年后，林嘉阮递出一纸离婚协议书顾霆深，我们离婚吧，我净身出户。顾霆深一开始只以为她在玩欲擒故纵的把戏，后来他发现不是，顾霆深开始慌了，林嘉阮，你敢离婚？林嘉阮别整那些有的没的，赶紧和我去把离婚证给领了。听说外甥在追林嘉阮，顾霆深坐不住了，他开始穷追猛打，锲而不舍的追妻火葬场之路。顾霆深顾太太，我们什么时候复婚？林嘉阮一边去，复什么婚，我现在不需要爱情，只想搞事业，涨粉他不香吗？阅读指南1顾霆深高冷傲娇×林嘉阮想涨粉搞事业2虐妻一时爽，追妻火葬场如果您喜欢顾太太，我们什么时候复婚，别忘记分享给朋友...
舟行诸天
一个平凡少年，为了追求健康长生，行走在诸天世界的故事如果您喜欢舟行诸天，别忘记分享给朋友...