>>5
Satori transcends programming; she needs no language. But if she feels like doing it for some reason, she uses
Racket of course.
>>6
She picked up a super advanced language from the future when she crossed over into the Seihou project, the one used to program the super loli robot maid VIVIT. I don't know the details, but rumor has it that it is designed on quantum analog magic computers, whatever that means.