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