推進工法において、先頭機の位置をリアルタイムで把握するために用いられる測量技術はどれか。

発進立坑からレーザーを照射し、先頭機の受光部でズレを検知してミリ単位の修正を行う。