2018年 Manuel Blum 年度新闻与动态汇总