同義語、曖昧多義語が多いのを利用して、連想ゲームをする。
「代入」の用法:
- 上書き割り当て〈overwrite assignment〉 手続き型プログラミング言語の代入文
- 束縛〈binding〉 関数型プログラミング言語の let, where など
- 置換〈substitution〉プレースホルダーを置き換える
「束縛」の用法:
- 束縛子〈binder〉による束縛(動詞、名詞) 例:全称束縛、ラムダ束縛、イプシロン束縛
- モナドのクライスリ拡張、またはクライスリ拡張+評価〈適用〉
- 関数の部分的適用(一部の引き数だけ具体化すること)
- 名詞の「束縛」: 変数/値のペア、またはペアの集合
「置換」の類語:
- 展開〈expansion〉マクロ言語、テンプレート言語の置き換え
- グラフティング=オペラッド結合
- ブローアップ: 一点を図形で置き換える
「置換」の反対の操作:
- 縮退
- ブラックボックス化
- ブローダウン
- 缶詰(中学校か高校で教わった)
「割り当て〈assignment〉」の同義語: グラフのノードや辺に対して、
- valuation
- decoration
- labeling
- coloring
- naming
- typing
- weighting〈重み付け〉
「割り当てられる何か」の同義語:
- value
- decoration
- label ラベル(ラベルとは言ってない)
- color 色(色とは言ってない)
- name 名前(名前とは言ってない)
- type 型(型とは言ってない)
- weight 重さ(重さとは言ってない)