A new formulation is presented to treat fluctuations around the kaon conden
sate. Equation of state (EOS) is given for isothermal and isentropic cases
in the heavy-baryon-limit (HBL). The coexistent phase appears in the latter
case. The mass-radius relation is given for protoneutron stars and the pos
sibility of the delayed collapse is discussed.