動的データ構造の解析手法