2021-10-23 コンテナ用語とその他の用語 用語法 セオリー論 コンテナスキーマの形状と位置集合〈set of positions〉の組 を仮にテンプレートと呼ぶと。以下は同義語。 コンテナスキーマのテンプレート 変数出現を持つ式と変数出現の集合 変数出現を持つ項と変数出現の集合 形状がストリング図のときは、ストリング図とプレースホルダーセルの集合のペアがテンプレート。テンプレートへの値割り当てはラベリングまたはカラーリング。したがって、テンプレートのポジションを埋めた形状付きデータは閉じた式/項、あるいはラベル/カラー付きダイアグラムになる。