ガス穴とは

「ガス穴」とはガス溶断により形成される穴を指します。特に、小さな円形の穴の場面で用いられ、「ここはキリ穴ではなく、ガス穴でも問題ありません」といった文脈で活用されることが多いです。

関連記事

  1. DMPタグとは

  2. BAdIとは

  3. カスタム型とは

  4. ハードマクロとは

  5. 組織単位とは

  6. 仕掛在庫とは

  7. SIPSとは

  8. CryptoPPとは

  9. BTAとは