https://c.mi.com/thread-2527922-1-0.html やっぱりMIUIベースのJoy UIという事でした。 「Joy UI 11」から配信予定との事。名前からわかるようにMIUI11=Android10 って事ですかな。 12月配信予定、となってるが果たして日本向けのやつは来るんかどうか・・…