" ": !;"
第1章 算法完成
数院教学楼，101阶梯教室。
这是数学英才班数学分析课的课堂。
军训结束之后，所有新生都正式进入到了课程学习之中，他们数学英才班自然也不例外。
讲台上，一位头发花白的老教授正在黑板上写着关于勒贝格积分的收敛定理。
作为上京大学数学英才班的课程，这门课的进度和难度都远超普通班。
????的
然而，教室后排靠窗的位置，却传来一阵轻微但极有韵律的键盘敲击声。
「哒哒哒——」
林叶盯着屏幕，手指飞快。
他正在编写着他们那套声学反演算法中关于伴随算子梯度的自动微分模块，这是核心求解器的最后一块拼图。
旁边的苏昭宇看着林叶屏幕上那滚动的++代码和夹杂其中的复杂数学注释，又看了看黑板上的￡一δ语言，只觉得一阵头晕目眩。
别人在学积分，林叶在写求解器内核；别人在理解极限，林叶在挑战工业应用的极限。
根本没得比啊！
「——关于这个法图引理的应用，大家有什么想法吗？」
老教授突然停下粉笔，目光扫向后排，以乎注意到了那个完全没听课的学生。
他眯了眯眼睛，因为电脑屏幕挡着，再加上距离有点远，老教授实在是没看清那里坐着的学生是谁。
不过，既然都在数学英才班上课了，怎么说也得认真听课吧？
「那位敲电脑的同学，你来说一下？」
全班的目光瞬间聚焦在林叶身上。
啊？
老师在点——林神的名？
他们都听说过了，林叶上课的时候可以完全不用听课，以他表现出来的水平，本科阶段的课程，即使是数学英才班的课，大概也都没有太大意义，还不如让人家在课堂上干自己的事情呢。
到时候多为他们数院发那么几篇论文，多好？
林叶的手指停顿了一下，也有些意外，不过他也没说什么，站起身，迅速扫了一眼老教授在黑板上写的内容，随后便给出了回答。
「在测度空间（仪，Σ，u）上，对于非负可测函数序列{f}，法图引理保证了下极限的积分小于等于积分的下极限。这本质上是控制收敛定理的弱化版本，不需要控制函数条件，而在