手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
天才高手 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 就想和你在一起 穿成大佬假妹妹 神道丹帝叶尘苏傲雪全本免费阅读 九子登云的作品武裂苍穹 穿书之末世娇宠 唐老太的种田生活 玄学大佬在现代 人人都爱马文才 周一见 武裂苍穹秦天青儿百度云 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿全集免费阅读 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 封先生的宠爱 一觉醒来怀了崽
我的粗大金手指
我的粗大金手指简介emspemsp关于我的粗大金手指一个姓马，名克思的家伙，依靠着粗大的‘金手指’，混在一个与骑马与砍杀战团极为相似的异世界。美女猛将，奸佞忠臣，人间百态，俱负其中。推妹升级，成王成霸，千秋万载，一统天下！...
开局签到九转金丹
穿越九洲大陆的刘昂，开局就获得九转金丹成为金仙，在九洲大陆收徒传道搅动风云的故事。无敌文，主角老爷爷流，大杂烩，偏日常如果您喜欢开局签到九转金丹，别忘记分享给朋友...
一胎双宝：爹地，妈咪又跑了
关于一胎双宝爹地，妈咪又跑了一胎双宝爹地，妈咪又跑了成年礼那天，她家破人亡，只能出卖自己，才能让父亲活下去。他是商界帝国的霸主，翻手为云覆手为雨，向来对女人冷情冷心，却一眼认定她为自己...
田园神医：山里汉子强悍妻
媳妇，这根行不行？长度够，但太粗了。谁家针灸这么粗，这是你缝被子的针吧？妙手神医成了农家傻姑，一家子吸血鬼，二两银子就把她卖了。买主家徒四壁，三兄弟一个哑，一个瞎，还有一个是断袖，如今再摊上个傻子，这家人算是完了。贼都绕着走，简直岂有此理！哥哥们的病得治，发家致富迫在眉急，她撸起袖子就开干。开药铺，当神医，拉起了场口做生意，皇帝老儿要打仗，也要问她借口粮。眼看日子越过越红火，打秋风的来了。不好意思，想占我的便宜，没门也没窗。大哥二哥三哥，关门，放大黄！如果您喜欢田园神医山里汉子强悍妻，别忘记分享给朋友...
色批王爷你别拽
21世纪的现代女性，一朝穿越。一心搞事业的我，要爱情作甚。谁也不敢惹太悲催，谁也惹不起简直太爽了。攻略王爷，专心助他打江山！哇，终于找到机会跑路了！...
不能再等了
陆千帆坐在A城一个大厦的办公楼里。他解开蓝色西装的扣子，露出白色的衬衫，身躯向后微微靠着椅背，顺手翻开桌子上的文件。一旁的手机忽然有来电显示。陆千帆接通电话，只说了几句话，就听见门外女秘书的声音。沈嫣然小姐，我们副总监说，他工作时不许有人打扰他。沈嫣然声音咄咄逼人。滚开！也不看看这是谁家的公司，竟敢拦我？陆...