高温ガス炉はガスタービンなんじゃないの?