基本的な素材から構成される構造物を記述するためのほぼ唯一の手段が指標です。型理論の「コンテキスト」は「指標」の同義語です。その他に「仕様」「表示〈presentation〉」「セオリー」「ボキャブラリー」と呼ばれることもあります。プログラミング言語で…