高圧放電ランプ（こうあつほうでんらんぷ）（high pressure discharge lamp）とは