「熱中症」の初期症状として、筋肉がピクピクしたり硬直したりする現象を何というか。

大量の汗とともに塩分(ナトリウム)が失われることで、筋肉の興奮が起きて発生する。