系外巨大ガス惑星周りの ハビタブルムーンの形成と その安定性