包茅:怎样的计算机研究才能拿自然科学奖