用語解説
焼き入れとは
焼き入れとは、高温から、水冷あるいは油冷によって、急冷する操作を行うこと。