指標〈signature〉と呼ばれる構文的形式は、数学ならば公理系の記述に使われます。例えば、群の公理系とか可換環の公理系とかを指標で書けます。ソフトウェア／プログラミング分野の言葉で言うなら、指標はインターフェイスです。インターフェイスには、それ…