セマンティクス（意味論）

コードにおける意味の研究。コードがどのように書かれているか（構文）ではなく、実際に何をするかを扱います。

🌐 用語他の言語で:

English Deutsch Español Français 日本語 한국어 Polski Português Русский Türkçe Українська

Components: 1. IIoT. 2. Big Data & AI. 3. Additive Manufacturing (3D Printing). 4. Autonomous Robots. 5. Cloud Computing.

        graph LR
  Center["セマンティクス（意味論）"]:::main
  Pre_syntax["syntax"]:::pre --> Center
  click Pre_syntax "/terms/syntax"
  Rel_syntax["syntax"]:::related -.-> Center
  click Rel_syntax "/terms/syntax"
  Rel_logic["logic"]:::related -.-> Center
  click Rel_logic "/terms/logic"
  classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
  classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
  classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
  classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
  linkStyle default stroke:#4b5563,stroke-width:2px;

🕸️ Open in Universe

🧒 5歳でもわかるように説明

構文は綴りや文法（単語を正しく書くこと）のようなものです。セマンティクスは文の「意味」です。「私の犬が月に飛んでいった」のように、文法的に完璧でも意味をなさない文（間違ったセマンティクス）を書くことができます。

🤓 Expert Deep Dive

形式的意味論（操作的、表示的、公理的）は、プログラムの動作を数学的に定義します。C++における未定義動作（Undefined Behavior）は、標準が結果を規定しないセマンティックな概念です。セマンティックWeb（RDF、OWL）は、意味を追加することでインターネット上のデータを機械可読にすることを目指しています。

🔗 関連用語

前提知識:

syntax

🧒 5歳でもわかるように説明

🤓 Expert Deep Dive

🔗 関連用語

📚 出典