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