哈哈，在非常无奈的情况下开通了CCF的学生会员。

  为了下载中国计算机学会出版的《2017-2018中国计算机科学技术发展报告》查阅其中的第一篇论文《形式化方法的研究进展和趋势》只能通过入会才能下载到，虽说可以预览部分资源，但我想还是干脆入个会看一看。

  顺便看到了计算机学会下的形式化方法委员会每年还举办形式化方法会议，本年度将于2019年11月30日在上海举办，难得的学习的(出去浪)好机会。