抽象データ型 loading ...