2022-11-21から1日間の記事一覧
参照可能性を確保するのが重要。それには次の行為が必要。 ラベリング: 外部から参照される項目〈アイテム〉に名前を付ける。 タギング: 外部から参照されるタグを付ける。タグは分類タグと話題タグ。 参照: 公開されている項目を参照する 参照マッピング…
存在型が混乱しているわけ、シグマ型とイプシロン型 mermaid と graphviz と d3-graphviz 二重圏の事例 デリゲーションとヘルパーとインターフェース
グラフ、サブグラフ、ノードの属性に URL と toolip が使える。ただし、出力がSVGのとき。
モットー writing is programming (writing as programming) documents should be formally verified ブリットとは: BLit = Web Literature Web上で利用できる、関連する文書達のアーカイブネットワーク マスブリットとは: MathBLit = Mathematics Web L…
MEDLアーティクルは抽象的な存在と言えるが、物理的バイト列としての支え〈サブストレート〉が必要。論理ユニットではなくて物理ユニットを識別する識別子について考える。特殊区切り文字に '@', '/', '|' を使う。名前内に区切り文字は使えない。 物理ユニ…