制約のない後退ホライゾン制御と終端コストなし | Synapse