デバイス、ドアグループの検索機能改良(2019/11/7リリース)