「行政府」というOSのDXをめぐる試論