大規模数値計算を用いた巨大天体衝突に伴う多様な衛星系形成モデルの構築