ₖ₊₁=Dₖ₊₁△Dₖ₊₁*】
【若Pβ，k不可消，则ΔDₖ₊₁≠∅】
……
这一步，下午他和谢永松讨论的时候没有推下去。
当时两个人都卡在一个问题上：
边界缺省元β，到底是作为一个“缺失条件”处理，还是作为一个“推导过程中会扩散的变量”处理？
现在，他明白了。
β不是一个固定的缺口。
它每经过一次推导规则R，就会产生新的传播域。
而每个传播域，都会反过来要求定义域重新校正。
这才是迭代域重构。
……
他写的很快。
一张草稿纸！
两张草稿纸！
五张草稿纸！
十张草稿纸！
……
一直写了十七张草稿纸，时间来到凌晨四点四十八分。
原本只是30%左右的框架，现在，其中的关键推导、证明框架、主要定义……几乎被他写了一大半。
论文进度来到了60%！
对于这个速度，连他自己都很惊讶。
昨天晚上刚想到方向，今天白天推到30%，结果零点加完点，到现在只过去不到五个小时，就来到了60%！
翻了一倍！
如果明天还按照这个速度，明天晚上加完点后，恐怕就能直接写出初稿了。
这样一来，第一篇SCI的任务就完成一大半了。
想到这，他心里更高兴了，把草稿纸整理好，爬上床，没过多久，便睡了过去。
等他醒过来时，时间已经来到了上午的十点十八分。
寝室里三个室友都不在。
因为今天上午三四节是教育学基础，估计去上课去了。
微信上有陈坤发来的消息。
说之所以没有喊他，是因为想着都这个点了还没起来，肯定是昨晚上熬夜了，想让他多睡会儿。
还说桌子上有留的早饭，让他起床了吃点。
对于这，林枫只回了个“好的”，没有多说什么。
起床，洗漱，拿起早饭，边走边吃，很快便来到了图书馆小会议室。
一进来，就看到谢永松已经在里面坐着了，并且在看昨天整理的思路。
听见声音，他抬起头看了一眼。
“来了？”
…。。