不均一単相ステファン問題の自由境界の正則性 | Synapse