イベントツリーの定量的解析