US11054397B2 - Propagation Time Measurement Machine, Gas Concentration Measurement Device, Propagation Time Measurement Program, and Propagation Time Measurement Method