tuokuba.8

2018年我国主要经济指标持续向好发展。国内生产总值比上年增长6.6%，增速在世界前五大经济体中居首位；中国经济增长对世界经济增长的贡献率接近30%，持续成为世界经济增长最大的贡献者；2018年国内生产总值超过90万亿元，比上年增加了近8万亿元；全年进出口总额首次突破30万亿元，货物贸易规模创历史新高，保持世界第一。

本周，全国主要钢材社会库存1065.38万吨，较上周减少19.34万吨，较上月增加65.16万吨；螺纹钢库存总量439.52万吨。【大豆】USDA：10月供需报告显示，美国2017/18年度大豆产量预估上修1900万至44.11亿蒲因单产上修至49.3蒲/英亩，压榨预估维持前月预估20.55亿蒲，出口预估略调降100万至21.29亿蒲，其他需求调降2400万至800万蒲，最终结转库存由前月预估的3.95调增至4.38亿蒲式耳。巴西2017/18年度大豆产量预估由前月预估的1.195亿吨上调至1.198亿吨，压榨预估上调60万吨至4360万吨，出口预估由7670万吨下修至7619万吨；阿根廷2017/18年度大豆产量预估维持在3780万吨，进口预估略上修至400万吨不变，压榨预估小幅下修20万至3750万吨，出口预估维持前月预估的210万吨。中国2017/18年度大豆进口、压榨预估维持前月预估的9400万吨、9000万吨。欧盟2017/18年度大豆进口、压榨预估分别上修50万、10万至1500万吨。全球2017/18年度结转库存由前月预估的9474上修至9665万吨。

虽然离开了林茨，我和符号计算研究所的良好关系一直保持至今。1993年到2000年的八年，我每年都回到那里上课。1994年，吴先生的专著由施普林格在维也纳出版，该书是他后来获得邵逸夫奖的引证著作。我与同事合编的有关自动推理的论文集和期刊专辑等也于次年出版。到法国之后，我与数学机械化研究中心的联络更加频繁。1993年之后的25年，我近百次往返于巴黎和北京之间，亲历了吴先生领导的数学机械化事业的发展过程，见证了它的兴盛与辉煌。数学机械化的研究队伍在不断壮大，学术影响力在不断提升，以先生为代表的中国学派已初步形成。

文件称，腾讯在深圳市共有约38000名员工，办公面积约70万平方米，其中自有物业面积33万平方米，租赁面积37万平方米。根据公司业务发展，员工人数按每年增长13%预测，未来7年人数将达到约89000人，按人均20平方米测算，办公面积总需求为178万平方米，减去自有物业腾讯大厦、滨海大厦计33万平方米以及目前在建前海大厦15万平方米，办公面积缺口达130万平方米。

从1983年考入吴门到2017年先生离世，我曾有幸聆听先师的教诲和指导长达34年之久。先师的成就博学令人高山仰止、家国情怀令人敬佩咏叹。我热爱先师开创的数学机械化事业，并励志为其发展奋发图强、努力前行。先师对我也一直器重抬举、褒奖提携。成为他的博士生之后，我更有机会帮先生打点前后，多得先生言传身教。与师弟一起，我们帮助先生编印数学机械化预印本，组织每周一次的讨论班，举办刘徽研讨班和暑期讲习班等学术活动。一时间，先生领导的科研小组气氛活跃、成果频出、声名远扬，为后来数学机械化研究中心与实验室的建立和发展奠定了基础。

中国体育报记者周圆女排新年第一期大名单，山东女排自然是最大的赢家，杨方旭、王梦洁、钱靖雯、杨涵玉4人入选国家队，作为一支没有进入八强的球队，自然也在球迷群体中引发了一定的争议。山东女排是中国女排执行教练安家杰的东家，去年这个时候，安家杰刚刚上任的时候，就因为山东女排是国手大户引发外界质疑，当时说安家杰“任人唯亲”的说法不少。之后甚至只能是郎平站出来辟谣，表达了对于山东多位年轻球员的支持，才平息了争议。