スマートフォンやタブレット端末など，携帯端末で広く使われているOSはどれか。