rigid designator を固定指示子と訳すセンスにはちょっとうんざりだな。「厳格な指定辞」とか「厳格に決まっちゃうもの」ぐらいで解説してくれるともっとわかりやすくなるのに〜♪ https://en.wikipedia.org/wiki/Rigid_designator