トンネルの定義と種類