---
tags: TrRun4
id: Theo-D01_confusingWords.md
---

# 檜山トレラン4 D01 混乱しがちな言葉

適宜追加修正予定。適宜追加修正している。

## 多義曖昧語

- クラス：
1. 同値類
1. 大きいかも知れない集合
1. オブジェクト指向言語のクラス
1. プログラミング言語の型クラス
1. セオリー論におけるモデルの圏＝指標の外延
1. 漠然と「モノの集まり」
- オブジェクト：
1. 圏の対象
1. オブジェクト指向のオブジェクト
1. 名前付きタプル型データ（JSONオブジェクトなど）
1. メモリーオブジェクト
1. 単なるモノ／存在物
1. 国語辞書的に対象物
- コンビネーション：
1. 順列組み合わせの組み合わせ
1. セオリー論におけるコンビネーション
1. プレゼンテーション
2. プレゼンテーションの同値類
- インスタンス
1. 状態空間の点（状態空間を“クラス”と考えて）
2. 集合の要素（集合を“クラス”と考えて）
3. 圏の対象（圏を“クラス”と考えて）
4. セオリー論におけるモデル
5. セオリー論における引数無し構成手続き
6. 国語辞書的に「具体例、具体的事物」
- 命題
1. 高校数学的に「真偽が判断できる文」
2. 論理式
3. 述語（二値ブール代数に値をとる関数）
4. 定理
5. 国語辞書的に「課題、ミッション、目標など」
- セル：
1. 幾何セル（基本図形）
1. 複体の構成要素
1. 記号セル（基本記号）
1. 生成元
1. 原子的な“なにか”
- 複体：
1. 幾何的単体複体
1. 幾何的胞体複体
1. 組み合わせ複体
1. 抽象複体
1. 微分系列
1. 余微分余系列
1. DGA〈differential graded algebra〉

## 同じ概念的実体を指す語

同一の数学的概念を、分野の違い、文脈の違い、役割・位置付けの違い、制限の有無などで、様々な呼び方をする。

- 有限集合を域とする依存（かも知れない）関数：
1. タプル
1. レコード
1. オブジェクト
1. {テーブルの}?行〈ロー〉
1. 名前付きタプル
1. ヘテロジニアス・リスト
1. ヘテロジニアス配列
1. 構造体〈ストラクチャ〉
1. NVP集合〈set of name-value pairs〉
1. KVP集合〈set of key-value pairs〉
1. リスト（非依存のとき）
1. ベクトル（非依存のとき）
1. シーケンス（たぶん非依存のとき）
1. 配列〈アレイ〉（非依存のとき）
1. 行列〈マトリックス〉（非依存、域が2次元的）
1. テンソル（非依存、域が多次元的）
1. パイ型のインスタンス〈セクション〉（域が無限のときもある）
- 有限集合を域とする依存関数の引数または値：
1. 成分〈コンポネント〉
1. 要素
1. 項目〈アイテム〉
1. フィールド
1. {データ}?メンバー
1. プロパティ
1. 属性〈アトリビュート〉
1. スロット
1. エントリー
1. {テーブルの}?カラム〈列〉
1. 名前付き値〈named value〉
1. キー付き値〈keyed value〉
1. セレクター（ゲルファント双対）
1. エクストラクター（ゲルファント双対）
- 集合値関数：
1. {インデックス \| パラメータ}{付けられた}?集合{の}?族
1. 型ファミリー
1. {テーブル}?スキーマ
1. 集合値レコード
1. 型判断
1. 型表明
1. 型宣言
1. 型割り当て
1. 構造体型{宣言 \| 定義}

## ローカル用語の同義語・類義語

**ラベル**の同義語・類義語：いずれも、実際の値そのものではないが、値を割り当てるべき“場所”、または“場所の目印”の意味。

1. 変数{名 \| 記号}?
2. 定数{名 \| 記号}?
3. パラメータ{名 \| 記号}?
3. 識別子
4. 名前
5. プレースホルダー
6. 不定元
7. 記号〈シンボル〉
7. ホール〈穴〉
8. スロット
9. ポジション
13. キー{名}?
10. フィールド{名}?
11. カラム{名}?
12. プロパティ{名}?
13. 属性{名}?
14. セル{名}?

**コンビネーション**の同義語・類義語： 英語と日本語の関係が不安定な（確定してない）ものは別々に挙げる。いずれも、何かを表すために組み立てられた構文的対象物〈syntactic object〉の意味。

1. 式
2. 項〈term〉
3. 表現
4. expression
5. presentation
6. formula
7. 図
8. 図式
9. diagram
10. figure
11. picture
12. composite

ラベルやコンビネーションが表す〈denote \| refer \| {re}?present〉意味的対象物〈semantic object〉が**シング**。

**指標**の同義語・類義語： ひとつまたは複数のn-圏上の代数構造を記述するための構文的対象物〈syntactic object〉

1. プレゼンテーション
2. コンピュータッド
1. 多グラフ
2. 仕様
3. 生成系
4. 公理系
5. アルファベット
6. 文法
7. セオリー
8. スキーマ
9. インターフェイス
10. 型クラス

**モデル**の同義語・類義語： 指標が定義する代数構造の実例。

1. インスタンス
1. 状態（0-モデル）
2. 代数
3. 加群
4. 表現
5. 実現
6. {構造 \| ストラクチャ}
7. 実装
8. {抽象 \| 仮想}{マシン \| ハードウェア}
9. 実行エンジン

## 注意すべき同義・類義の形容詞

- 原子的〈atomic〉： 基本的〈basic〉、基礎的〈ground〉、素〈prime〉
- 正規： 被約〈reduced〉、既約 不可約〈irreducible〉最簡〈simplest〉

## 注意すべき同義・類義の名詞

- 生成〈generation | production | creation〉

## 注意すべき同綴異義語・類綴異義語の名詞

- contractは契約（動詞／名詞）、contractionは縮約（名詞）。contractionの動詞はcontractだが、だいぶ紛らわしい。プロの翻訳家でも誤訳していることがある。