不拘泥于形式坚决实行：撤出大型计算机市场