Pagename TBD ...
의미
의미론
의미론,semantics
- 이 최선의 번역?
시맨틱스
...
Topics:
meaning
pagename?
의미,meaning
뜻,meaning
...
Contents
1
.
Sub
1.1
.
semantic value 의미값
1.2
.
semantic web
1.3
.
semantic consequence
1.4
.
semantic tableau
1.5
.
Kripke semantics = relational semantics = frame semantics
1.6
.
possible world semantics
1.7
.
game semantics
1.8
.
axiomatic semantics
1.9
.
denotational semantics
1.10
.
operational semantics
1.11
.
reference semantics / value semantics
1.12
.
formal semantics
1.13
.
lexical semantics
1.14
.
mathematical semantics
1.15
.
statistical semantics
1.16
.
semantic space
1.17
.
structural semantics
1.18
.
strict semantics / non-strict semantics
1.19
.
distributional semantics
1.20
.
ADDHERE
1.21
.
ADDHERE
1.22
.
ADDHERE
2
.
Cmp:
[
edit
]
1
.
Sub
¶
Sub:
[
edit
]
1.1
.
semantic value 의미값
¶
의미값,semantic_value
[
edit
]
1.2
.
semantic web
¶
semantic_web =,semantic_web .
안쓰는단어지만 번역을 시도한다면
의미웹
의미론적웹
...?
https://ko.wikipedia.org/wiki/시맨틱_웹
https://simple.wikipedia.org/wiki/Semantic_Web
https://en.wikipedia.org/wiki/Semantic_Web
rel
ontology
웹,web
metadata
meaning
[
edit
]
1.3
.
semantic consequence
¶
semantic_consequence
=,semantic_consequence =,semantic_consequence . semantic_consequence
Semantic_consequence
= ?
Up:
logical_consequence
? chk =,logical_consequence =,logical_consequence . logical_consequence
{
logical consequence
LogicalConsequence
logical_consequence
(없다) 대신..
consequence
Logical_consequence
"logical consequence"
...
logical consequence
logical consequence
} // logical consequence
[
edit
]
1.4
.
semantic tableau
¶
semantic tableau
semantic_tableau
=
https://en.wiktionary.org/wiki/semantic_tableau
Syn.
진리나무,truth_tree
Has link to:
Method_of_analytic_tableaux
=
https://en.wikipedia.org/wiki/Method_of_analytic_tableaux
...
"semantic tableau"
semantic tableau
semantic tableau
[
edit
]
1.5
.
Kripke semantics = relational semantics = frame semantics
¶
Kripke semantics = relational semantics = frame semantics
Kripke_semantics = relational_semantics = frame_semantics
크립키 의미론 ?
크립키_의미론
non-classical_logic system을 위한 formal_semantics .
MKL: Kripke_model {
https://encyclopediaofmath.org/wiki/Kripke_models
}
Kripke_semantics
=
https://en.wikipedia.org/wiki/Kripke_semantics
Up: (via we categories)
modal_logic
model_theory
sheaf_theory
non-classical_logic
mathematical_logic
...
Kripke semantics
Kripke semantics
Kripke semantics = relational semantics = frame semantics
[
edit
]
1.6
.
possible world semantics
¶
possible_world_semantics
=,possible_world_semantics =,possible_world_semantics . possible_world_semantics
possible world semantics
가능세계의미론 ?
possible_world_semantics
?
ndict(nn) 없음. 2023-08-12
possible world semantics
possible world semantics
// possible world semantics
REL.
https://en.wikipedia.org/wiki/Possible_world
https://ko.wikipedia.org/wiki/가능세계론
비슷한 표현 possible_universe
표현에 관련:
가능성,possibility
world (
월드,world
세계,world
) universe (
유니버스,universe
우주,universe
)
REL.
modal_logic
...(random search)
가능세계의미론
가능세계론
가능세계론
[
edit
]
1.7
.
game semantics
¶
게임,game
game_semantics
=,game_semantics =,game_semantics . game_semantics
game semantics
게임 의미론 ?
게임의미론 ?
game_semantics
??
https://en.wikipedia.org/wiki/Game_semantics
...
"game semantics"
game semantics
x 2023-08-12
game semantics
x 2023-08-12
[
edit
]
1.8
.
axiomatic semantics
¶
axiomatic_semantics
=,axiomatic_semantics =,axiomatic_semantics . axiomatic_semantics
{
axiomatic semantics
공리적 의미론 ?
공리,axiom
rel.
Hoare_logic
,
수리논리,mathematical_logic
rel. assert , assertion
https://foldoc.org/axiomatic semantics
https://xlinux.nist.gov/dads/HTML/axiomaticSemantics.html
axiomatic_semantics
=
https://en.wiktionary.org/wiki/axiomatic_semantics
x deleted
Axiomatic_semantics
=
https://en.wikipedia.org/wiki/Axiomatic_semantics
...
"axiomatic semantics"
axiomatic semantics
axiomatic semantics
[
edit
]
1.9
.
denotational semantics
¶
denotational_semantics
=,denotational_semantics =,denotational_semantics . denotational_semantics
{
denotational semantics
denotation?
denote v. indicate connote represent 비슷한 뜻.
denotation
denotation
denotation
denotational semantics
denotational semantics
(we){"is an approach of formalizing
(formalization)
the meanings of programming_language s by constructing mathematical_object {
https://ko.wikipedia.org/wiki/수학적_대상
https://en.wikipedia.org/wiki/Mathematical_object
} s (called
denotation
s) that describe the meanings of expressions from the languages. Other approaches providing
formal semantics of programming languages //
formal_semantics
for
프로그래밍언어,programming_language
(i.e.
형식언어,formal_language
)
//
Semantics_(computer_science)
=
https://en.wikipedia.org/wiki/Semantics_(computer_science)
(Redirected from
Formal_semantics_of_programming_languages
)
// formal_semantics : formal semantics
formal_semantics
Formal_semantics
include axiomatic semantics // axiomatic semantics ...
and operational semantics."} // operational semantics ...
// 이상 세 가지 비교:
Semantics_(computer_science)#Approaches
=
https://en.wikipedia.org/wiki/Semantics_(computer_science)#Approaches
Sub:
denotational_semantics_of_the_actor_model
{
"The
denotational_semantics
of the
actor_model
is the subject of denotational domain theory for Actors."
// domain_theory (curr at ...) > denotational_domain_theory
Denotational_semantics_of_the_Actor_model
=
https://en.wikipedia.org/wiki/Denotational_semantics_of_the_Actor_model
Up:
actor_model
...
actor_model
... curr at
모형,model#s-8
}
denotational_semantics
?? qqqqq
https://en.wikipedia.org/wiki/Denotational_semantics
denotational semantics
denotational+semantics
}
[
edit
]
1.10
.
operational semantics
¶
operational_semantics
=,operational_semantics =,operational_semantics . operational_semantics - w
operational semantics
structural_operational_semantics (SOS)
structural operational semantics
Cmp:
structural_semantics
https://www.pls-lab.org/en/Structural_Operational_Semantics
https://foldoc.org/operational semantics
Operational_semantics
=
https://en.wikipedia.org/wiki/Operational_semantics
[
edit
]
1.11
.
reference semantics / value semantics
¶
reference_semantics / value_semantics
reference_semantics
참조,reference
value_semantics
값,value
see local
[
edit
]
1.12
.
formal semantics
¶
formal_semantics
=,formal_semantics =,formal_semantics . formal_semantics
formal semantics
formal_semantics
??
"formal semantics"
formal semantics
formal semantics
[
edit
]
1.13
.
lexical semantics
¶
lexical semantics
"lexical semantics"
lexical semantics
lexical semantics
[
edit
]
1.14
.
mathematical semantics
¶
mathematical_semantics
"mathematical semantics"
mathematical semantics
mathematical semantics
[
edit
]
1.15
.
statistical semantics
¶
statistical semantics
statistical_semantics
statistical_semantics
=
https://en.wiktionary.org/wiki/statistical_semantics
대충,
단어,word
의
의미,meaning
에 대한 통계적 접근법임.
"(
전산언어학,computational_linguistics
) The study of estimation
추정,estimation
of the meanings of words by looking at patterns of words in huge collections of texts, using statistical methods."
"statistical semantics"
statistical semantics
statistical semantics
[
edit
]
1.16
.
semantic space
¶
semantic space
semantic_space
Semantic_space
https://en.wiktionary.org/wiki/semantic_space
x 2023-11-28
의미공간? (내생각)
[
edit
]
1.17
.
structural semantics
¶
structural semantics
structural_semantics
=,structural_semantics =,structural_semantics . structural_semantics
structural_semantics
=
https://en.wiktionary.org/wiki/structural_semantics
x 2023-11-28
Structural_semantics
=
https://en.wikipedia.org/wiki/Structural_semantics
구조적의미론 ? (내생각)
"structural semantics"
structural semantics
structural semantics
structural semantics
structural semantics
구조,structure
[
edit
]
1.18
.
strict semantics / non-strict semantics
¶
curr at
의미론,semantics?action=highlight&value=strict
[
edit
]
1.19
.
distributional semantics
¶
distributional_semantics
distributional_semantics
[
edit
]
1.20
.
ADDHERE
¶
[
edit
]
1.21
.
ADDHERE
¶
[
edit
]
1.22
.
ADDHERE
¶
[
edit
]
2
.
Cmp:
¶
신택스,syntax
semantics
semantics
semantic_
semantic
//twins copied from local
http://www.aistudy.com/linguistics/semantics.htm
https://foldoc.org/semantics
https://everything2.com/title/semantics
두산백과: 의미론 semantics
(https://terms.naver.com/entry.naver?docId=1133904&cid=40942&categoryId=32972)
의미론
http://emal.iptime.org/noriwiki/index.php/Semantics
Semantic
=
https://en.wikipedia.org/wiki/Semantics
Semantics_(computer_science)
=
https://en.wikipedia.org/wiki/Semantics_(computer_science
)
=
https://en.wikipedia.org/wiki/Semantics_(computer_science)
プログラム意味論
=
https://ja.wikipedia.org/wiki/プログラム意味論
(program semantics) = program_semantics =,program_semantics . program_semantics
program_semantics
?
http://tunes.org/cliki/semantics.html
Retrieved from http://www.red-ruby.com/wiki/wiki.php/시맨틱스,semantics
last modified 2024-03-24 02:27:27