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.