悔一輩子！”

吳秦慘然道：“頭痛啊，頭痛！要打止痛針了！”

碧雪紛道：“活該！自己惹的風liu債自己還去！”

上海是座不夜城，永遠華燈閃爍，流光溢彩。漫步而行，街邊的商店總是透著招搖的光輝，千姿百態的路人從你面前跟你擦肩而過。汽車總是在路上賓士著，那麼的忙碌。所以吳秦份外感受到現在這份閒適的心情。

他又想起了和碧雪紛坐旋轉木馬的事情來了。那叮叮咚咚的音樂似乎又在耳邊響起來。

那個時候可曾想到過現在能夠繼續和她徜徉在幽靜的街邊，忘乎所以？吳秦淡淡地、默默地，享受著生命裡不會重現的緣份。

灑水車由遠而近，殺氣騰騰地開近了來。

吳秦眼疾手快，拉著她的手躲到安全地帶，然後鬆開了手。

碧雪紛輕聲說“謝謝”。

吳秦微笑而不語。

漫步在繼續著，時間在前進著。

兩道人影短了又長了，長了又短了，時而重疊，時而離散。

他們一直走回家。省了打的錢。

支援山人的新作《遭遇史前機器！

第120章　遺憾

第121章　缺點

第121章　缺點

第121章缺點

黃旗資訊一號工作間裡，黃斐和秦小瑜正對供應鏈管理那個模組你來我往地討論著。

黃斐最後把系統設計整理了一下，道：“小瑜，我實在是想不通為什麼aicoder可以做這麼多事情，明明這個演算法根本就沒有告訴程式嘛，它怎麼可能會自動生成程式碼呢？”

秦小瑜：“我早想過好多次了，無解，問老大，他說是，可是還是想不通。”

黃斐沉思著，一邊把系統設計匯入aicoder規定的格式。他皺著眉道：“我想到了‘對角線刪除法’，你聽過嗎？”

秦小瑜：“這個……不太瞭解。”

黃斐：“這是康托爾為了證明實數的個數比自然數多這個結論，發明了一種被稱為‘對角線刪除’的證明方法。沒想到的是，這個方法影響非常深廣，直到後來的圖靈停機問題、哥德爾定理其實都是該方法的不同延伸。”

他拿出紙筆來說明問題。

要說明對角線刪除問題可三言兩語可以完成的，在此省略，大概說一下，就是指構建一種類似二維表的集合來，透過明顯的邏輯來逐一刪除二維表中的一條對角線，以此來證明某個猜想的集合不可能存在。

用這個方法可以證明諸如“存在不存在一個程式比如說p，能夠判斷出任意一個程式x是否會在輸入y的情況下陷入死迴圈？”結果是這個程式不存在。

黃斐道：“按照同樣的道理，aicoder無論如何也不可能按照我們簡簡單單的系統設計就能生成高可用性的程式碼，可是這好像正是aicoder正在做的事情！天啊，aicoder到底是什麼東西？不行，我一定要找老大問個清楚，要不然我會崩潰的！”

“稀客，竟然是吳總來上班了！”前臺丁彩紅見到吳秦，挖苦他很少來公司上班。

吳秦正要跟她搭兩句話，餘光看到蔡堅走近了，忙把一大串話硬吞到肚裡去，嘿嘿傻笑了兩聲，趕緊快步離開。

不料蔡堅叫住了他。

吳秦只好強顏歡笑，道：“蔡總啊，有什麼事兒？”

蔡堅異常友好地道：“昨天我和技術部的同事一起討論過，我們覺得那個網格平臺綜合上來說非常優秀，像網格結點、寬頻網路系統、資源管理和任務排程工具、監測工具等方面都是世界第一流的方案，不過在應用層的視覺化工具方面稍嫌不足，等會兒我把我們的建議發給你，大家研究一下？”

吳秦忙點頭稱是，等蔡堅走後，伸手擦汗。

丁彩紅失笑道：“喲，吳總這麼怕熱呀，都出汗了！”

吳秦瞪了她一眼，生硬地道：“空調功率不足！”

這個時候，秦小喬出現了。

她穿著一套法國碎花褶飾邊裙，把法國特有的浪漫透過層層褶邊發揮到淋漓盡致。超薄真絲面料的顏色為淡粉紅打底，同樣的小碎花鋪開形成佩斯利螺旋花紋。上身的兩邊吊帶為並列的細細兩根，v字領處，順著領口密密鑲嵌了極小的水晶石。自腰以下裙襬如同瀑布般一瀉而下，層層褶邊於大腿以下處呈旋轉型展開，半透明的真絲面料相互錯疊，使原先淺顯的小碎花演變成迷離的圖案，視覺上有一種