FedAvgとFedProxの解析的な理解大まかに得る