第121章 缺点（1 / 4）
黄旗资讯一号工作间里，黄斐和秦小瑜正对供应链管理那个模块你来我往地讨论着。
黄斐最后把系统设计整理了一下，道：“小瑜，我实在是想不通为什么aicoder可以做这么多事情，明明这个算法根本就没有告诉程序嘛，它怎么可能会自动生成代码呢？”
秦小瑜：“我早想过好多次了，无解，问老大，他说是人工智能，可是还是想不通。”
黄斐沉思着，一边把系统设计导入aicoder规定的格式。他皱着眉道：“我想到了‘对角线删除法’，你听过吗？”
秦小瑜：“这个……不太了解。”
黄斐：“这是康托尔为了证明实数的个数比自然数多这个结论，发明了一种被称为‘对角线删除’的证明方法。没想到的是，这个方法影响非常深广，直到后来的图灵停机问题、哥德尔定理其实都是该方法的不同延伸。”
他拿出纸笔来说明问题。
要说明对角线删除问题可不是三言两语可以完成的，在此省略，大概说一下，就是指构建一种类似二维表的集合来，通过明显的逻辑来逐一删除二维表中的一条对角线，以此来证明某个猜想的集合不可能存在。
用这个方法可以证明诸如“存在不存在一个程序比如说p，能够判断出任意一个程序x是否会在输入y的情况下陷入死循环？”结果是这个程序不存在。
黄斐道：“按照同样的道理，aicoder无论如何也不可能按照我们简简单单的系统设计就能生成高可用性的代码，可是这好像正是aicoder正在做的事情！天啊，aicoder到底是什么东西？不行，我一定要找老大问个清楚，要不然我会崩溃的！”
***
“稀客，竟然是吴总来上班了！”前台丁彩红见到吴秦，挖苦他很少来公司上班。
吴秦正要跟她搭两句话，余光看到蔡坚走近了，忙把一大串话硬吞到肚里去，嘿嘿傻笑了两声，赶紧快步离开。
不料蔡坚叫住了他。
吴秦只好强颜欢笑，道：“蔡总啊，有什么事儿？”
蔡坚异常友好地道：“昨天我和技术部的同事一起讨论过，我们觉得那个网格平台综合上来说非常优秀，像网格结点、宽带网络系统、资源管理和任务调度工具、监测工具等方面都是世界第一流的方案，不过在应用层的可视化工具方面稍嫌不足，等会儿我把我们的建议发给你，大家研究一下？”
吴秦忙点头称是，等蔡坚走后，伸手擦汗。
丁彩红失笑道：“哟，吴总这么怕热呀，都出汗了！”
吴秦瞪了她一眼，生硬地道：“空调功率不足！”
这个时候，秦小乔出现了。
她穿着一套法国碎花褶饰边裙，把法国特有的浪漫通过层层褶边发挥到淋漓尽致。超薄真丝面料的颜色为淡粉红打底，同样淡淡的小碎花铺开形成佩斯利螺旋花纹。上身的两边吊带为并列的细细两根，v字领处，顺着领口密密镶嵌了极小的水晶石。自腰以下裙摆如同瀑布般一泻而下，层层褶边于大腿以下处呈旋转型展开，半透明的真丝面料相互错叠，使原先浅显的小碎花演变成迷离的图案，视觉上有一种醉人的亦真亦幻感。
她的俏脸上挂着浅浅的笑，内涵丰富。
裙艳人更娇，吴秦看得发呆。
秦小乔礼貌地向丁彩红和吴秦打了个招呼，自行去hr部了。
丁彩红拍了吴秦的肩膀一下，打趣道：“被迷死了吧？”
吴秦摇摇头，道：“这哪儿像个hr总监，简直是……要命！”
丁彩红道：“咱们cge就是不一般，没有制服，这样才能充分发挥人的个性，各尽所能，各展风采！”
吴秦道：“不错，夏天来了，咱们男人可就养眼了，哈哈！”
***
秦小乔刚启动汽车，发现吴秦忽然出现在车门处，轻轻敲着玻璃窗。 ↑返回顶部↑
黄斐最后把系统设计整理了一下，道：“小瑜，我实在是想不通为什么aicoder可以做这么多事情，明明这个算法根本就没有告诉程序嘛，它怎么可能会自动生成代码呢？”
秦小瑜：“我早想过好多次了，无解，问老大，他说是人工智能，可是还是想不通。”
黄斐沉思着，一边把系统设计导入aicoder规定的格式。他皱着眉道：“我想到了‘对角线删除法’，你听过吗？”
秦小瑜：“这个……不太了解。”
黄斐：“这是康托尔为了证明实数的个数比自然数多这个结论，发明了一种被称为‘对角线删除’的证明方法。没想到的是，这个方法影响非常深广，直到后来的图灵停机问题、哥德尔定理其实都是该方法的不同延伸。”
他拿出纸笔来说明问题。
要说明对角线删除问题可不是三言两语可以完成的，在此省略，大概说一下，就是指构建一种类似二维表的集合来，通过明显的逻辑来逐一删除二维表中的一条对角线，以此来证明某个猜想的集合不可能存在。
用这个方法可以证明诸如“存在不存在一个程序比如说p，能够判断出任意一个程序x是否会在输入y的情况下陷入死循环？”结果是这个程序不存在。
黄斐道：“按照同样的道理，aicoder无论如何也不可能按照我们简简单单的系统设计就能生成高可用性的代码，可是这好像正是aicoder正在做的事情！天啊，aicoder到底是什么东西？不行，我一定要找老大问个清楚，要不然我会崩溃的！”
***
“稀客，竟然是吴总来上班了！”前台丁彩红见到吴秦，挖苦他很少来公司上班。
吴秦正要跟她搭两句话，余光看到蔡坚走近了，忙把一大串话硬吞到肚里去，嘿嘿傻笑了两声，赶紧快步离开。
不料蔡坚叫住了他。
吴秦只好强颜欢笑，道：“蔡总啊，有什么事儿？”
蔡坚异常友好地道：“昨天我和技术部的同事一起讨论过，我们觉得那个网格平台综合上来说非常优秀，像网格结点、宽带网络系统、资源管理和任务调度工具、监测工具等方面都是世界第一流的方案，不过在应用层的可视化工具方面稍嫌不足，等会儿我把我们的建议发给你，大家研究一下？”
吴秦忙点头称是，等蔡坚走后，伸手擦汗。
丁彩红失笑道：“哟，吴总这么怕热呀，都出汗了！”
吴秦瞪了她一眼，生硬地道：“空调功率不足！”
这个时候，秦小乔出现了。
她穿着一套法国碎花褶饰边裙，把法国特有的浪漫通过层层褶边发挥到淋漓尽致。超薄真丝面料的颜色为淡粉红打底，同样淡淡的小碎花铺开形成佩斯利螺旋花纹。上身的两边吊带为并列的细细两根，v字领处，顺着领口密密镶嵌了极小的水晶石。自腰以下裙摆如同瀑布般一泻而下，层层褶边于大腿以下处呈旋转型展开，半透明的真丝面料相互错叠，使原先浅显的小碎花演变成迷离的图案，视觉上有一种醉人的亦真亦幻感。
她的俏脸上挂着浅浅的笑，内涵丰富。
裙艳人更娇，吴秦看得发呆。
秦小乔礼貌地向丁彩红和吴秦打了个招呼，自行去hr部了。
丁彩红拍了吴秦的肩膀一下，打趣道：“被迷死了吧？”
吴秦摇摇头，道：“这哪儿像个hr总监，简直是……要命！”
丁彩红道：“咱们cge就是不一般，没有制服，这样才能充分发挥人的个性，各尽所能，各展风采！”
吴秦道：“不错，夏天来了，咱们男人可就养眼了，哈哈！”
***
秦小乔刚启动汽车，发现吴秦忽然出现在车门处，轻轻敲着玻璃窗。 ↑返回顶部↑