当妹子说出“你不帮我我去找我爸帮忙”的时候,大约是个男人就得服软吧。
王崎是这么认为的。
陈由嘉和陈景云关系紧张,多是因为陈由嘉爱闹别扭。实际上,陈景云一直对女儿心怀愧疚,觉得没有照顾好女儿。所以,陈由嘉找他帮忙,他多半会去帮的。
至于其他
王崎觉得,自己老丈人未必会意识到女儿找算君是一件多么危险的事情吧或者一思考就忘了什么的。
这一点,陈由嘉也是这么想的。
但毫无疑问的是,陈景云多半会帮转。
所以,王崎觉得,这还不如自己来呢。
之后的三天,陈由嘉都在想办法完善这型论。
与此同时,她也写出了初步的论文,并将部分稿件与致谢函放在一起。
而在这个过程当中,基派则依旧按照自己的步调走着。
他们不会为了这等事情而停下自己的脚步。对于算学家来说,没有什么比“算学的根基”更为重要的事情。
甚至王崎也不再去毓族聚居地。他将形式语言学完全交给了子虚易等新一代的毓族算学者,自己则只是抽空指点。
他也回到了基派的工作上。
整个学派有条不紊的运转,一点一滴的推进。
他感觉,自己距离下一个关口更近了。
无光天牢,算君接到了新的信函。
“致谢”算君眉毛微微扬起。这倒是很罕见的理由。
而且陈由嘉这个名字很陌生啊。应该是最近才出头的新一代。却不知道找自己做什么。
这样想着,算君。
然后,他笑了“呵呵,居然是那一份文稿吗还行,有人能够做出点新东西。”
他带着这样的表情,仔细读了一遍,然后又扫了一遍。
第一遍的时候,还有点兴趣。但第二遍,脸上的笑意就逐渐减少了。
“只是这样啊。”他如此想着,感觉稍稍有点扫兴。
他对这东西倒不是特别看重。
不过,对他来说,这一篇论文,也确实有点用处。
起码,能够让他更好的理解兽机关集群但没这篇论文,他也不是不能工作。
“总归是承你的情。”算君自言自语着,放开一个幻术界面,带着两分认真的,写了一封回函。
神州本土,冯落衣震惊的看着自己手上新的信件。
“陈由嘉王崎那边的”
他实在是无法理解。
为什么,这种带有典型连宗思维特征的论文,会出自一个离宗弟子之手
真的是非常古怪。
但是,这东西,确实阐释了一些兽机关集群的混沌拓扑网络算法的精髓,解答了一些疑惑。
但也只是阐释了部分而已。
算君的成就,可还没那么简单。
冯落衣忍不住又看了一遍。
他本能的感觉到,这一片看上去好像离宗连宗算理杂交产物的论文,蕴含着巨大的可能性。
于是,他快速连上了图灵真人。
“图灵道友,我这里有一篇论文,很有意思,希望你能看一看。”
半个时辰之后,图灵真人出现在万仙幻境之中“这篇论文,真是了不得啊。”
对于类型论牺牲图灵完备的做法,他倒是没有任何意见。相反,他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢,那么“类型”就是一副枷锁,将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动“根据这理论当中的一些东西,我觉得,可以重新构造出一门全新的高级算器语言了这能够极大的造福千机阁弟子”
“语言哦,语言”冯落衣突然问道“形式语言学,你已经了解过了吗”
“怎么可能不了解”图灵真人瞪大眼睛,反问道“你弟子的成就,你自己就不关心吗”
“嗯了解倒是有了解”冯落衣沉吟。
形式语言学,他了解得确实不多。
这几个月里,歌庭一直在秘密联系他,邀请他再做元算之算。
本来,冯落衣就觉得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也颇为愧疚。
这大半年来,他的精神都投入其中了。
“有了王崎的形式语言学,做算器的语言,也就容易了许多。”图灵真人说道“我觉得,你也可以好好了解一下。”
冯落衣点了点头“确实”
不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗
端是深谋远虑
“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道“说不定能够做出什么东西来。”
冯落衣点了点头“嗯,王崎也是一般看法。”
只是,