【王鸿飞的书单：1000年来的科学发展及20世纪的科学】今天我们继续推荐西湖大学教授王鸿飞的系列文章的最后一篇，《黑暗中的烛光：1000年来的科学发展及20世纪的科学（五）》，20年前的荐书也受当时的一些局限，但我们没有作删改。针对近年来出版的优秀科普图书，《赛先生》编辑部也邀请王鸿飞教授做了少量补充，以此作为一个系列的科学家荐读的书单，供读者参阅。https://t.cn/A6JfvHN7

#CNCC#北京主会场 10月24日下午，程序设计语言的研究与发展——如何推进国内程序设计语言的教育和研究？技术论坛#在北京新世纪日航饭店主会场山东厅举行。上海交通大学讲师，毕业于德国亚琛工业大学符鸿飞带来题为《概率程序的形式化方法理论》的报告。
概率程序语言作为用于描述和实现系统随机性的编程语言，在带有不确定性的场合中具有潜在的应用价值。在一些要求苛刻的场合中，概率程序的关键性质必须得到保证，而形式化方法藉由其数 学上的严谨性，能够严格保障关键性质的正确性。本次演讲将围绕概率程序的终止性、代价分析、灵敏性三个关键性质，阐述其形式化验证背后的数学理论和自动化验证算法。欢迎在线观看。
CCF官方微博将全程对CNCC进行时时报道，欢迎关注了解详情。大会期间购票报名可立即在线参会，并可通过CCF数字图书馆回看CNCC主会场和各个分会场数百位国内外顶级专家学者的精彩报告！

不要慌 ！“大余造”口罩来啦！
随着正常生产生活秩序的逐渐恢复，市场上的口罩需求仍较紧张。近日，县新世纪工业小区的赣州鸿飞医用卫生材料有限公司按下“快进键”，仅用9天时间，全县首条口罩生产线正式投产运行。

在赣州鸿飞医用卫生材料有限公司，记者看到生产车间内10余名员工身穿隔离衣，佩戴着口罩、隔离帽，正在紧张的进行分装检验，最后将合格口罩打包成箱。

赣州鸿飞医用卫生材料有限公司生产负责人 刘飞
在政府的支持和关心下，目前我们企业第一条生产线已全面启动，日均口罩产量8~10万只。接下来，在3月10日后我们将增加三条生产线，届时，每日将生产30万只口罩，可以满足市民日常需求。

据了解，赣州鸿飞医用卫生材料有限公司注册成立于2020年2月24日，经营范围是医疗器械、口罩、防护服等生产销售。目前有一条现代化生产线员工50余人，发展初期以一次性医用口罩和日常防护口罩生产为主，设定产能为每日生产20万个口罩。接下来，赣州鸿飞医用卫生材料有限公司将加紧生产，以实际行动支援战“疫”。

小编还了解到
在县新华工业小区
还有一条全自动民用口罩生产线
近日已投入试产

目前赣州斌诚医疗用品有限公司已完成车间改造和装修，生产设备正加速安装、调试。3月10日前，预计可日产口罩60万只。

还在为口罩发愁的大余市民
不用慌！
请互相转告：
“大余造”来了！