Logo
首頁
課程
筆記本
字典
JLPT 測驗
影片
升級
意見回饋
Logo
首頁
課程
筆記本
字典
JLPT 測驗
影片
升級
意見回饋
Todaii Japanese
Switch language – current: zh-tw
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

關於 Todaii Japanese

品牌故事常見問題使用指南條款與政策退款資訊

社群網路

Logo facebookLogo instagram

應用程式版本

AppstoreGoogle play

其他應用

Todaii German
Todaii Super
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

版權屬於 eUp Technology JSC

Copyright@2026

字典

單字詳情

表示的意味論

計算機科学における表示的意味論（ひょうじてきいみろん、英: Denotational Semantics）とは、プログラミング言語の意味を形式的に記述する形式意味論（プログラム意味論）の一つの枠組みである。初期には「数理的意味論」（mathematical semantics）、「スコット＝ストレイチー意味論」（Scott–Strachey

相關單字

動的意味論

)\Leftrightarrow \forall x(\phi \rightarrow \psi )} 更新意味論（こうしんいみろん）は、フランク・ヴェルトマンによって開発された動的意味論の枠組みである。更新意味論において、各々の式 φ {\displaystyle \varphi } は談話文脈を受け取って談話文脈を返す関数

意味論

論理学・哲学における意味論。 意味 (哲学)（英語版） - 哲学における「意味の理論」(theories of meaning) プログラム意味論 - コンピュータ科学での意味論。 オントロジー (情報科学) セマンティック・ウェブ OWL 公理的意味論 操作的意味論 意味ネットワーク 意味論 (心理学)（英語版）

操作的意味論

操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。 プログラミング言語の操作的意味論は、有効なプログラムを計算ステップのシーケンスとして解釈する様子を記述する。そのようなシーケンス

公理的意味論

公理的意味論（こうりてきいみろん、Axiomatic Semantics）とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。 代数的意味論（英語版） プログラム意味論 述語変換意味論 表示的意味論 操作的意味論 表明 (プログラミング) 表示 編集

意思表示

表白主義 発信主義 到達主義 了知主義 隔地者に対する意思表示は、その通知が相手方に到達した時からその効力を生ずる（到達主義の原則、97条1項）。 隔地者間の契約の成立時期については特則があり、隔地者間の契約は、承諾の通知を発した時に成立する（発信主義、526条）。

プログラム意味論

「並行性意味論」は並行処理の形式意味論を扱う意味論一般を指す。特筆すべきものとしてはアクターモデルやプロセス代数がある。 「ゲーム意味論」はゲーム理論をベースとした形式意味論である。 場合によっては、異なる意味論間の関係を説明する必要が生じる。例えば: ある言語の操作的意味論の結果が、その言語の公理的意味

ゲーム意味論

より一般化して、ゲーム意味論は述語論理にも適用される。新たなルールとして、支配的な量化子をその所有者（立証者は存在記号を所有し、偽証者は全称記号を所有する）が削除でき、その際に束縛変項の全ての出現をプレイヤーの選んだ任意の定項で置き換える。このとき、全称量化では1つの反例で偽となり、存在量化では1つの例で真となることに注意されたい。

意味論 (論理学)

意味論（いみろん）とは論理学の分野である。 言語学における統語論は、数理論理学では証明論に対応する。同様にして言語学における意味論に対応するのが数理論理学における意味論である。証明論では対象を単なる記号として扱い、その記号の操作のみによるものとして証明をおこなう。たとえば「点A」というものがあって

形式意味論

semantics)と言う。 さらに、可能性や必然性、条件文などの表現を扱うために、この考えは可能世界意味論に拡張される。可能世界意味論では、文が可能世界にどのように写像されるかを取り扱う。たとえば、「雪が白いかもしれない」という文の表す命題は、雪がさまざまな色をしている可能世界の中に雪が白い可能世界が少なくとも一つ存在し、そこに写像されると考える。

一般意味論

一般意味論（いっぱんいみろん、General Semantics）は、アルフレッド・コージブスキー（1879年 - 1950年）により1919年から1933年までの間に構築された教育的規範である。一般意味論は、言語学の意味論とは全く異なる。その名称は、コージブスキーが「意味反応」(Semantic

語彙意味論

反義関係 包摂関係 一つの語や形態素（語彙素）が担う意味を意義素という。ちょうど音素が音韻論における基本的な単位であるのと同様に、意義素は意味論における基本的な単位であるという見立てができる。そして音素がさらに弁別素性の集まったものと考えられるのと同じように、意義素

地理的表示

に含めており、WIPOではこの両者を合わせて地理的表示と呼んでいる。WIPOが管理する原産地名称の保護及び国際登録に関するリスボン協定（リスボン協定）第2条(1)では、原産地名称を以下のように定義している。 この協定において、「原産地名称」とは、ある国、地方又は土地の地理

意味

(1)言葉・記号などで表現され， また理解される一定の内容。 「単語の～」「この文は～が通らない」 (2)ある表現・作品・行為にこめられた内容・意図・理由・目的・気持ちなど。 「～もなく笑う」「彼が怒った～がわからない」「感謝の～で贈る」 (3)物事がある脈絡の中でもつ価値。 重要性。 意義。 「ここであきらめては努力してきた～がない」「歴史的～」 (4)表現によって暗示的にほのめかされる深い味わい。 含蓄。 「言外の～」 (5)ある表現・行為・物事などのもつ内容を表すこと。 「赤字はマイナスを～する」「あの微笑は何を～するのか」

表示

(1)外部にはっきりとあらわし示すこと。 「意思を～する」 (2)表にして示すこと。 「前年度の成績を～する」 (3)きざし。 表事。 「此れ偏に金粟世界に生ぜる～也/今昔 6」

意味論 (言語学)

意味論（いみろん、英: semantics）とは、言語学において語・句・文・テクストといった記号列（文字列）の構成について論じる統語論と2大分野として対をなす、その記号列が表す意味について論じる分野である。また、実際の発話や文脈に依存した記号の使用に関わる語用論とも対置される。 統語論と意味論

意表

思いも及ばないこと。 意外なこと。 また， そのさま。 「～に出て驚かせる」「代助には～な返事をした/それから（漱石）」 <i>～に出る</i> 「意表を突く」に同じ。 <i>～を突・く</i> 相手が思いも及ばなかったことをして， あっと言わせる。

表意

(1)文字が意味を表していること。 ⇔ 表音 (2)意思を表示すること。 「～者」

意味ネットワーク

意味ネットワーク（いみネットワーク、英: semantic network、英: frame network）は、人間の記憶の一種である意味記憶の構造を表すためのモデルである。 概念の間の意味関係を表現するネットワークである。知識表現でよく利用される。概念を表す節と、概念の意味関係を表す辺からなる、有向グラフまたは無向グラフである。

意味深

意味深（いみしん） 意味深長（いみしんちょう）の略。言葉に表面上以上の意味が含意されている、あるいはそれを興味深く感じるさま。出典：程顥・程頤『二程遺書』19巻（若年時に論語を読んだ時の述懐） 転じて、一般的な単語に裏の意味を持たせるネットスラング。「《任意の一般的な単語》（意味深）」のような形で用いられる。