2012-05-07 零時間制約 プログラム意味論 「時間がまったく経過しないなら、何も起きない」という原則は当たり前で重要だが名前がない。零時間制約と呼んでおこう。[追記]ストップモーション制約がいいかも。[/追記]