図のタイトルをYAMLフロントマターにするのは使えねー。 統一性がない。 構文： flowchart sequence diag. ID[ラベル] タイプ ID as ラベル ソース アロー ラベル ターゲット ソース アロー ターゲット: ラベル 次のようにすれば、統一的だった。 ノードは …

変形 元 先 パラメータ プロパティ化 項目 プロパティ 名前リスト 項目化 プロパティ 項目 名前リスト カリー化 二部レコード 二部レコード 域を二部に分けるフェンス 反カリー化 二部レコード 二部レコード 余域を二部に分けるフェンス 置換 レコード レコ…

レコードセットに名前が付いた集まり。各レコードセットは、圏の対象か射を表す。レコードは型定義で制約されている。つまり、型付きレコードセットの名前付き集まり。名前と型は別物。データセットから2-圏／二重圏を作るには、構造データ〈プロファイル・…

https://www.youtube.com/watch?v=r3yMSl5NB_Q を見ていたら出てきた。ELT〈Every Little Thing 〉ではない、ETL。Extract, Transform, Load → https://neo4j.com/blog/graph-etl-basics/以前書いた セレクト・モディファイ・フィル とまったく同じことだ。

Objectはオブジェクト型だけでなくて、ボクシングしてオブジェクトになるものも含まれる。null以外なんでもいい。{} が Object と同義なのは、どうかしている。object は {[key: (string|number)] : any} と同義かな？ たぶん。いずれにしても整合性がない。

flowchart と subgraph の構文が一致しない。flowchart id[title] direction TB なら良かった。 辺へのスタイリングが番号指定でカス

主に語彙目録〈レキシコン〉関係。 四角いノードはトークン空間がリソースとして存在するもの。 まるっこいノードは構文空間〈字句空間〉が概念的に存在しているもの。 flowchart TB subgraph syntax[Lexicon] subgraph lexeme term[Term] phrase[Phrase] ph…