语言
没有数据
通知
无通知
人の性格を表す形容詞のあとにofをつけて表す場合 It is kind of you to teach her mathematics.(彼女に数学を教えてあげるとは親切だ。) 第五文型（目的語が意味上の主語となり目的格補語に不定詞がくる場合） I intend you to be a teacher
目的語（もくてきご、ラテン語: objectum）は、文の構成素、文の成分の一つ。客語（きゃくご、かくご）、賓語（ひんご）とも。補語（対象語）と呼ぶ場合もあるが、注意を要する。 ロマンス諸語では目的補語と呼ぶことが多い。日本語ではおもに助詞「を」や「に」で示される。目的語を示す格を目的格と呼ぶ。
)\Leftrightarrow \forall x(\phi \rightarrow \psi )} 更新意味論（こうしんいみろん）は、フランク・ヴェルトマンによって開発された動的意味論の枠組みである。更新意味論において、各々の式 φ {\displaystyle \varphi } は談話文脈を受け取って談話文脈を返す関数
(1)言葉・記号などで表現され， また理解される一定の内容。
反義関係 包摂関係 一つの語や形態素（語彙素）が担う意味を意義素という。ちょうど音素が音韻論における基本的な単位であるのと同様に、意義素は意味論における基本的な単位であるという見立てができる。そして音素がさらに弁別素性の集まったものと考えられるのと同じように、意義素
る（フルダンスの振り入れは当日行われた）。また、この作品のために準備されたプロジェクトマッピングも使用されている。 ないものねだり 監督：山岸聖太 橋本奈々未のソロ曲「ないものねだり」のミュージック・ビデオは、神奈川県横浜市中区のよこはまコスモワールド・東京近郊を中心に、極秘で撮影された。橋本のプ
操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。 プログラミング言語の操作的意味論は、有効なプログラムを計算ステップのシーケンスとして解釈する様子を記述する。そのようなシーケンス
公理的意味論（こうりてきいみろん、Axiomatic Semantics）とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。 代数的意味論（英語版） プログラム意味論 述語変換意味論 表示的意味論 操作的意味論 表明 (プログラミング) 表示 編集
搜索 
