検索結果

述語変換意味論では、[[命令型プログラミング]]言語の意味論（[[プログラム意味論]]）を定義するため、その言語の各「コマンド」に「述語変換子; Predicate Transformer」を対応させる。「述語変換子」は、プログラムの *[[プログラム意味論]] …

NAF の[[プログラム意味論|意味論]]は未解決の問題だったが、Keith Clark (1978) によって論理プログラムの完全性 (completion) の観点で正しいことが …

…論]]: [[プログラム (コンピュータ)|プログラム]]あるいは[[プログラミング言語]]の[[形式意味論]]<ref>横内寛文. (1994). プログラム意味論. 共立出版.</ref> …obabilistic computation、[[量子コンピュータ|量子計算]]、[[オートマトン]]理論、[[情報理論]]、[[暗号理論]]、[[プログラム意味論]]と[[形式的検証|検証]]、[[機械学習]]、[[計算生物学]]、computational economics、[[計算幾何学]]、computa …

その結果、やや奇妙なことが起こった。どのEDAベンダーのソフトも文法や[[プログラム意味論|意味論]]的に問題のあるようなライターソフトを作らなかった。意味論的なルールが緩く、同じこと意味するデータを表現するのにいくつもの方法が許された。これ …

…継続が第一級オブジェクトであり、また簡単に実行中のコンテキストから継続を取り出して使うことができる。そればかりではなく、Schemeは仕様において[[プログラム意味論]]が与えられているが、そこでも継続を利用して定義がおこなわれている。 …

* [[プログラム意味論]] …

…-en-short|Denotational Semantics}}）とは、[[プログラミング言語]]の意味を形式的に記述する[[形式意味論]]（[[プログラム意味論]]）の一つの枠組みである。初期には「数理的意味論」（mathematical semantics）、「スコット＝ストレイチー意味論」（Scott–St [[Category:プログラム意味論]] …

[[プログラム意味論]]において[[操作的意味論]]と[[表示的意味論]]があるように、[[数理論理学]]における（論理式の）操作的意味論に相当するものが[[証明論]]であ …

…A</math> が上記規則群から導出される場合に限って、前提 Γ (<math>\Gamma \vDash A</math>) から命題 A が[[プログラム意味論|意味論]]的に導かれる。 …

文法的に正しいCSPの表現の意味を定義する[[プログラム意味論|形式意味論]]はいくつかある。CSPの理論には、相互に一貫した[[表示的意味論]]、[[代数的意味論]]、[[操作的意味論]]がある。 …

…er=Chapman and Hall/CRC |year=2010 }}</ref>。 それらの内のいくつかは、例えば[[計算機科学]]における[[プログラム意味論]]などで、応用例を持つ<ref>{{cite journal |first=Anthony K. |last=Seda |first2=Pascal …

[[プログラム意味論|プログラミング言語の意味論]]の理論は[[プログラム検証]]（とくに[[モデル検査]]）など[[モデル理論]]に関係する。証明とプログラムの間の[[カ …

* [[プログラム意味論]] …

…]というパラダイムの基本である。純粋な論理プログラミングでは、制御部分が固定されていて、アルゴリズムは論理部分だけで指定される。この手法の魅力は、[[プログラム意味論]]的なエレガントさがある点である。公理の変化は定式化されたアルゴリズムの変更を伴う。 …

…グラミング言語]]においては、任意の演算子について数学で言うところの結合法則が成り立たないことを仮定して、その[[式 (プログラミング)|式]]の[[プログラム意味論|意味]]をどういった順序で、値を演算子により結合させたものとするかについて、それぞれの言語にそれぞれ法則がある。「[[演算子の優先順位]]」({{la …

…ogramming language)|label=Karelプログラム}}に対して訓練している。オセロGPTの例と同様に、Karelプログラムの[[プログラム意味論|セマンティクス]]には線形表現があり、その表現を修正すると出力が正しく変更される。このモデルはまた、訓練セット内のプログラムよりも平均して短く、正しい …