Superpočítač dostal jméno po ostravské šachtě