数字式电子计算机 艾萨克 科研小组 量子理论 半导体 生物电脑 发展方向 人类