あらゆるリストはラベル付きリストだと考える。ラベルを一緒にした項目をラベル付き項目と呼ぶ。ラベル付き項目は、ラベルとデータのペア（「値」は使わないで、「データ」とする）。型宣言を $`\in:`$ 、所属関係を $`\in`$ 、ラベルとデータの区切りをコロ…

値の多義性 関数の値 集合の要素 型のインスタンス 名前-値ペアの値 違いと類似性は： 要素は、親から切り離すと親を特定できない。 インスタンスは、親を常に知っている。 名前-値ペアの値は関数値 関数値は「引数-関数値ペア」と同一視できる。 項目も、親…