抽象データ型 - Wikipedia
ja.wikipedia.org