リニアコライダーの方は3000億円だっけ。緊縮財政の財務省としてはどちらも出したくねーだろうな