ガス穴とは

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

関連記事

  1. NFTとは

  2. APECとは

  3. BitLockerとは

  4. ISO/IEC7816とは

  5. オクラトキシンとは

  6. オーロラ作戦とは

  7. ダイナミックアロケーションとは

  8. ECMとは

  9. WinSCPとは