韓国最高性能のスパコン、日本のわずか1/20の性能だった……「次期スパコンは自主開発もありうる」とは言うものの