「ヒープ」という2分木のデータ構造のこと