アズレン:ドックのレベルソートって最終的に何で順序決めてるんだろうか?