v ? u，其由类型约束μv（t）限制以便将此一般类t通过子域裁剪t″转化为一给定问题的特定类t′。
    “即o ?”
    ……
    “嗨，你回来了？”当办公室门推开，江同学走进办公室时，宁为恰好通过列出的定义，完成了论文中一个定理的证明。
    “是啊，今天出门忙了一天，累死了。”宁为心满意足的推开了面前的笔记本，看了眼时间，正好晚上九点半。
    “忙什么去了？”江同学坐在钢琴前顺口问了句。
    “去买了些二手电脑设备。”宁为想了想，答道。
    “哦！”江同学点了点头，然后推开了琴盖。
    “那个，花了差不多两个亿吧。”宁为又说道，有些事还是得让这女孩知道的，他没兴趣像电视剧情节里一样，隐瞒自己身价，然后惹出些人间轻喜剧。
    两人已经确定在一起了，有些事情就没必要藏着掖着。主要是宁为觉得以后他赚得肯定要比几个亿多。
    女孩手顿了顿，侧着脸有些疑惑的看向坐在对面的宁为：“两个亿是指人民币？”
    “嗯呐，前些天我的专利授权到账了，考虑到要让三月发挥更大的性能，今天就去买了个超算中心。记得我跟你说过吧，湍流算法我授权出去
 <本章未完请点击"下一页"继续观看!>