@kusano_k

元のブログも風流な言い回しをしているのかと思ったけど、「赤色巨星」は英語で「red giant」と言うらしい。
Red giant - Wikipedia
en.wikipedia.org/wiki/Red_giant