A computing term for a symbol or identifier that designates or specifies something, such as a variable or function name.
In this programming language, variable names are treated as designators.
Compound of 特定 (tokutei, 'specific') and 子 (shi, 'child' or 'element'), likely a calque or translation of the English computing term 'designator'.