>>695
いや、一般的な製鉄技術。
昔から鍛冶屋等が持っていた焼入れ技術も同じ理屈だよ。