せん‐きょ【船^▼渠】 名〔文〕船舶の建造・修理などのために構築された設備。ドック。