1 【计】 抽象程序 — abstract program