第26章 海神明月刀（1/3）

千盛科技，这次自动驾驶黑客松的发起者，他们的一个副总丁洋在负责看比赛简报。\新\完′本_神,站¨ -更.新.最/全\

千盛科技创造了一个虚拟的环境，可以让虚拟出的汽车在里面跑，这是跟谷歌学习。

他们向参赛者提供了一些接口，让他们在48小时之内开发出自动驾驶的汽车，看哪个团队能在各种路况中获得最佳的表现。

路况分为7个部分：高速公路、城市公路、上下班高峰城市公路、山路、狭窄公路、赛道、越野。

丁洋看第一名的成绩，在所有7个项目中有6个项目获得了冠军，开发者居然还是一个人的团队，还以为自己看错了，特意发消息给主办活动的小姐姐问个清楚，确实，那天是有一个团队一个人，还被迫跟人拼桌呢。

丁洋是公司的cto，喜欢看代码，打开第一名的代码一看，先看注释，差点惊掉下巴：“啊？形式化开发？有没有搞错？”

形式化开发是在稳定性要求极高的硬件、航天等领域的一种基于数学的特种技术，丁洋给公司开发的平台都没有用形式化开发，只是有形式化验证，因为开发阶段就用数学规划好，实在太耗时间了，丁洋绝对想不到一个人团队能在短短48小时之内用形式化开发的方式来编程，这简直是不是天才，必有蹊跷。

丁洋毫不犹豫地约了常一笑来谈一谈。

常一笑开着他的五菱宏光来赴约，在地下停车场被保安难为了好一阵才找到停车位，他毫不介怀，带着优雅的稳健的步伐从负一层来到千盛公司的那一层。

前台正是组织比赛的小姐姐鄢然，看到常一笑，她蹭地站了起来，非常热情：“哎呀，你可算来了，我们丁总问了好几次了，在cto办公室，最里面的那个办公室，算了，我带你去。

”

公司里有一个咖啡机，不过，胶囊要自己花钱，鄢然居然用自己的胶囊给常一笑煮了一杯“大师匠心之埃塞俄比亚咖啡”，她自己最喜欢的口味。

丁洋奇怪地看了一眼过分热情的鄢然，常一笑则以为这是客人的日常待遇，毫无感恩之心地点了点头笑纳。

“我是不是得了头奖？”

常一笑有点惴惴不安，因为本来是想拿下四个项目的冠军，没想到另外两个敷衍了事的也得了冠军，幸好不是全部项目都第一，否则　　丁洋：“对啊，群组里面已经置顶了，但是群里有人说你作弊啊，因为一个人无法完成这么多代码量。

我本来对这种闲言碎语不放在心上，但是，我看了你的代码，你用了形式化开发，这这就过分了啊。

”

常一笑：“嗯？怎么了？难道自动驾驶不用形式化开发？这是安全性要求很高的项目啊，我可不想我的代码出漏子，没撞到人，撞到猫猫狗狗也不好啊。

”

丁洋：“不是不是，不是你违规了，而是感觉不可思议，我没见过一个人能写这么多代码的，四个人的团队都够呛。>*3{<8￥看!书o网<\ -¤÷追{¨最^*新>¤章?×a节`

”

常一笑：“开发这点玩意儿，还没必要作弊千万别找借口扣我奖金啊，我急需用钱的。

”

丁洋：“你有没有兴趣来我们公司实习啊”　　常一笑：“可以考虑，但是我的奖金”他很怀疑这孙子要赖账了。

丁洋老神在在道：“别着急嘛，我们要核实一下你的代码，应该是没问题，来我们公司实习一个月吧，我去给你申请5000块钱的补贴？”

常一笑：“一等奖是10万块钱奖金啊，没拿到奖金，我寝食难安”　　丁洋拍胸脯保证：“你放心，我丁洋以人格担保，就算公司赖账，我个人给你10万块钱，我把话撂在这儿了。

”

常一笑叹了口气：“好吧好吧，实习就实习，我可以周末来一天。

”

丁洋：“课程很紧？哎呀，你是什么专业的？”

常一笑：“环境工程。

”

丁洋：“并不是科班出身啊，江城大学果然出人才。

”

常一笑沮丧地离开了cto办公室，前台那里，鄢然问：“怎么了？好像不开心。

”

常一笑：“你们公司上个月有没有拖欠工资？好像给钱不痛快啊，早知道不浪费我48小时了，回家我连续睡了16小时才缓过劲来，辛苦啊。

”

他用控制情绪的能力才让自己连续48小时保持旺盛的精力，回到家，确实是睡了个16小时的囫囵觉。