RedmiってXiaomiをもじって名前つけたんだな