计算机科学中抽象的作用