讨论告一段落,沈老师拍了拍手上的粉笔灰。
“光有理论不行,你们这次是去打微软的创新杯,评委要看的是能跑起来的东西,所以工具链我给你们定一下。”
“理论推导你们在 Macaulay2或者 SageMath里验证,跑通了再把求解器用 C++重写进主程序。”
“IDE用 Visual Studio,云端如果要做大规模训练和数据处理,挂 Azure,这一整套都是微软生态,部署演示的时候顺,评委也认。”
沈老师再交代几句就让他们自由讨论了。
漆昊侧过头问赵平:“刚才沈老师讲的那套射影簇的思路,你听懂了吗?”
“没听懂。”赵平挠了挠头,“一个字都没听懂,我连那个坐标都算了三遍,结果得出了三个答案。”
卧槽,老哥你这么实诚吗?
学校传说,计算机学院装逼的人最多,一个个张口闭口架构、调优、底层原理,恨不得把简历刻脑门上,他还做好了心理准备,要跟一个满嘴术语的人合作了。
结果对面这位,实诚得过分。
“你没学,听不懂很正常。”漆昊替他找补道。
“赵学长,我最近自学了点C#,书上说它有自动垃圾回收机制GC,写起来比C++安全得多,为什么刚才沈老师提到飞控和求解器部分时,更推荐用C++呢?”
一听到自己比较擅长的领域,赵平自信地答道:
“那肯定得用C++!C#虽然写起来爽,但它运行在.NET虚拟机上,那个垃圾回收GC可是不定时的,你想想,无人机在天上每隔两三毫秒就要重新计算一次姿态,要是C#的垃圾回收突然启动,把线程停掉哪怕五毫秒去清理内存,这五毫秒里无人机就等于直接失控,当场就能给你砸地摔个稀碎。”
“而C++是直接编译成机器码,内存全部手动控制,虽然容易写出Bug,但它的时间响应是微秒级的稳定,所以只要涉及底层硬件和实时控制,C++就是雷打不动的亲爹,C#顶多用来写写地面站的可视化界面。”
漆昊一本正经道:“学到了,赵学长在这块果然非常专业,有你把关,这套系统的架构我就放心了。”
赵平被这一通夸奖,耳根有些发红。
他长这么大,被人夸专业的次数屈指可数,更别说夸他的还是个能跟教授对着黑板讨论代数几何的狠人。
看着漆昊已经一脸严肃,开始在笔记本上推演复杂的数学模型,赵平心想漆昊这边完成建模,接下来就是编程落地,他这个当学长的绝对不能拖后腿,今晚回去,高低得通宵把之前学过的C++再啃一遍!
赵平在那胡思乱想,老王走了过来。
“漆昊,找你点事,有个叫林岚的,说之前在省图见过你,她跟学校联系,说想要你的联系方式。”
“学校这边没敢直接给,这人来路大家都不清楚,你要是觉得不合适,我直接让你们辅导员去回绝她,省得接触些不三不四的人,耽误正事。”
漆昊立刻反应过来。
“王老师您误会了,林岚编辑帮过我大忙的,之前她帮我找到了引用的苏联文献,并且在网络上帮我说话。”漆昊说道。
老王这才想起:“哦是她啊!你这么一说我想起来了,那是我多虑了。”
“没事,您也是为我好,我手机号和QQ号都给她吧,正常联系,没问题。”
老王点点头走了。
老王前脚刚走,赵平后脚就来了精神:“咱们晚饭一起吃啊?食堂二楼新出了个铁锅炖,听说挺好吃的。”
漆昊摇头:“不去了,我得回去看书。”
“连饭都不吃?”赵平瞪大了眼。
“为了节约时间。”
开挂时间很宝贵的,吃饭算什么,漆昊背起包就走了。
赵平站在原地,一脸诧异。
学霸……连饭都可以不吃,把时间全省下来看书。
这就是差距啊。
一股近朱者赤的豪情在赵平心中升起。
学就学呗,他堂堂赵平还能输给一顿饭?
今晚他也不吃了,省下这工夫多看两页 C++!
于是赵平挺直腰板,硬气地回了宿舍。
晚上八点半。
赵平趴在桌上,眼前一阵阵发黑,手指头都有点发抖,书上的 for循环在他眼里游来游去,每一个分号都长出了腿。
他扶着桌沿,艰难地咽了口唾沫,喉咙里全是胃酸的味道。
“不……不行了……”他声音虚弱地扒着上铺的床帮,“哥几个……谁那还有……还有吃的不……我血糖……我头晕……”
室友迅速扔过来半包饼干,赵平以光速塞进嘴里,眼神这才慢慢聚焦回来。
他瘫在椅子上,看着天花板,发出感慨:“果然……学霸的身体和普通人不一样……人家一顿不吃跟没事人似的,我饿一顿差点交代在宿舍里。”
看来近朱者赤赤不了!
……
此时漆昊已经一头扎进了书里,外面天黑透了都没察觉。
宿舍门被推开,学习委员拎着两大袋零食进来找王俊还书。
“漆昊?漆昊在不在……”学习委员本想招呼漆昊,发现漆昊正在看书,他蹑手蹑脚地走过去,把其中一整袋零食轻轻搁在漆昊桌角,剩下一袋给了王俊。
漆昊全程毫无知觉。
漆昊正在看赵平给的《代数簇的双有理几何》。
开篇就不留情面,极小模型纲领的框架铺得又快又密,他一路顺着读到关于锥定理的论证,卡住了,书上那一句“by the Rationality Theorem”轻轻带过,可中间那一步从交截数的有界性跳到有理性的推论,他怎么也想不明白。
漆昊打开QQ,点开那个置顶的头像。
“王老师锥定理这里我卡住了,理性定理那步衔接不上。”
过了两分钟,对面跳出一行字:“你怎么学到这里了?速度也太快了吧,你试试别盯着结论看,回去想,标准锥的边界为什么是局部多面体的?把它当成线性泛函,去切那个锥。”
漆昊下意识地把笔尖抵在草稿纸上,但还没落下,那条线索就已经自己在脑海里铺开了。
切割、有界、有理斜率,三个原本散落的概念接了上来,既然边界是有理多面体的,那收缩态射存在性其实根本不需要书上那一长串构造!
这种感觉很奇怪。
就想有人把他雾蒙蒙的思路擦得透亮。
他顺着这股劲又往下看了一会儿,笔记写得飞快,连书页翻动都带着节奏。
就在他批注完一个引理、正要翻页的瞬间,系统出声了。
【检测达瓦里氏的前置学科知识掌握度提升。】
【当前前置学科知识解锁进度:30%。】
【关联成果解锁中……】
【雅可比猜想证明完整过程部分已解锁,是否查看?】