この記事、類義語と標準用語 - (新) 檜山正幸のキマイラ飼育記 メモ編に関係している。セオリー論については： 高次圏： セオリーと指数関手タワー - 檜山正幸のキマイラ飼育記 (はてなBlog) セオリー論 カテゴリーの記事一覧 - (保存用) 檜山正幸のキマイラ…

車輪の同時発明／再発明 目眩がする - (新) 檜山正幸のキマイラ飼育記 メモ編の続きほぼ同義語： 指標 型クラス インターフェイス スキーマ 型コンテキスト 仕様 公理系 セオリー・インターフェイス 構造体型 （OBJ系）モジュール 型コンテキスト コンセプト…

なんというバカバカしさ、なんという無駄、なんという浪費！ ラムダ計算 インスティチューション 型理論 型コンテキスト 指標 型前提（域側） 大きなラムダ式 クライスリ指標射 型判断（シーケント） 大きなラムダ計算 指標圏の計算 型証明計算 レコード（値…

in と ∈ は同じ同じ意味で使ってよい。 in-0 と ∈0 と ∈ は同義 in-1 と ∈1 は同義 in-2 と ∈2 は同義、以下同様 a in C ⇔ a in-0 C a: in C ⇔ a in-1 C a:: in C ⇔ a in-2 C 、以下同様 対象類、ホム集合、ホム圏 |Set| = Obj[Set] Set(A, B) = HomSet[Set]…

もっと整理が必要だが縦に見ると同義語 1-真偽値 2-真偽値 3-真偽値 4-真偽値 5-真偽値 0-要素 1-要素 2-要素 3-要素 4-要素 (-1)-集合 0-集合 1-集合 2-集合 3-集合 (-2)-圏 (-1)-圏 0-圏 1-圏 2-圏 縦に見ると同義語 1-インスタンス 2-インスタンス 3-イン…

一文字の名前のプログラミング言語を調べる。 それは、言語はたくさんあるよ、の例になる。

8÷2×(2+2)＝の答え、ついに数学者が正解を発表！それは・・・ https://yukawanet.com/archives/math20190804.html 8÷2×(2+2) が次の2通りにパーズできる、ってだけの話。 (8 ÷ 2) x (2+2) 8 ÷ (2 x (2+2)) パージングルールが社会的に合意されてないから、別…