三校联合成立理论计算机科学研究中心