#noindex
##=의미론,semantics =,semantics 의미론 semantics // Ndict:의미론 Naver:의미론 Ggl:semantics  /// cf. KmsK:의미 KmsE:semant
'''영단어 [[시맨틱스,semantics]]의 아마도 최선인 번역.'''
aka 어의론 ? Ggl:"어의론 semantics" Ndict:어의론
----
[[strictness]]?? WtEn:strictness Ggl:"strictness of strictness" ?  에 따라 // Ggl:"strict semantics vs non-strict semantics"

[[strict_semantics]] =,strict_semantics . strict_semantics
{
'''strict semantics'''

https://wiki.haskell.org/Strict_semantics
"undefined argument of a function leads to an undefined function value."
비정의된 인수값이 비정의된 [[함수값,function_value]]를 이끌어내는?

xxx
WtEn:strict_semantics x 2024-01
} // strict semantics Ggl:"strict semantics"


[[non-strict_semantics]] =,non-strict_semantics . non-strict_semantics
[[nonstrict_semantics]] =,nonstrict_semantics . nonstrict_semantics
{
nonstrict semantics
non-strict semantics

} // nonstrict semantics Ggl:"nonstrict semantics"


[[formal_semantics]] =,formal_semantics . formal_semantics
{
'''formal semantics'''


https://en.wiktionary.org/wiki/formal_semantics

https://proofwiki.org/wiki/Definition:Formal_Semantics

https://en.wikipedia.org/wiki/Formal_semantics


} // formal semantics Ggl:"formal semantics"

semantic *

[[semantic_relation]] =,semantic_relation . semantic_relation
{
의미관계 ?
뜻관계 ?

https://www.gabormelli.com/RKB/Semantic_Relation

Up: [[관계,relation]]
}
----
MKL
[[의미,meaning]] [[뜻,meaning]]
[[단어,word]]
[[의미값,semantic_value]]
[[심벌,symbol]] - [[기호,symbol]]
[[semantic_resolution_tree]] - curr [[트리,tree?action=highlight&value=semantic_resolution_tree]]
[[프래그매틱스,pragmatics]] - 어용론 / 화용론

----
Twins:

[[WpSimple:Semantics]]
= https://simple.wikipedia.org/wiki/Semantics  

[[WpEn:Semantics_(computer_science)]]
= https://en.wikipedia.org/wiki/Semantics_%28computer_science%29

https://ncatlab.org/nlab/show/semantics

... Ndict:semantics