A train control device including a control logic generation unit that uses an environmental model defined by the number of a plurality of closed sections constituting a track included in a predetermined control target region, a connection configuration of the closed sections, and the number of trains present on the track, a state of the environmental model being changed discretely according to a combination of a position of one control target train that is the train to be controlled, positions of zero or more other trains, and the presence or absence of reservation for each of the closed sections, and generates a control logic that is a logic for transitioning the state of the environmental model depending on the state of the environmental model so as to satisfy a predetermined condition, and a regeneration instruction unit that instructs the control logic generation unit to regenerate the control logic.