マイクロパイプジャッキングマシン：コンパクトで効率的、精密な非開削ソリューション