The Girl Who Leapt Through Space (2009)
In the year 311 of the Orbital Calendar, humanity has migrated to countless colony clusters in space. A space colony girl named Akiha Shishidou encounters a malevolent artificial intelligence named Leopard that has been installed on a colony.