基底変換、なにそれ？ - 檜山正幸のキマイラ飼育記 (はてなBlog) 「空間」と呼ぶが、空間ではないし（位相はないし）、群作用の特殊例。 随伴系はなぜ難しいか - 檜山正幸のキマイラ飼育記 (はてなBlog) 「ペア」と呼ぶがペアだけでは意味がない。

まだまだ改善の余地がある。コンパクト論理に限定するとして、 論理式＝生成対象の集合 F から作った自由コンパクト圏 原子証明＝生成射＝シーケントの集合 S から作った自由コンパクト圏 コンパクト圏〈コンパクト閉圏〉は、射の同値書き換え〈equivalent r…

形式的に定義しない言葉 証明 → 証拠{図 | 式}またはリーズニング{図 | 式} 公理 → 原子定理 命題 → 論理式、定理 推論、推論規則 → 原子証拠{図 | 式}、原子リーズニング{図 | 式} 形式的に定義する言葉 項、原子項 論理式、原子論理式 文脈 シーケント 証…

多義語・曖昧語がオーバーロードのときもあれば、総称のときもある。オーバーロードと総称の境界はハッキリしない。 総称語は全体を意味するのであって、個別ケースにはあまり使われない。 オーバーロードされた語は個別ケースに使われるが、複数ケースで同…

「原子」「複合」 を使う。次の表の欄に入る語は正式なテクニカルタームとして定義する。 原子 (複合) 構成規則 項 論理式 証明 リーズニング リーズニングが一番ゴタゴタで、 証明{図}?の構成規則の概念とかぶる。 コンビネータ由来のリーズニングと、2-射…

同義語・類義語： 基本、組み込み、ビルトイン、単純、アトミック、原子{的}?、プリミティブ、原始{的}?、既約、分解不能、素、生成｛的｝? 同義語・類義語 英語： basic, builtin, simple, atomic, primitive, reduced, irreducible, indecomposable, prime…

負号 単項演算子（足し算の逆〈反対〉を取る、反数演算の記号） 二項演算子（反数との和） 負号としてのマイナス記号はなくてもいい。が、負数はリテラル表記できなくなる。 二項演算子記号もなくてもいいが、煩雑になる。

関係性は： 同義〈同一〉である。 排他的である。 包含的である。 所属的である。 同型である。 埋入的である。 その他。 言語の基本： 国、地域、（人の）集団、文脈、状況、場面などで意味と用法が変わる。例： (単項式, 多項式) (数, 単項式) (数, 式) (…

定義1： 論理式の集合（生成系） 定義2： 演繹閉な論理式の集合（順序閉包） 定義3： 証明〈推論規則〉の集合（生成系） 定義4： リーズニング閉な証明〈推論規則〉の集合（リーズニング閉包＝圏） 定義5： 生成系を持つ圏 定義5'： 指標〈生成系〉を持つ圏 …

暫定案、後で修正。日本語だと複数形がないので、複数形の代わりに「ナントカセット」とする。 セオリー論 プログラミング 論理 ストリング図 指標 インターフェイス 推論規則セット スパイダーセット〈アイコンパレット〉 ソート 型 命題 ワイヤー（のラベ…

以下の図は、http://www.chimaira.org/img5/graphical-model-2.svg 。これは、次の記事内の図。 因果セオリー論の語法・記法・図法（修正案付き） - 檜山正幸のキマイラ飼育記 (はてなBlog) 次は、ベイズネットのグラフをストリング図に描き換えている。（ht…

日常的な言葉を用語にする。例：やせた、広い、大きい、理論、一様、単調、建物 難しい言葉・造語を用語にする。例： 亜真接続付き多様体、特恵近傍系、特殊フロベニウス代数装備圏 メリット デメリット 1 親しみやすい。簡単そうな印象を与える。 専門用語…