第55章 解锁进度！
討论告一段落，沈老师拍了拍手上的粉笔灰。
“光有理论不行，你们这次是去打微软的创新杯，评委要看的是能跑起来的东西，所以工具链我给你们定一下。”
“理论推导你们在 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%。】
【关联成果解锁中……】
【雅可比猜想证明完整过程部分已解锁，是否查看？】
“光有理论不行，你们这次是去打微软的创新杯，评委要看的是能跑起来的东西，所以工具链我给你们定一下。”
“理论推导你们在 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%。】
【关联成果解锁中……】
【雅可比猜想证明完整过程部分已解锁，是否查看？】