アンダースコアとハイフンは名前文字にした。 が、ハイフン〈マイナス〉は名前開始文字ではない。 アンダースコア一文字で名前になる。 ハイフン〈マイナス〉一文字はオペレーター〈Operator〉という型のトークンになる。 0-signature, 1-mor などは、番号付…

元の概念（例：多様体） そこからはみ出した概念（例：境界を考える） 2つの排他的概念（例：境界無し、境界あり） 元の概念の再確認（例： 境界無し） 統合した概念（例：境界があってもなくてもよい） 実例 1： 多様体 境界付き多様体 多様体と境界付き多…

同義語、曖昧多義語が多いのを利用して、連想ゲームをする。「代入」の用法： 上書き割り当て〈overwrite assignment〉 手続き型プログラミング言語の代入文 束縛〈binding〉 関数型プログラミング言語の let, where など 置換〈substitution〉プレースホル…