ヒープ : データ構造
ヒープは半順序集合をベースとするツリー構造です。