小说屋

手机浏览器扫描二维码访问

第三百九十三章 项目进度（第2页）

他要做好持久作战的准备。

定理的推导当然不是天马行空的公式叠加，首先第一步，是确定需要定理的大概内容，再进行循序渐进的公式推导。

在草稿纸上唰唰唰计算了好一阵，才打开一个文档，在键盘上噼里啪啦的打字。

【定理1：设函数r：-r在点工∈附近满足局部lipschitz条件，（u，φ）是包含点z的坐标卡，在点z处沿方向v∈l的广义方向导数定义为：

f（x，v）=li（y→φ（x））supfφ（-1）（y+tφx（v））-fφ（-1）（y）t=（fφ（-1））（φ（x）；φx（v）】

【定理2：设映射f：-r在点z∈附近满足局部lipschitz条件则

（i）映射fφ（-1）（y）：→r是有限的、正齐次、次可加的，并全满足|f（x，v）≤l|v|

（ii）f（x，v）作为v的函数在tx满足lipschitz条件

（iii）f（x，-v）=-f（x，v）

（iv）……】

【定理3：……】

每一个定理后面，都附带一大堆的证明步骤。

这是一个相当庞大的工作量，程诺也还没有狂妄到想一两天的时间就能搞定。

忙碌碌一天一天，每天都面对那枯燥无比的公式字符，程诺却乐此不疲。

十天后，程诺将总共推导出的二十四个定理和其证明步骤，打包发给菲涅尔教授，随后很自觉的，向他要了下一阶段的工作。

又是一个五天后，程诺接到的新任务完成了才一半不到，就被江里紧急召唤到麻省理工学院棋牌社的总部。

“我记得明天是开赛的日子，我会准时去的，这个就不用你再三提醒我了。”程诺坐在椅子上，对如今的棋牌社社长江里说道。

“我这么着急找你来，所说的并不是这个。”江里苦笑道。

“那是什么事？”

“我刚刚从这次比赛组委会那边得到消息，这届围棋大赛，将会有一位特殊的选手参加！”

“特殊的选手？那是谁？”

“阿尔法零！”

“机器人？！这特么简直就是作弊啊！”

江里耸肩，“没办法，阿尔法零刚研发出来不久，虽然击败了阿尔法狗，但研发组的人还想让阿尔法零多参加几场与人类的比赛，来检测它的性能。”

“那岂不是说，这次比赛的冠军已经内定了呗。”程诺呵呵一笑，“不过没多大关系，你让我参加比赛又不是奔着冠军去的，用不到这么伤心。”

“只不过，不知道是哪个倒霉人，第一轮会碰到那个机器人。”

“呃……”江里犹豫一下，“我有一个忧伤的消息，你要不要听。”

“你讲。”程诺道。

“你口中说的那个倒霉人，就是你自己。”江里开口说道，“对阵表已经出来，你第一轮的对手，就是机器人阿尔法零。”

程诺：“……”

这，还真是一个忧伤的故事！

………………

ps：虽然有些老套，但我还是要说，祝各位中秋节牛逼！！

反派穿成黄文女主by泥菩萨TXT百度网盘  重生之国民男神  超级母舰  最终猎杀  冲喜娘妻续之逆袭人生原创番外合集  逍遥梦路  念念不忘 全集  反派穿成黄文女主校对txt资源笔趣阁  冲喜娘妻续之逆袭人生by粉色的花朵TXT百度网盘  冲喜娘妻续之逆袭人生by粉色的花朵免费阅读  冲喜娘妻续之逆袭人生原文免费读书  冲喜娘妻续之逆袭人生by(粉色的花朵)未删减版  校花的透视高手  反派穿成黄文女主续集免费阅读  大周王侯  全能游戏设计师  反派穿成黄文女主by泥菩萨免费阅读  反派穿成黄文女主by(泥菩萨)未删减版  反派穿成黄文女主原创番外合集  冲喜娘妻续之逆袭人生校对txt资源笔趣阁