指標 $`\Sigma`$ の文法 $`G`$ によるセオリー $`\mathrm{Th}^G(\Sigma)`$ は $`G`$-代数構造を持つ。もし、ドクトリンが無法則指標ならば、文法に含まれるコネクティブはドクトリン指標のラベルで、コネクティブ記号自体が$`G`$-代数構造の演算記号に使える…

TypeScript の型定義ファイルと仲良くなろう - Hatena Developer Blog は良い解説だが、entity, container がイマイチ不明瞭。まず、entity とは、型付きの名前（値はない）、または名前と値のペアのどちらか。名前があることを強調したいなら named entity …

TypeScriptの名前構造を基準に考える。宣言空間とは、パーティションされた名前コンテナのパーティションのことで、通常は「名前空間」だが、名前空間が内部モジュールの意味なので宣言空間としている。宣言空間は、名前の集合というよりは、順番があるので…

TypeScriptの名前構造を基準に考える。宣言空間とは、パーティションされた名前コンテナのパーティションのことで、通常は「名前空間」だが、名前空間が内部モジュールの意味なので宣言空間としている。宣言空間は、名前の集合というよりは、順番があるので…

ストレージの日本語は「格納器」にするかな。格納器には次がある。 ファイルシステム ： ファイル名／パス名がキー 各種データベース ： IDフィールドの値がキー プログラミング言語が管理するメモリー空間 ： ハッシュマップ／ディクショナリのキーがキー …

「文書」を「文書指向データベースの文書」の意味で使う。「文書」と「半構造データ」は同義語。文字列 "hello" も文書となる。文書マップの「マップ」は、「ハッシュマップ」の「マップ」。マップの構成素には「キーと値〈key and value〉」を使う。抽象的…

パッケージとはディレクトリツリーのことだが、次の条件／制約がある。 トップレベルに package.json を持つ。 サブディレクトリで、package.json を持つものがあれば、それは別なパッケージなので除外する（サブツリーを切り落とす）。 すぐ下のサブディレ…