改善案：パラメトリック統計モデル - 檜山正幸のキマイラ飼育記 メモ編は、ベイジアンのときもだいたい使える。Modelがプロ関手であったのと同様に、BayesModelもプロ関手として定義できる。Pはパラメータ領域の圏とする。ただし、今度は P⊆M と考える。Mは…

Mを次のような圏とする。 Mはハウスドルフ位相空間の圏への構造忘却関手を持つ。 Mは可測空間の圏への構造忘却関手を持つ。 Mの対象のσ代数は、その位相のボレル集合族である。 Mの対象には、標準測度と呼ばれる測度が載っている。標準測度は、有界〈有限〉…

多少はマシな用語法 - 檜山正幸のキマイラ飼育記 メモ編とかの延長線上の記事。 写像＝関数 （同義語） 集合:=可測空間 （設定） 写像:=可測写像 （設定） つまり、単に集合といって可測空間を意味し、単に写像／関数といってもそれは可測写像／可測関数を意…

https://bellcurve.jp/statistics/glossary/1061.html より [不偏推定量の定義] 標本から測定した推定量の期待値が母集団のそれに等しいとき、その推定量を不偏推定量と言う。 必要な定義： 標本 （標本から）測定する （測定した）推定量 推定量の期待値 母…

https://ja.wikipedia.org/ や http://toukeigaku-jouhou.info/ 以外に、実例として http://www2.kokugakuin.ac.jp/~ogiso/spss/staterm.html もいい。より実務よりの定義がある。 質的な独立変数を要因、量的な独立変数を共変量と呼ぶ。 必要な定義 質的 量…

「「確率変数」の変種：測度に縛られない確率変数 - 檜山正幸のキマイラ飼育記」と「尺度の圏論 - 檜山正幸のキマイラ飼育記 メモ編」で似たことが書いてある。共通の構造を抜き出してみる。確率モデル〈統計モデル〉に尺度の圏を組み入れるって話。まず、「…

用語ごとのリンク集： 母数: まともな定義がない - 檜山正幸のキマイラ飼育記 メモ編 母数 - 檜山正幸のキマイラ飼育記 メモ編 やっぱり用語記号が分からない - 檜山正幸のキマイラ飼育記 メモ編 定数と汎関数とパラメータ（母数） - 檜山正幸のキマイラ飼育…

ほぼワースト順 確率変数 分布、分布する 従う 母集団 試行、試行する サンプリング〈標本調査〉する 離散（形容詞） 例文（例文はもっと欲しい） xを確率変数として、xの関数f(x)をxにより積分すると、f(x)の期待値が得られる。 t値とは、t分布に従って分布…

まずは、言葉の問題。同義語らしきもの。 agent, player, voter, member, stake holder, participant alternative, candidate, (political) option, policy, social status agreement, consensus permutation, ordering, ranking rule, method, algorithm es…

続き。 https://lirias.kuleuven.be/bitstream/123456789/298291/1/hyp-space.pdf"Hypothesis space" by Hendrik Blockeel によると、観測言語〈observation language〉、仮説言語〈hypothesis language〉、バイアス記述言語〈bias specification language〉…

機械学習が台頭してきて、またさらにジャーゴンが増える。分野が増える／成長すれば、用語法はどんどん錯綜・混乱するという嫌な現象。仮説空間〈hypothesis space〉に関しては次を参照した。 https://lirias.kuleuven.be/bitstream/123456789/298291/1/hyp-…

ratorに関しては： rator - 檜山正幸のキマイラ飼育記 メモ編 続・rator - 檜山正幸のキマイラ飼育記 メモ編 等式的な法則〈(equational)? law | equation | identity | relation〉を自然同値や（同値とは限らない）自然変換で置き換えて圏化することがある…

1行の行列の代わりに、(x \, y) でなんとかならないか。ソース x\bullet y \,=\, \begin{pmatrix} x & y \end{pmatrix} \,=\,(x \, y) あまり変わらない。

反図式順で書くとする。横結合を次のように分類する。 ・C ： 結合〈composition〉 ・A ： 適用〈application〉 ・W ： ヒゲ結合〈whiskering〉 縦結合に関しは、 C ： 結合〈composition〉 I ： 恒等結合〈identity composition〉 次に結合可能性の表、次の…

一般的な用語（リレーション、タプルなど）をジャーゴンとして奪ってしまったので、ジャーゴンで閉じた世界内では一般的な議論ができなくなり、実際にしなくなり閉塞化する。ジャーゴンとは、閉塞化を目的とする言語体系と言えるから、この現象は必然的。対…

関数〈かんすう〉 関数〈function〉 関数〈写像〉 関数〈かんすう | function | 写像〉 写像〈mapping | map | 関数〉

nomenclatureはだいたい「ノメンクラチャー」 -- 学名命名法、専門語、学名、術語 といった意味で、ここでは「術語法」といった意味。おバカ風は： キモい パねぇ キョドる カミ（神）ってる ググる KY（空気読めない）、YDK（やれば出来る子）、BBA（ばばあ…

基本的な概念と用語： まだ曖昧な所があるが、 区分〈くぶん | division | ディヴィジョン〉： 特定の圏Cと次元数kのペア。Cのk-射の集合を意味する。 区分ラベル： 区分に付ける人間可読なテキスト。 区分け〈くわけ | divisioning | ディヴィジョニング〉 …

指標（"インデキシング・ベース圏”の対象）と命題（{インデキシング垂直圏 | ファイブレーションのファイバーである圏}の対象）のペアを仕様と呼ぶ。仕様はグロタンディーク／エルブラン圏＝ハイパーベース圏の対象であると同時に、ハイパーインスティチュー…

「公式」はよく使う言葉だが、意味わからん。公式＝オフィシャルは入れない。日本語群 公式 等式 恒等式 定理 命題 英語群 formula equation identity theorem proposition これらを同義語か異義語かで分類しようとすると、困ったことになる。

オブジェクト：オブジェクト指向、レコードデータ、圏論、アトム付き集合論でアトムまたは集合 クラス：オブジェクト指向、集合論の類、型クラス インスタンス：オブジェクト指向、集合・類の要素、データベーススキーマの状態、一般の状態空間の状態 分布：…

タプルとリレーション - 檜山正幸のキマイラ飼育記 メモ編も参照。 構造体〈ストラクチャ〉のメンバー レコードのフィールド リスト／配列の項目〈アイテム〉 タプル／ベクトルの成分 名前・値ペア-集合〈set of name-value pairs〉の要素 辞書〈ディクショ…

追加 削除 変更 まとめて SQLコマンド INSERT DELETE UPDATE ここでの用語 insert delete modify update CRUD create delete update 追加（＝挿入）操作で表すこと： 誕生、発生、参加、加入、 削除操作で表すこと：死滅、消滅、退去、脱退、退出 変更操作で…

適切に語るべき言葉が（通常の日本語のなかでは）見つからないので、人工的な表記を導入するしかない。同義語の併記専用に、山形括弧（'〈'と'〉'）と縦棒（論理OR記号）を使う。 魑魅魍魎〈ちみもうりょう〉が跋扈〈ばっこ〉する。 一意識別子〈識別子 | ID…

方言識別マーカー 長い名前 代替語の使用 同義語併記 異義語併記 方言識別マーカー 特定分野の方言はそれと分かるようにマークする。例： 《タプル》 《リレーション》 長い名前 多義語の片方（あるいは両方）を形容詞・副詞で修飾する。 線グラフと関数グラ…

型＝データ型＝集合 基本型＝基本データ型＝基本集合 直積型構成子 直積型＝直積データ型＝直積集合 直積型＝タプル型 ペア型⊆タプル型 ベキ集合型構成子＝ベキ型構成子 { {ベキ集合}{型 | データ型} | {ベキ}{型 | データ型 | 集合} } {制約 | 制限}{_ | 条…

int = Int を許容するリーズニング（アブダクション） S('int') = Int --------------------------------[アブダクション] let int = S('int') int = Int S('檜山') = (生きている人間・檜山) ---------------------------------[アブダクション] let 檜山 =…

「バベルの塔」問題 「アブダクション」問題 バベルの塔 - Wikipedia 神は降臨してこの塔を見「人間は言葉が同じなため、このようなことを始めた。人々の言語を乱し、通じない違う言葉を話させるようにしよう」と言った。このため、人間たちは混乱し、塔の建…

ジャーゴンだけでは言葉が足りない！ 普通 データベース リテラル JSON形式（一例） 変数 テーブル 定数 ? 値 《リレーション》 破壊的代入 更新 演算 《リレーション》演算 型 ？ 基本データ型 《ドメイン》 《リレーション》は、特殊なデータ型（直積デー…

大事なこと： 記号と、記号が意味するモノを区別する。 図や図の一部と、図や図の一部が意味するモノを区別する。 必要なら、記号と、記号が意味するモノを同一視する。 必要なら、図や図の一部と、図や図の一部が意味するモノを同一視する。 多義語は文脈ご…