Despite its small size, the asteroid 4 Vesta has been completely differentiated to core and mantle. Its composition is similar to howardite--eucrite--diogenite (HED) meteorites of which the detailed petrology is known. Therefore, Vesta is a good target for understanding the differentiation of terrestrial planets. A new differentiation model for crust formation has been developed by taking magma ocean fluid dynamics, chemical equilibrium, the presence of $^{26}$Al, and cooling into consideration with a special focus on crystal separation. The role of crystal size, thickness of the conductive lid, and fO$_{2}$ are evaluated as parameters. The results show that large crystals of at least 1 cm settled and formed a kilometer-thick cumulate layer of orthopyroxene with Mg$\#$ of 0.70-0.90 in ~20 thousand years, which almost agrees with the Mg$\#$ of diogenites. Smaller grain sizes formed thinner layers.

Motivated by recent detection of transiting high-density super-Earths, we explore the detectability of hot rocky super-Earths orbiting very close to their host stars. In the environment hot enough for their rocky surfaces to be molten, they would have the atmosphere composed of gas species from the magma oceans. In this study, we investigate the radiative properties of the atmosphere that is in the gas/melt equilibrium with the underlying magma ocean. Our equilibrium calculations yield Na, K, Fe, Si, SiO, O, and O$_2$ as the major atmospheric species. We compile the radiative-absorption line data of those species available in literature, and calculate their absorption opacities in the wavelength region of 0.1--100~$\mathrm{\mu m}$. Using them, we integrate the thermal structure of the atmosphere. Then, we find that thermal inversion occurs in the atmosphere because of the UV absorption by SiO. In addition, we calculate the ratio of the planetary to stellar emission fluxes during secondary eclipse, and find prominent emission features induced by SiO at 4~$\mathrm{\mu m}$ detectable by Spitzer, and those at 10 and 100~$\mathrm{\mu m}$ detectable by near-future space telescopes.