定义为一个有指定类T的变量v，v∈V?PV?U，其由类型约束μ（vT）限制以便将此一般类T通过子域裁剪T，并转化为一个特定类问题：O?这个时候问题来了，因为没法证明通解的存在，所以在整个构建过程中可能产生无效数据会被反复筛检，导致整个数据结构出现崩坏，这个问题您说咱们从哪入手解决比较好？”
“哎，鲁师兄，帮我把门给锁了，我跟你们说，今天两位师兄不帮我把这个问题讨论个123出来，谁都不许走！饭也都别吃了！真解决了，下次我请吃满汉全席！你们随便点那种！”
周研平：“……”
……
就这样，一周时间转瞬即过。
宁为也彻底适应了在北大数院的生活，简单而充实，朴实却有趣。
研究自己的命题顺便跟师兄们斗智斗勇，也可以快乐如神仙，鲁师兄还给他介绍两位燕北大学统计科学中心的教授，有问题时还能直接视频交流，是的，一周时间，宁为已经被他的师兄们带偏了，都快忘了什么叫“打搅”什么叫“客气”。
还有一点宁为也被带偏了。
那就是时不时的也想去那栋二层楼外的草坪上去听为两个人弹奏的音乐会。
比如那晚过后的第三天，就是宁为拉着鲁东义过去听的，第五天则是鲁东义拉着宁为去听的，第六天两人对视了一眼，就一起跑去听了。
没去的两天，一天是因为两人都没在办公室里呆到那么晚；还有一天两人
144 呵，比疯嘛，谁怕谁？（加更求月票！）(6/9)