<map::empty>を追加