R, S などを関係、X, Y などは集合とする。 R:X → Y に対して、R[x] ⊆ Y は、非決定性写像とみての値。 R(x y) := R[x]∩R[y] R(x | y) := R[x]∪R[y] R(~x) := R[x]^c 丸括弧内に、Xの要素から生成された命題論理式が書けて、Pow(Y) で意味論ができる。X 上の…

pub-manifest builder ： pub-manifest.json を生成する。 standalone pub-manifest builder ： pub-manifest-standalone.json を生成する。 clip fetcher ： 文書の切り抜きを取得する。pub-fetch.json を必要とする。 info finder / inspector ： 出版物ま…

目次の木構造を反映させる。 ベクトル空間 <ベクトル空間序> ベクトル空間の公理 <公理> ベクトル空間の実例 <実例> 基底 基底の定義 次元 (次元の一意性定理) <次元一意性> 有限次元ベクトル空間useは内部的に解決されているから露出させない。デンドログラ…

https://www.dublincore.org/specifications/dublin-core/dces/ より： title subject ： 出版物のタグを空白区切りで並べる language description ： プレーンテキストによる短い記述 creator ： 下を参照 contributor ： 下を参照 package.json では、cont…

目次： 1. ベクトル空間 <ベクトル空間序> 1.1. ベクトル空間の公理 <公理> 1.2. ベクトル空間の実例 <実例> 2. 基底 2.1 基底の定義 2.2 次元 (次元の一意性定理) <次元一意性> 2.2 有限次元ベクトル空間用語： ベクトル空間 -(has_alias)-> 線形空間 ベク…

一般的なメタデータ以外に { "provide" : { "item": ["chap1", "chap2", "chap3"], "term": [{"foo" : "chap3"}, "..."], "tag": ["piyo"] }, "use" : { "item": [{"sec4": "http://hoge/#sec4"}], "term": [{"foo" : "http://hoge/#sec1"}], "tag": [{"goo"…

別名関係A 略記関係S 伴意関係E 親子関係P^t 含有関係C^t ラベル ☓ ☓ ☓ ◯ ◯ ターム ◯ ◯ ☓ ☓ ☓ タグ ◯ ☓ ◯ ☓ ☓ タイプ名 ◯ ◯ ◯ ？継承 ☓ ボキャブラリー名 ◯ ◯ ☓ ☓ ◯ プロパティ名 ◯ ◯ ☓ ☓ ☓ A : is_alias_of S : is_shorthand_of E : entails P : is_parent_…