Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
(1)言葉・記号などで表現され, また理解される一定の内容。
公理的意味論(こうりてきいみろん、Axiomatic Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。 代数的意味論(英語版) プログラム意味論 述語変換意味論 表示的意味論 操作的意味論 表明 (プログラミング) 表示 編集
意味論(いみろん)とは論理学の分野である。 言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあって
意味ネットワーク(いみネットワーク、英: semantic network、英: frame network)は、人間の記憶の一種である意味記憶の構造を表すためのモデルである。 概念の間の意味関係を表現するネットワークである。知識表現でよく利用される。概念を表す節と、概念の意味関係を表す辺からなる、有向グラフまたは無向グラフである。
論理学・哲学における意味論。 意味 (哲学)(英語版) - 哲学における「意味の理論」(theories of meaning) プログラム意味論 - コンピュータ科学での意味論。 オントロジー (情報科学) セマンティック・ウェブ OWL 公理的意味論 操作的意味論 意味ネットワーク 意味論 (心理学)(英語版)
意味深(いみしん) 意味深長(いみしんちょう)の略。言葉に表面上以上の意味が含意されている、あるいはそれを興味深く感じるさま。出典:程顥・程頤『二程遺書』19巻(若年時に論語を読んだ時の述懐) 転じて、一般的な単語に裏の意味を持たせるネットスラング。「《任意の一般的な単語》(意味深)」のような形で用いられる。
意味
もとの意味。 本来の意味。