谢永松把草稿纸拿了过去,在下面写到:
【supp(β)→Ωβ】
“你看,如果缺省项只是影响一个端点,那它只能算是你第一篇论文的延伸。”
“但现在你要做的是全域,你就必须证明,β不是只是在端点起作用。”
“它通过推导规则R,传递到后续定义域,所以要有传播域。”
林枫听到这,皱眉思考着。
他之前已经想到了D?到D?的迭代,但没有把β的传播域单独拿出来,如果加上Ωβ,后面的证明会顺畅很多。
想着,他立马在纸上写到:
【定义1:边界缺省元β】
【定义2:β-传播域Ωβ】
【定义3:迭代域序列{D?}】
【定义4:真实迭代域序列{D?*}】
写完,他又补了一行:
【若存在k,使D?≠D?*,则称推导Π在第k步发生域偏移】
……
时间过得很快,一直到晚上十点闭馆,两人这才停了下来。
正如之前林枫所想,有了谢永松的帮助,他的速度确实快了不少。
今天早上还只是刚有方向,现在基本上课题大致框架,以及一些大方向的证明都可以写出来了,论文进度至少来到30%。
中午那会儿他给谢永松说就这两天,只是估计说的,但在对方帮助后,这个数字恐怕还会更短。
现在只等晚上系统结算,经验加点,这个进度可能还会再次暴涨。
看着满桌子的草稿纸,他满意地点了点头。
这回这个研究完成后,他一定要先要个DY发展对象。
只要有了发展对象身份,预备也只是时间问题,正式更是等着就行。
所以,他还是挺开心的。
把这些草稿纸都收进书包后,和谢永松打了个招呼,便径直回到了宿舍。
一进门,陈坤就迎了上来,同时递上了一瓶酸奶。
“枫哥,今天辛苦了,喝点酸奶补一补。”
不仅是他,罗、林两人也是一样,捏肩捶腿,献着殷勤。
林枫心里有些无奈,把书包放下,和昨天一样先去洗漱,然后就进入到了刷行测环节。