トンネルの掘り残しが一目瞭然、断面整形の時間を半分以下に（関連情報）：情報化施工