连接数学和计算机科学的先驱