包茅:怎樣的計算機研究才能拿自然科學獎