第一級オブジェクトとしてのトランスフォーマーを考えると： トランスフォーマーに名前を付けられる。名前無しでも扱える。 概念的には、トランスフォーマーが等しいかどうかを判定できる。現実的には無理なこともある（つうか、たいていは無理だけど）。 ト…

今まで、指標はコンピュータッドの同義語としてきたが、どうも違う。その違いは指標は名前（ラベル）があること。単なるグラフとラベル付きグラフの違い。2つの指標をとると、まったく無関係とは限らない。ラベリングによって、必然的にスパン構造＝貼り合わ…

宣言（名前のプロファイリング）と定義（束縛、名前のアタッチング）をゴッチャに混ぜて書いた形式をミクスチャと呼ぶことにする。 mixture Succ := { type X; X := int; value e: X; function succ : X->X }これはミクスチャの例。同じ名前に対して、「宣言…