結果 : define abstract data type in computer science