书海居 m.shuhaiju.net

    第九十九章 前奏【第四更】(第 2/4 页)

    ………………………………………………………………………………

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

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

    他实在是无法理解。

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

    真的是非常古怪。

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

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

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

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

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

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

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

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

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

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

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

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

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

    “语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”

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

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

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

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

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

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

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

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

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

    -->>(第 2/4 页)（本章未完，请点击下一页继续阅读）