An automatic program generation system that includes: an input unit that receives inputs of input data, target data, and design requirements for a first program to be generated; a program storage unit that stores a plurality of existing second programs; a program generation device that generates the first program; and an output unit that outputs the first program. The program generation device includes a program analysis unit that analyzes the plurality of second programs to generate a program model, a basic node/constraint generation unit that generates basic nodes and constraints for evolutionary computation based on the generated program model and the design requirements input from the input unit, and an optimization unit that generates the first program by the evolutionary computation based on the basic nodes and the constraints and the input data and the target data input from the input unit.