出典:デジタル大辞泉(小学館)

ドックの一。海から陸へ掘り込んだ掘割で、船を入れたあと水門を締めて排水し、船の修理作業をするもの。船の建造にも使用される。乾船渠 (かんせんきょ) 。ドライドック。→湿ドック