ここで、formula_22について、formula_23は固定の決定論的整数で、イベントformula_18の打ち切り時間(censoring time)であり、formula_25である。