火山噴火予知において、山体の膨張などを精密に観測するために用いられるGNSS以外の機器は何か。

山体のわずかな傾き変化を検出し、マグマの移動を推定する。