抽象（Abstraction）与自动化（Automation）是计算思维的本质特征，在计算学科各领域中均存在为数不少的抽象工具