一部上場と書いてありますが全部上場するのはいつ頃でしょうか？