u，其由类型约束μv（t）限制以便将此一般类t通过子域裁剪t″转化为一给定问题的特定类t′。
“即o?”
……
“嗨，你回来了？”当办公室门推开，江同学走进办公室时，宁为恰好通过列出的定义，完成了论文中一个定理的证明。
“是啊，今天出门忙了一天，累死了。”宁为心满意足的推开了面前的笔记本，看了眼时间，正好晚上九点半。
“忙什么去了？”江同学坐在钢琴前顺口问了句。
“去买了些二手电脑设备。”宁为想了想，答道。
“哦！”江同学点了点头，然后推开了琴盖。
“那个，花了差不多两个亿吧。”宁为又说道，有些事还是得让这女孩知道的，他没兴趣像电视剧情节里一样，隐瞒自己身价，然后惹出些人间轻喜剧。
两人已经确定在一起了，有些事情就没必要藏着掖着。主要是宁为觉得以后他赚得肯定要比几个亿多。
女孩手顿了顿，侧着脸有些疑惑的看向坐在对面的宁为：“两个亿是指人民币？”
“嗯呐，前些天我的专利授权到账了，考虑到要让三月发挥更大的性能，今天就去买了个超算中心。记得我跟你说过吧，湍流算法我授权出去了，然后每个季度都能分点钱。”宁为点了点头，解释道。
“哦！”江晨霜嘟着嘴点了点头，问了句：“那你这应该算是提前财务自由了吧？”
宁为想了想，好像的确如此，便点了点头说道：“如果不乱来的话，差不多够了。不过也得看怎么花。比如买个超算中心就花了1.9亿，要维护这个超算中心每个月花费也不少，大概问了下，所有优惠都算上，一个月下来大概也要大几十万吧。”
“那你可得继续努力。如果你以后想建个大实验室可能更花钱。”江晨霜点了点头，说了句，然后双手很自然的搭在了电钢琴上。
任由琴声在房间内流淌，宁为立刻闭嘴不言，欣赏着女孩弹琴的姿势，就好像在维也纳金色大厅里欣赏钢琴独奏。当然，如果把电钢琴换成更大气的钢琴就更完美了。
一个小时很快过去，当江晨霜如同往常一样合上琴盖时，宁为也从位置上站了起来：“走吧，我送你回寝室。”
孩点了点头，然后如同往常一样，被宁为攥着走出了办公室。
“鲁教授那边还亮着灯呢，还在忙啊？”
“最近一段时间鲁师兄都会比较忙，没办法，功课落后太多了，他得赶紧赶上来。”宁为骄傲的说道。
让一位数学家放弃自己原本研究的东西换到一个全新的方向来，可不是一件简单的事情，但他做到了，当然有理由骄傲，这起码代表着鲁师兄对他的认可。
“鲁师兄还要做功课？”江晨霜疑惑的问了句。
“嘿嘿，换了研究方向，前期当然要做足功课。这就跟你们学习数学一个道理，比如开始学习洛必达法则，就要不断做题联系，把这个数学工具运用熟练一样。”
宁为解释了句，随后说道：“别理鲁师兄了，后天就是国庆节了，我准备给自己放几天假，你有没有特别想去的地方？我们可以出去玩一圈。”
“国庆人很多的，还是不要出去凑热闹了吧？而且你也说了以后超算中心很花钱的，假日出门人多还很贵，不如呆在学校里。”女孩摇了摇头说道。
“钱其实问题不大的。你不能小看我的吸金能力，不过你要嫌人多的话，咱们就定一个京城游玩计划呗，说起来我来京城这么长时间了，还真没出去逛过，你得陪我。”宁为要求道。
“哦，那我们就出去玩三天，剩下四天时间我复习功课准备期中考试，你就忙你的研究好不好嘛？”女孩侧过头，软软的祈求道。
听了这话宁为有些气闷，问道：“期中考试有那么重要吗？”
江晨霜想了想，然后点了点头，老实的答道：“如果不及格就不好了，这学期开的公司财务学跟银行货币学好多概念我还要多看看书才能理解，而且今年还是高数b跟线代最后一学期课程，如果不过关，就真得重修了。”
“不是，你凭什么觉得你的高数b跟线代会重修？晨霜同学，你是不是有点太不把你男朋友放在眼里了？以后你每天晚上给我送饭后，我帮你补习一小时这两门课。”宁为说道。
经济学的东西宁为不太懂，但是要说道高数跟线代，他是真的精神了。
“那这样不会耽误你做研究的吗？”江晨霜嘟着嘴说道。
“半小时让你做题，找出你的问题在哪，半小时给你讲解，能耽误什么？放心好了，给你辅导的时间对我来说就是休息下脑子。对了，我上次让朋友帮你整理的资料，你都发给你妹妹了吗？”宁为又追问了句。
“发了……”
“嗯，那就行，那你告诉你妹妹，那些资料都是她姐夫准备的吗？”
“啊……”江晨霜有些懵，然后老老实实的摇了摇头。
“所以你说的是一个朋友？”宁为又不乐意了，侧头瞪了眼身边的女孩问道。
江晨霜微不可查的点了点头，小声争辩了句：“她在读高三呢，哪好跟她说这些。”