Loading article…
抽象構造とは、幾何学的空間 や集合構造などの抽象化、あるいは数学的な定理や法則、特性や関係の集合によって定義される位格的抽象化であり、その構造は、物理的対象を伴うものなどの偶発的な経験の構造とは必ずしも歴史的に独立しているわけではないが、論理的には独立している[1] 。抽象構造は、論理学や数学だけでなく、コンピュータサイエンスやコンピュータグラフィックスなどの抽象構造を応用する分野や、哲学（特に数学の哲学）などの抽象構造を考察する研究でも研究されている。実際、現代数学は、非常に一般的な意味で抽象構造の研究として定義されてきた（ブルバキ・グループによる。そこでの代数的構造と構造に関する議論を参照）。
抽象構造は、1 つ以上の物理オブジェクトによって (ある程度の近似で) 表されることがあります。これは、抽象構造の実装またはインスタンス化と呼ばれます。ただし、抽象構造自体は、特定の実装のプロパティに依存しない方法で定義されます。
抽象構造は、概念やアイデアよりも構造が豊かです。抽象構造には、候補となる実装が実際に問題の抽象構造と一致するかどうかを判断するために使用できる正確な動作規則が含まれている必要があり、矛盾があってはなりません。したがって、特定の政府が民主主義の概念にどれだけ適合しているかについては議論できますが、特定の動きのシーケンスが有効なチェスのゲームであるかどうか（たとえば、カスパロフのアプローチ）については議論の余地がありません。
例
- ソートアルゴリズムは抽象的な構造ですが、レシピは材料の特性と量に依存するため、抽象的な構造ではありません。
- 単純なメロディーは抽象的な構造ですが、オーケストレーションは特定の楽器の特性に依存するため、抽象的な構造ではありません。
- ユークリッド幾何学は抽象的な構造ですが、大陸移動の理論は地球の地質に依存しているため、抽象的な構造ではありません。
- 形式言語は抽象的な構造ですが、自然言語は文法や構文の規則が議論や解釈の余地があるため、抽象的な構造ではありません。
注記
- ^しかし、歴史的依存関係は、 コルモゴロフ複雑性やコルモゴロフ・ヒンチン方程式の組合せ論の一部として事象理論で部分的に考慮されている。
参照