文書処理

名前の多重登録と同時登録、可視性、アクセス

名前〈ラベル | 記号〉は名前コンテナに入れられる。名前コンテナは名前と関連情報の容器だが、リストになる。同一の名前が同じコンテナに複数入ることを多重登録〈multiple registration〉、同一の名前が複数の異なるコンテナに同時に登録されることを同時…

エルブラン・マグマとタルスキー/リンデンバウム代数

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

名前構造: 補足

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

名前構造と状態遷移マシン

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

名前構造

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

文書マップとストレージと圏

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

文書と文書マップと文書処理圏

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

NPMのパッケージとかモジュールシステム

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

パッケージ/モジュールとプログラム・エンティティの名付け

NPMパッケージのネーミングは @user-or-org/package@version npm: URIスキームをつければ: npm:@user-or-org/package@version TypeScriptの宣言空間種別を、 [val] 値名 宣言空間 [type] 型名 宣言空間 [ns] 名前空間名 宣言空間 とすると、 npm:@user-or-o…

文書フォーマットと処理

文書フォーマットとは、次のようなもの。型ではあるが、慣例に従い「フォーマット」と呼ぶ。 HTML MD - Markdown JSON JSONL - JSON Lines STR -- string, plain text unifiedフレームワーク/エコシステムで考えるとして、小文字はオブジェクト化された型と…

Applications as Networks

「分散アプリケーション指向」に変わるアプリケーション設計スタイルを表す用語。

文書処理:問題群

「文書処理」タグは、どうせ本編ネタだから、「本編ネタ」タグは付けないことにした。 文書処理:20年前の課題は今でも課題 - 檜山正幸のキマイラ飼育記 (はてなBlog) 終電問題 -- バリデーションをいつするか? どこまでするか? ウメボシ問題 -- 主にエデ…

キュー付きカプセル化DOMツリー

CRUD操作のCRは同期、UDは非同期(キューされる)。UDを編集操作と呼ぶ。例: 同期の場合: Node oldChild = node.removeChild(child) 編集リクエスト RequestId id = node.requestEdit(REMOVE_CHILD, child) 変更イベント childRemoved(id, node, oldChild)…

Aliceのジャーゴン

ゾーンと、(文書ツリーの)ゾーン分割 エディットレット エディットレット・チーム エディットレット・フォーメーション エディットレットの動的ロードとアクティベーション(ファセットのアタッチ) ファセットとファセットツリー、ゾーンツリーは別物。 …

PIとコメントの問題

PIは処理に対するヒント/設定やメタデータとして機能する可能性がある。ゾーン分割=色分けのとき、PIノードをどの名前空間(色)に振り分けるかがわからない。 コメントノードも同様。コメントアウトに使われると、スプライシングで復活したりする。 時代…

ツリーの基礎知識

ノードの識別: IDによるノード識別 t#ID 単純ロケーションパスによるノード識別 t/n1/n2 ... /nk ツリーオーダー・インデキシングによるノード識別 t[i] 位置 ℓ をノード識別子(ID、ロケーションパス、ツリーオーダー・インデックス)として ℓ( ℓ(>) ℓの直…

Alice基本概念

文書ツリー レンダリング先空間 ソフトウェアコンポネント ゾーン キャンバス エディットレット 子ゾーン ペインと子キャンバス パートナー・エディットレット 擬人化による比喩: エディットレット(得意分野を持った作業員) エディットレットチーム(文書…