2018-05-03：庆祝北京大学计算机科学技术研究所成立35周年