第九十九章 前奏

当妹子说出“你不帮我我去找我爸帮忙”的时候,大约是个男人就得服软吧。

王崎是这么认为的。

陈由嘉和陈景云关系紧张,多是因为陈由嘉爱闹别扭。实际上,陈景云一直对女儿心怀愧疚,觉得没有照顾好女儿。所以,陈由嘉找他帮忙,他多半会去帮的。

至于其他……

王崎觉得,自己老丈人未必会意识到女儿找算君是一件多么危险的事情吧?或者一思考就忘了什么的。

这一点,陈由嘉也是这么想的。

但毫无疑问的是,陈景云多半会帮转。

所以,王崎觉得,这还不如自己来呢。

之后的三天,陈由嘉都在想办法完善这型论。

与此同时,她也写出了初步的论文,并将部分稿件与致谢函放在一起。

而在这个过程当中,基派则依旧按照自己的步调走着。

他们不会为了这等事情而停下自己的脚步。对于算学家来说,没有什么比“算学的根基”更为重要的事情。

甚至王崎也不再去毓族聚居地。他将形式语言学完全交给了子虚易等新一代的毓族算学者,自己则只是抽空指点。

他也回到了基派的工作上。

整个学派有条不紊的运转,一点一滴的推进。

他感觉,自己距离下一个关口更近了。

……

无光天牢,算君接到了新的信函。

“致谢……”算君眉毛微微扬起。这倒是很罕见的理由。

而且……陈由嘉……这个名字很陌生啊。应该是最近才出头的新一代。却不知道找自己做什么。

这样想着,算君继续阅读。

然后,他笑了:“呵呵,居然是那一份文稿吗?还行,有人能够做出点新东西。”

他带着这样的表情,仔细读了一遍,然后又扫了一遍。

第一遍的时候,还有点兴趣。但第二遍,脸上的笑意就逐渐减少了。

“只是这样啊。”他如此想着,感觉稍稍有点扫兴。

他对这东西倒不是特别看重。

不过,对他来说,这一篇论文,也确实有点用处。

起码,能够让他更好的理解兽机关集群——但没这篇论文,他也不是不能工作。

“总归是承你的情。”算君自言自语着,放开一个幻术界面,带着两分认真的,写了一封回函。

……

神州本土,冯落衣震惊的看着自己手上新的信件。

“陈由嘉……王崎那边的?”

他实在是无法理解。

为什么,这种带有典型连宗思维特征的论文,会出自一个……离宗弟子之手?

真的是非常古怪。

但是,这东西,确实阐释了一些兽机关集群的混沌拓扑网络算法的精髓,解答了一些疑惑。

但也只是阐释了部分而已。

算君的成就,可还没那么简单。

冯落衣忍不住又看了一遍。

他本能的感觉到,这一片看上去好像离宗连宗算理杂交产物的论文,蕴含着巨大的可能性。

于是,他快速连上了图灵真人。

“图灵道友,我这里有一篇论文,很有意思,希望你能看一看。”

半个时辰之后,图灵真人出现在万仙幻境之中:“这篇论文,真是了不得啊。”

对于类型论牺牲图灵完备的做法,他倒是没有任何意见。相反,他还觉得挺有趣的。

第一次想到有这样的结构。

如果说“图灵机”的构想是画地为牢,那么“类型”就是一副枷锁,将使用者牢牢束缚。

他确实是觉得这样很有趣。

图灵真人显得有些激动:“根据这理论当中的一些东西,我觉得,可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子!”

“语言?哦,语言!”冯落衣突然问道:“《形式语言学》,你已经了解过了吗?”

“怎么可能不了解?”图灵真人瞪大眼睛,反问道:“你弟子的成就,你自己就不关心吗?”

“嗯……了解倒是有了解……”冯落衣沉吟。

形式语言学,他了解得确实不多。

这几个月里,歌庭一直在秘密联系他,邀请他再做元算之算。

本来,冯落衣就觉得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也颇为愧疚。

这大半年来,他的精神都投入其中了。

“有了王崎的形式语言学,做算器的语言,也就容易了许多。”图灵真人说道:“我觉得,你也可以好好了解一下。”

冯落衣点了点头:“确实……”

——不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗?

——端是深谋远虑!

“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道:“说不定能够做出什么东西来。”

冯落衣点了点头:“嗯,王崎也是一般看法。”