计算机围棋专家、北京邮电大学教授刘