【2022年6月13日12時30分:追記】本記事内の記述において、「一般職の国家公務員」という用語の定義に誤りがあったため、お詫びして本文を取り下げ致します。