Animethemes has it: Odoru Akachan Ningen

I think back when I first watched Welcome to the NHK that song may be what made me realize that the Japanese had also adopted a planet/weekday naming convention e.g. 火星/火曜日 == Mars / Tuesday (Tiw/Tyr’s day == Mars’s day; more obvious in e.g. French “Mardi”, etc.); 土星/土曜日 = Saturn / Saturday; etc.