[Ice 001] 抽象 数 程序设计