連続系シミュレーションで。 田の字型の部屋があり、各部屋1人ずつ入っている。時計回りに移動することを考える。 1部屋には同時に1人しか入れない。1人ずつ動かそうとすると動かない。同時なら動く。 どのようにモデル化するか。 ユニットごとに処理済みか…