语言
没有数据
通知
无通知
反義関係 包摂関係 一つの語や形態素（語彙素）が担う意味を意義素という。ちょうど音素が音韻論における基本的な単位であるのと同様に、意義素は意味論における基本的な単位であるという見立てができる。そして音素がさらに弁別素性の集まったものと考えられるのと同じように、意義素
論理学・哲学における意味論。 意味 (哲学)（英語版） - 哲学における「意味の理論」(theories of meaning) プログラム意味論 - コンピュータ科学での意味論。 オントロジー (情報科学) セマンティック・ウェブ OWL 公理的意味論 操作的意味論 意味ネットワーク 意味論 (心理学)（英語版）
意味論（いみろん、英: semantics）とは、言語学において語・句・文・テクストといった記号列（文字列）の構成について論じる統語論と2大分野として対をなす、その記号列が表す意味について論じる分野である。また、実際の発話や文脈に依存した記号の使用に関わる語用論とも対置される。 統語論と意味論
述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、 全称量化子 ∀
意味変化(いみへんか、semantic change)は、単語の意味が時代の変化に応じて、拡張、縮小されたり、移動することを意味する。 速度違反: 道路の規定された制限速度を破ることを意味するか、朝鮮語では、結婚前の妊娠を意味する俗語でも使われる。 bug(バグ): 虫 → コンピュータプログラムの欠陥
「並行性意味論」は並行処理の形式意味論を扱う意味論一般を指す。特筆すべきものとしてはアクターモデルやプロセス代数がある。 「ゲーム意味論」はゲーム理論をベースとした形式意味論である。 場合によっては、異なる意味論間の関係を説明する必要が生じる。例えば: ある言語の操作的意味論の結果が、その言語の公理的意味
より一般化して、ゲーム意味論は述語論理にも適用される。新たなルールとして、支配的な量化子をその所有者（立証者は存在記号を所有し、偽証者は全称記号を所有する）が削除でき、その際に束縛変項の全ての出現をプレイヤーの選んだ任意の定項で置き換える。このとき、全称量化では1つの反例で偽となり、存在量化では1つの例で真となることに注意されたい。
preprocessor）のように特定のプログラミング言語の具象構文を基本的に前提としたものもあれば、m4のように汎用のものもあれば、Lispのマクロのように言語組込みで構文木を対象にしたものもある。 モデル駆動工学においてはモデル変換言語があり、あるメタモデルに従
搜索 
搜索 搜索 
