2023年度の防衛予算のうち1300億円が使いきれなかった模様