千盛科技，這次自動駕駛駭客松的發起者，他們的一個副總丁洋在負責看比賽簡報。

千盛科技創造了一個虛擬的環境，可以讓虛擬出的汽車在裡面跑，這是跟谷歌學習。他們向參賽者提供了一些介面，讓他們在48小時之內開發出自動駕駛的汽車，看哪個團隊能在各種路況中獲得最佳的表現。

路況分為7個部分：高速公路、城市公路、上下班高峰城市公路、山路、狹窄公路、賽道、越野。

丁洋看第一名的成績，在所有7個專案中有6個專案獲得了冠軍，開發者居然還是一個人的團隊，還以為自己看錯了，特意發訊息給主辦活動的小姐姐問個清楚，確實，那天是有一個團隊一個人，還被迫跟人拼桌呢。

丁洋是公司的CTO，喜歡看程式碼，開啟第一名的程式碼一看，先看註釋，差點驚掉下巴：“啊？形式化開發？有沒有搞錯？”

形式化開發是在穩定性要求極高的硬體、航天等領域的一種基於數學的特種技術，丁洋給公司開發的平臺都沒有用形式化開發，只是有形式化驗證，因為開發階段就用數學規劃好，實在太耗時間了，丁洋絕對想不到一個人團隊能在短短48小時之內用形式化開發的方式來程式設計，這簡直是……不是天才，必有蹊蹺。

丁洋毫不猶豫地約了常一笑來談一談。

常一笑開著他的五菱宏光來赴約，在地下停車場被保安難為了好一陣才找到停車位，他毫不介懷，帶著優雅的穩健的步伐從負一層來到千盛公司的那一層。

Loading...

未載入完，嘗試【重新整理網頁】or【關閉小說模式】or【關閉廣告遮蔽】。

使用【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟並收藏！

移動流量偶爾打不開，可以切換電信、聯通網路。

收藏網址：www.mobvista.cc

(＞人＜；)