同一時間を持つ検査式の修正