アンタレスは惑星の定義に当てはまるの？
正確に言えば赤色巨星か。