I saw this video from New Scientist demo-ing the impact of "gamification" on learning the piano.

 

Seems to have many ideas/features that are perhaps familiar to people using this forum.

 

I wonder how they encode whichever music notation is supported for use? 

MIDI would make the most sense, but who knows.

I have used Synthesia for some deep purple songs 

which uses midi files. It has lot of similar learning tools than RS.