2021-12-17 本引き misc. /ほんびき/ 真空のおはなし (おはなし科学・技術シリーズ), p.105 粗引きが完了したら,主ポンプを作動させて高真空状態になるまで排気を続けます.この操作を本引きといいます.