第381章 只恨时间太少，没能让林教授讲个尽兴

第381章 只恨时间太少，没能让林教授讲个尽兴 (第1/2页)

又是讲了大半个小时，林决大致将映射规则论述完毕后，总结道，
　　
　　“.......以上，就是关于我对通译函子进一步应用的看法。”
　　
　　“因为时间有限，在这里我便不再一一展开细讲了。”
　　
　　“现在........大家有什么问题，可以以机构代表的方式提出来，咱们再一起简单探讨探讨......”
　　
　　林决话音落下。
　　
　　在场众人都是沉默了。
　　
　　近一个小时的时间里。
　　
　　这个年轻人几乎就根据PPT上那简单函子构造，便脱稿讲了近一个多小时，属实厉害！
　　
　　不过很快......
　　
　　他们便从那种情绪脱离，再次将注意力放在了林氏函子上。
　　
　　约莫几分钟后，一位来自苏黎世理工的代表率先起身。
　　
　　“你好林教授，根据您刚才的论述......我们想知道，在范畴公理化重构，计算机函数式的跨域应用中，函子的底层逻辑是统一贯通，还是存在场景化的本质割裂呢！？”
　　
　　听到这个问题。
　　
　　林决忍不住笑了起来，只能说不愧都是世界顶尖团队。
　　
　　对方的问题，一下就跳出了表层对，落到了抽象公理与工程落地的关系中去。
　　
　　不过嘛......
　　
　　在林决面前，这个答案是显而易见的.......
　　
　　因为林氏函子光学变式，如今已经正式应用到解决光刻机多层膜了。
　　
　　在对方提出这个问题后，下方也传来一阵躁动。
　　
　　“这个问题很关键啊，虽然公理一致，但并不代表思想动机也能一样......”
　　
　　“是的，我之前也一直默认二者之间同源，但总觉得又有些割裂，似乎还得辨析一番。”
　　
　　“这牵扯到概念跨域移植核心了，简单类比应该不好解释......”
　　
　　“差不多，还是听听主讲怎么说吧......”
　　
　　众人讨论一会儿，但总归是没想出个所以然，只能再次将注意力放在林决身上。
　　
　　见现场逐渐安静。
　　
　　林决这才拿起电子笔，在电子空白页上写下两条规则。
　　
　　【形式内核同源统一】
　　
　　【应用场景理论实际差异，需要通过改变映射规则界定】
　　
　　等写完之后，林决这才不急不缓开口，
　　
　　“........我觉得不管是数学函子，还是函数式编程中的FUnCtOr，都需要保持恒等映射，因为二者本质，都是在不破坏原有结构的前提下，所做出的变换。”
　　
　　“而在计算机应用中，编程里的函子更多是服务于代码组合，需要通过传统二进制处理，再用特定映射条件加以限制，才能走得通......
　　
　　也就是说，这二者最多只能算形式上统一......”
　　
　　听到这话。
　　
　　那位苏黎世理工的发言代表皱眉，脸上闪过一丝释然，
　　
　　“这样吗？看来后续我们工程要用的话，还得拥有新的映射规则才行啊。”
　　
　　林决点头，肯定道，
　　
　　“是的。”
　　
　　“好的，谢谢林教授。”
　　
　　林决轻轻一笑，目光扫过场下，“好的......下一位。”
　　
　　..............
　　
　　接着，又是花了一个小时。
　　
　　林决简单给这些顶级机构解了解惑。
　　
　　当然了.......
　　
　　因为时间实在有限。
　　
　　许多问题林决只能大致讲一讲，提供相应的研究方向和探索路径.....
　　
　　若真要展开讨论，那估计再给他三五天时间，也不一定能够完全说完。
　　
　　不过即使如此.......
　　
　　

（本章未完，请点击下一页继续阅读）