2022-04-22から1日間の記事一覧

バンドルの圏

Bun[B] -- 集合B上のバンドルの圏 f→ : Bun[B] → Bun[B'] -- 前送り関手 f← : Bun[B'] → Bun[B] -- 引き戻し関手 ∇f = f→ Δf = f← Σf と Πf Bun に引き戻し/逆方向ファイバー射の圏。反変バンドル射の圏 Bun に引き戻し/順方向ファイバー射の圏。共変バン…

シェブロテインのレコーディングフェーズとGAST

シェブロテインは、ユーザーのパーザークラスのコンストラクタ内での自己分析実行関数呼び出しにより、GAST〈Grammar AST | ガスト〉を作る。ガストを作るときに、パーザー関数を呼び出す。この作業工程をレコーディングフェーズと呼ぶ。レコーディングフェ…

シェブロテインの自己分析実行関数

peformSeflAnalysys はパーザーの引数なしメソッド this.peformSeflAnalysys() 以外に、 オブジェクトを引数に取るスタティックメソッド shev.Parser.peformSeflAnalysys(obj) もあるようだ。いずれにしても、ユーザー・パーザークラスのコンストラクタで呼…

シェブロテインのパーザー関数

パーザークラスの宣言から RULEメソッドのプロファイルを見る。 /** * A Parser that outputs a Concrete Syntax Tree. * See: * - https://chevrotain.io/docs/tutorial/step3_adding_actions_root.html#alternatives * - https://chevrotain.io/docs/guide…

アリーナ周り

縦方向が同義語。 番号 構造 下側 下側要素 縦線 縦線要素 1 アリーナ 位置集合 位置 方向集合 方向 2 林 根集合 根 低木 葉 3 コンテナ 形状集合 形状 位置集合 位置 4 型ファミリー インデックス集合 インデックス 型 インスタンス 5 バンドル ベース空間 …