的变量v，v∈V?PV?U，其由类型约束μ（vT）限制以便将此一般类T通过子域裁剪T，并转化为一个特定类问题：O?这个时候问题来了，因为没法证明通解的存在，所以在整个构建过程中可能产生无效数据会被反复筛检，导致整个数据结构出现崩坏，这个问题您说咱们从哪入手解决比较好？”
“哎，鲁师兄，帮我把门给锁了，我跟你们说，今天两位师兄不帮我把这个问题讨论个123出来，谁都不许走！饭也都别吃了！真解决了，下次我请吃满汉全席！你们随便点那种！”
周研平：“……”
……
就这样，一周时间转瞬即过。
宁为也彻底适应了在北大数院的生活，简单而充实，朴实却有趣。
研究自己的命题顺便跟师兄们斗智斗勇，也可以快乐如神仙，鲁师兄还给他介绍两位燕北大学统计科学中心的教授，有问题时还能直接视频交流，是的，一周时间，宁为已经被他的师兄们带偏了，都快忘了什么叫“打搅”什么叫“客气”。
还有一点宁为也被带偏了。
那就是时不时的也想去那栋二层楼外的草坪上去听为两个人弹奏的音乐会。
比如那晚过后的第三天，就是宁为拉着鲁东义过去听的，第五天则是鲁东义拉着宁为去听的，第六天两人对视了一眼，就一起跑去听了。
没去的两天，一天是因为两人都没在办公室里呆到那么晚；还有一天两人都在沉浸在各自的课题中，完全忘了这事。
其实这个习惯没什么不好的，也不能算耽误时间，毕竟久坐可不是健康的生活方式。脑袋用了一天，一起走出院子散步十五分钟到草坪，然后做一次免费的精神SPA，等到教室里关了灯，两人再花十五分钟散步回去，既锻炼了身体，又能让大脑得到充分的休息。
但这天晚上，坐在草坪上的宁为膨胀的好奇心终于压抑不住了。
“师兄啊，你有没有想过一件事，我们已经习惯了经常来听这人弹钢琴，如果有一天这人离开学校，再也不来了，咱们怎么办？”宁为问道。
“那就来这儿听收音机呗。反正这里也不会打搅到别人。”鲁东义如是道。
“师兄啊，我拜托你像个正常人一点行不行？等会我们去看看到底是谁在弹琴好不好？说不定还能认识一下，成了朋友想听的时候不是随时能让她弹给我们听？”宁为埋怨道。
“看来你现在还真是暴富思维模式啊。”鲁东义感叹了句。
…。。