公務員人件費は前年度税収の何パーセントとかGDPの何パーセントとかで決めておいたほうがいい