レコードライクなデータ構造 レコード ロー、行 （名前付き）タプル 構造体 オブジェクト 名前・値ペアの集合 フィールド相当 成分、コンポネント 項目、アイテム カラム、列 メンバ プロパティ フィーチャ 属性、アトリビュート 要素 スロット 名前がないと…

参考 TeX Unicode ⊆ ⊑ ∪ ⊔ ∩ ⊓ 〜 ⌣ ⇔ ↔

タプルを入れ子ペアとするか、インデックス集合からの写像とするか。 インデックス集合からの写像のほうが扱いやすい。これを仮にマップタプルと呼ぶ。 入れ子ペアを右標準形または左標準形にすれば、{1, ..., n}上で定義されたマップタプルと対応が付く。 …