出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/15 20:52 UTC 版)「プログラム意味論」の記事における「分野」の解説プログラム意味論の分野には、以下のような...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/15 20:52 UTC 版)「プログラム意味論」の記事における「意味論間の関係」の解説場合によっては、異なる意味論間...

出典:『Wiktionary』 (2021/08/22 13:07 UTC 版)名詞意味論 (いみろん) (言語学) 記号列が表す意味について議論する分野。 (哲学, 数学) 解釈によって、形...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/15 20:52 UTC 版)「プログラム意味論」の記事における「形式的意味論」の解説形式化にはいくつかの手法があり、...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/01 02:22 UTC 版)「継続」の記事における「Schemeにおける継続」の解説Schemeでは前述のように、継...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/08 01:14 UTC 版)「プログラミング言語」の記事における「意味仕様」の解説意味論の仕様は、自然言語などで記述...

Jump to navigationJump to searchプログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関す...

Jump to navigationJump to searchプログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関す...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/28 01:04 UTC 版)「アルゴリズム」の記事における「論理」の解説アルゴリズムは、制御された演繹であるとも言わ...

ナビゲーションに移動検索に移動意味論（いみろん、Semantics）とは、意味について研究する学問である。 言語学、哲学、コンピューター科学、心理学など、いくつかの異なる分野の下位分野を指して使用され...