斜坑 実際に海底下を調査するために掘られた坑道。現在では、換気のために風を送る道になってたり、保守作業の出入り及び資材運搬のためのケーブルカーが運転されている。