三次元パラメータKerrモデルに基づく基礎掘削によるダイアフラム壁と表面変形に関する理論的研究 | Synapse