用語法・記法 定義・定式化 解釈・理解 判断・発想 において、 固定化・絶対化する 執着する 拘る 縛られる 囚われる はいけない。 変化・変動 多様性 柔軟さ 寛容さ 臨機応変な対応 を大事にする。

H82 = 82文字ひらがな集合 H48 = 48文字ひらがな集合 H82 = 82文字反ひらがな集合 K48 = 48文字カタカナ集合 部分圏： Shiri[H48] は、Shiri[H82] の部分圏 H82の任意の部分集合X をとると、充満部分圏ができる。 長さ２以下の文字列だけを射とする圏が部分…

マスロフ和 プログラムの時間計測

日本語 英語 部分関数 partial function 偏微分 partial derivative 部分集合 subset 劣調和関数 subharmonic function

クリーネスター 双対ベクトル空間／双対線形写像 引き戻し（色々あるが、例えば、関数による関数の引き戻し） 双対性〈duality〉を定義する自己反変関手 一般的な反変関手の略記

関数、写像、演算{子}?、作用{素}?、変換、{値}?割り当て、インデックス族、対応

[n] = {1, ..., n} が作る集合・写像の圏 アミダ図の圏と置換（代入ではない）の圏 1,0を持つ半環係数の行列圏 ラベル付き boxes-and-wires 図の圏 ルシアン・アーディ図〈Lucian Hardy〉 一般論 インデックス付き圏としてのブール行列圏 弱いトポスとしての…

単なる集合からグラフを作る方法。 一端アロー化： Aに⊥を加えて、⊥→a （a∈A） をアロー＝有向辺 として足す。Aとアローは1:1に対応。 ニ端アロー化： Aに⊥, T を加えて、⊥→a→T （a∈A） をアロー＝有向辺 として足す。Aとアローは1:1に対応。 ループ化： ⊥を…

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