galaxy miniシリーズはgalaxyの小型スマートフォンシリーズである。