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

基本方針

外延的 - 集合論ベース 意図無関係 - 形式的・外延的に定義できない意図は無視する。 圏論的 ありもの使用 - 車輪の再発明を避ける 長い物には巻かれろ - メジャーな理論・仕様・技術・ツールを採用

続・基本概念

以下はすべて同じ概念の違う呼び名。 形式文法 インターフェイス・モジュール 指標の圏の図式 スピヴァックのアリーナ シェープのファミリー 射になるが、域・余域の呼び名は: 射 域 余域 形式文法 終端記号の集合 規則名の集合 インターフェイス・モジュー…

基本概念

文書空間、Sは文字列の集合〈string型〉$`\newcommand{\u}[1]{\underline{#1} } \newcommand{\o}[1]{\overline{#1} } \newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\In}{\text{ in } } %`$ signature DocumentSpace within Set { 0-mor L 0-mor V 1-mor …