けいせん‐きょ【係船_×渠】 船をつなぎとめて旅客の昇降や貨物の上げ下ろしを便利にするドック。干満の差の激しい港湾などに設ける。係船ドック。