トンネル工事のコンクリ吹き付けロボ、リアルタイムで切羽面の出来形を計測（関連情報）：トンネル工事