デリバラブルは本来の意味として、デリバラブル・ジェネレーターで生成されるブツのこと。 名前空間のルートはパッケージ名とする。パッケージ名自体はURLなどで名付ける。 プロジェクト名、パッケージ名、ワールド名は一致させる。 パッケージの名前空間の…

Web IDL のソースは、https://w3c.github.io/webidl2.js/checker/ でチェックできる。はてなのシンタックスハイライトもある。 [Exposed] interface Description { getter sequence<DOMString> names(); attribute DOMString? id; getter sequence<DOMString>? requires(); };</domstring></domstring>

単一の記述プロファイル〈メタデータ〉は次のものから構成される。 記述のラベル〈名前〉 name ID id 語彙域 requires 事前要求記述 predecessors 語彙余域 provides 事後要求記述 successors コンテンツ〈メディアコンテンツ〉はアロケート〈allocate | fil…

出版物スケルトングラフ：スロットが埋められてない、伝統的書籍構造 執筆者アウトライン：スロットが埋められてない、流れや構成 スケルトン／アウトラインに対して、記述仕様〈description spcification〉があればバリデーションはできる。記述仕様は、記…

まず、階付き集合として、 $`G_0`$ ： 頂点の集合 $`G_1`$ ： 有向辺の集合 $`G_2`$ ： 有向二角形的多角形の集合 集合の要素を 0-セル、1-セル、2-セルと呼ぶ。各k-セルには次を付ける〈attach | add〉ことができる。 ID 一意 （XML id） ニックネームラベ…

記述の圏と語彙文脈ツリー$`\newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\u}[1]{\underline{#1} } \newcommand{\cat}[1]{\mathcal{#1} } %`$語彙目録〈lexicon〉を対象として、記述〈description〉を射とする圏 を $`{\bf Desc}`$ とする。圏 $`{\bf De…

構文側： パッケージ名前空間 0次： コンテナ名〈モジュール名〉 1次： コネクタ名〈ビュー名〉 コンテナ名前空間 0次： 指標名 1次： 手続き名 指標名前空間 0次： ソート名 1次： オペレーション名 2次： 2-オペレーション名 (n + 1)次： 等式名 モデル側…