“定義7，數據對象O是一個有指定類T的變量v，v∈VPVU，其由類型約束μv（T）限制以便將此一般類T通過子域裁剪T″轉化為一給定問題的特定類T′。
“即O”
……
“嗨，你回來了？”當辦公室門推開，江同學走進辦公室時，寧為恰好通過列出的定義，完成了論文中一個定理的證明。
“是啊，今天出門忙了一天，累死了。”寧為心滿意足的推開了面前的筆記本，看了眼時間，正好晚上九點半。
“忙什么去了？”江同學坐在鋼琴前順口問了句。
“去買了些二手電腦設備。”寧為想了想，答道。
“哦！”江同學點了點頭，然后推開了琴蓋。
“那個，花了差不多兩個億吧。”寧為又說道，有些事還是得讓這女孩知道的，他沒興趣像電視劇情節里一樣，隱瞞自己身價，然后惹出些人間輕喜劇。
兩人已經確定在一起了，有些事情就沒必要藏著掖著。主要是寧為覺得以后他賺得肯定要比幾個億多。
女孩手頓了頓，側著臉有些疑惑的看向坐在對面的寧為：“兩個億是指人民幣？”
“嗯吶，前些天我的專利授權到賬了，考慮到要讓三月發揮更大的性能，今天就去買了個超算中心。記得我跟你說過吧，湍流算法我授權出去了，然后每個季度都能分點錢。”寧為點了點頭，解釋道。
“哦！”江晨霜嘟著嘴點了點頭，問了句：“那你這應該算是提前財務自由了吧？”
寧為想了想，好像的確如此，便點了點頭說道：“如果不亂來的話，差不多夠了。不過也得看怎么花。比如買個超算中心就花了1.9億，要維護這個超算中心每個月花費也不少，大概問了下，所有優惠都算上，一個月下來大概也要大幾十萬吧。”
“那你可得繼續努力。如果你以后想建個大實驗室可能更花錢。”江晨霜點了點頭，說了句，然后雙手很自然的搭在了電鋼琴上。
任由琴聲在房間內流淌，寧為立刻閉嘴不言，欣賞著女孩彈琴的姿勢，就好像在維也納金色大廳里欣賞鋼琴獨奏。當然，如果把電鋼琴換成更大氣的鋼琴就更完美了。
一個小時很快過去，當江晨霜如同往常一樣合上琴蓋時，寧為也從位置上站了起來：“走吧，我送你回寢室。”
“嗯。”女孩點了點頭，然后如同往常一樣，被寧為攥著走出了辦公室。
“魯教授那邊還亮著燈呢，還在忙啊？”
“最近一段時間魯師兄都會比較忙，沒辦法，功課落后太多了，他得趕緊趕上來。”寧為驕傲的說道。
讓一位數學家放棄自己原本研究的東西換到一個全新的方向來，可不是一件簡單的事情，但他做到了，當然有理由驕傲，這起碼代表著魯師兄對他的認可。
“魯師兄還要做功課？”江晨霜疑惑的問了句。
“嘿嘿，換了研究方向，前期當然要做足功課。這就跟你們學習數學一個道理，比如開始學習洛必達法則，就要不斷做題聯系，把這個數學工具運用熟練一樣。”