抽象データ型：データを使う手続きを公開する。