スパコン「京」の運用終了。「2位じゃダメなんですか？」は何だったのかを改めて整理する