• 시맨틱스,semantics . . . . 198 matches
       의미론 [[의미론,semantics]] - 이 최선의 번역?
       == semantic value 의미값 ==
       [[의미값,semantic_value]]
       == semantic web ==
       semantic_web =,semantic_web .
       https://simple.wikipedia.org/wiki/Semantic_Web
       https://en.wikipedia.org/wiki/Semantic_Web
       == semantic consequence ==
       [[semantic_consequence]] =,semantic_consequence =,semantic_consequence . semantic_consequence
       [[WpEn:Semantic_consequence]] = ?
       == semantic tableau ==
       semantic tableau
       [[WtEn:semantic_tableau]]
       = https://en.wiktionary.org/wiki/semantic_tableau
       "semantic tableau"
       Ggl:"semantic tableau" Naver:"semantic tableau"
       == Kripke semantics = relational semantics = frame semantics ==
       Kripke semantics = relational semantics = frame semantics
       Kripke_semantics = relational_semantics = frame_semantics
       non-classical_logic system을 위한 formal_semantics .
• 의미론,semantics . . . . 51 matches
       ##=의미론,semantics =,semantics 의미론 semantics // Ndict:의미론 Naver:의미론 Ggl:semantics /// cf. KmsK:의미 KmsE:semant
       '''영단어 [[시맨틱스,semantics]]의 아마도 최선인 번역.'''
       aka 어의론 ? Ggl:"어의론 semantics" Ndict:어의론
       반면 ( 가능세계의미론 [[possible_world_semantics]] / possible_worlds_semantics )은 주어와 술어의 내포를 [[가능세계,possible_world]]와 관련된 함수로서 규정한다.
       [[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
       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
• 트리,tree . . . . 12 matches
       [[semantic_resolution_tree]] =,semantic_resolution_tree =,semantic_resolution_tree . semantic_resolution_tree
       semantic resolution tree
       [[의미론,semantics]]
       WpSimple:Semantic_resolution_tree
        = https://simple.wikipedia.org/wiki/Semantic_resolution_tree
       WpEn:Semantic_resolution_tree
        = https://en.wikipedia.org/wiki/Semantic_resolution_tree
        "is a tree used for the definition of the semantics of a programming language"
       ... Google:Semantic.resolution.tree
• 분류,classification . . . . 11 matches
        but with perhaps a more theoretical bent, as classification can be applied over a wide [[semantic_spectrum]]. [[semantic_spectrum]] =,semantic_spectrum . semantic_spectrum
        '''semantic spectrum'''
        WtEn:semantic_spectrum x [[Date(2024-03-14T22:38:13)]]
        WpEn:Semantic_spectrum ?
        Up: [[semantics]] ? [[스펙트럼,spectrum]] ?
        } // semantic spectrum ... Naver:"semantic spectrum" Ggl:"semantic spectrum"
• 질의query . . . . 10 matches
       [[semantic_query]] =,semantic_query =,semantic_query . semantic_query
       semantic query
       https://en.wiktionary.org/wiki/semantic_query x [[Date(2023-08-28T21:56:32)]]
       https://en.wikipedia.org/wiki/Semantic_query
       [[시맨틱스,semantics]] [[meaning]]
       Ggl:"semantic query"
       "semantic query"
• WikiSandBox . . . . 9 matches
        semantics - [[시맨틱스,semantics]] WtEn:semantics
       === denotational semantics ===
       denotational_semantics =,denotational_semantics .
       https://en.wikipedia.org/wiki/Denotational_semantics
       denotational_semantics_of_the_Actor_model
       https://en.wikipedia.org/wiki/Denotational_semantics_of_the_Actor_model
• 가설,hypothesis . . . . 9 matches
       [[시맨틱스,semantics]]
        esp [[distributional_semantics]] =,distributional_semantics . distributional_semantics
        '''distributional semantics'''
        https://en.wiktionary.org/wiki/distributional_semantics
        } // distributional semantics ... Ggl:"distributional semantics" NN:"distributional semantics"
• 분석,analysis . . . . 9 matches
       [[semantic_analysis]] =,semantic_analysis . semantic_analysis
       semantic analysis
       context semantic analysis
       [[WpEn:Semantic_analysis_(linguistics)]]
        = https://en.wikipedia.org/wiki/Semantic_analysis_%28linguistics%29
       [[WpEn:Semantic_analysis_(compilers)]]
       semantic+analysis
• 일반화,generalization . . . . 9 matches
       Cmp: [[semantic_space]]
       =,semantic_space =,semantic_space . semantic_space
       WtEn:semantic_space ?
       WpEn:Semantic_space = https://en.wikipedia.org/wiki/Semantic_space
       Rel [[시맨틱스,semantics]] [[시맨틱,semantic]]
• 결정트리,decision_tree . . . . 8 matches
       [[semantic_decision_table]] =,semantic_decision_table . semantic_decision_table
       semantic decision table
       https://en.wikipedia.org/wiki/Semantic_decision_table
       [[시맨틱스,semantics]]
       Ggl:"semantic decision table"
       "semantic decision table"
• 쌍대성,duality . . . . 8 matches
       [[syntax-semantics_duality]] =,syntax-semantics_duality . syntax-semantics_duality
       '''syntax-semantics duality'''
       [[semantics]] - [[의미론,semantics]]
       } // syntax-semantics duality Ggl:"syntax-semantics duality"
• 관계,relation . . . . 7 matches
       [[semantic_relation]] =,semantic_relation . semantic_relation
        '''semantic relation'''
        https://www.gabormelli.com/RKB/Semantic_Relation
        // semantic relation Ggl:"semantic relation"
• 태그,tag . . . . 6 matches
        [[semantic_tag]] =,semantic_tag . semantic_tag
        '''semantic tag'''
        } // semantic tag .... NN:"semantic tag"
• 세계,world . . . . 5 matches
       possible world's' semantics
       [[시맨틱스,semantics]]
       [[의미론,semantics]]
       } // possible world semantics Ggl:"possible world semantics"
• 신택스,syntax . . . . 5 matches
        기계적인/수학적인 구조/규칙에 주목한다. [[의미,meaning]]까지 주목하지는 않는다. 의미까지 생각하는 것은 [[시맨틱스,semantics]].([[의미,semantics]] or [[의미론,semantics]] etc.)
       Cmp: [[시맨틱스,semantics]]
       언어의 [[의미,meaning]]는 [[semantics]]에 의해 주어짐.
• 의미,meaning . . . . 4 matches
       [[의미,semantics]]? rel. [[의미론,semantics]] WtEn:semantics
       [[시맨틱스,semantics]]
• 단어,word . . . . 3 matches
       semantics
        [[시맨틱스,semantics]] [[의미론,semantics]]
• 공간,space . . . . 2 matches
       [[semantic_space]]
       Srch:semantic_space
• 노름,norm . . . . 2 matches
        whose semantics^^([[시맨틱스,semantics]])^^
• 문법,grammar . . . . 2 matches
       [[semantics]] { [[뜻,meaning]] [[의미,meaning]] 관련임... https://foldoc.org/semantics }
• 사전,dictionary . . . . 2 matches
       [[뜻,meaning]] [[의미,meaning]] / [[시맨틱스,semantics]] [[의미론,semantics]]
• 심벌,symbol . . . . 2 matches
       [[시맨틱스,semantics]] [[의미론,semantics]]
• 에러,error . . . . 2 matches
       [[semantic_error]]
        semantic error - rel. [[버그,bug]]
• 타입이론,type_theory . . . . 2 matches
       categorical semantics of dependent type theory
       https://ncatlab.org/nlab/show/categorical+semantics+of+dependent+type+theory
• 프래그매틱스,pragmatics . . . . 2 matches
       semantics - 단어 표현 ...들의 [[의미,meaning]]에 주목
       [[의미론,semantics]] (=어의론)
• 해상도,resolution . . . . 2 matches
       [[semantic_resolution_tree]] - curr at [[트리,tree]] see [[트리%2Ctree?action=highlight&value=semantic_resolution_tree]]
• 형식문법,formal_grammar . . . . 2 matches
       [[formal_semantics]] - isa [[시맨틱스,semantics]]
• 값,value . . . . 1 match
       [[의미값,semantic_value]]
• 경우,case . . . . 1 match
       case_grammar // via: (semantics 관련 보다가)
• 구조,structure . . . . 1 match
       [[structural_semantics]]
• 기억,memory . . . . 1 match
        의미 기억 semantic_memory
• 네트워크,network . . . . 1 match
       [[semantic_network]](writing)
• 논리상수,logical_constant . . . . 1 match
       [[언어,language]] $\mathcal{L}$ 의 '''논리상수'''는, 모든 [[해석,interpretation]]에서 같은 [[의미값,semantic_value]]을 갖는 [[기호,symbol]].''(or [[심벌,symbol]])''
• 로직,logic . . . . 1 match
       "'''CTL*''' is a [[superset]] of computational tree logic''([[computation_tree_logic]]?)'' (CTL) and [[linear_temporal_logic]] (LTL). It freely combines [[path_quantifier]]s and [[temporal_operator]]s. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given [[Kripke_structure]]." (we)
• 모형,model . . . . 1 match
       [[Kripke_semantics]]
• 변수,variable . . . . 1 match
        * 자유변수 free variable : 상수로 치환 가능''(? [[상수,constant]]로 [[치환,substitution]]해도 식의 의미,,[[semantics]]?,,가 변하지 않는다고 해야 명확하지 않나??)''
• 의미값,semantic_value . . . . 1 match
       [[의미론,semantics]]
• 이름,name . . . . 1 match
       혹시나해서 WpEn:Name_resolution 를 보니 세가지 뜻에 대한 disambiguation: 1. computer system 특히 network에서 그 쉬운 뜻(hostname domain_name 이런거) 2. PL에서의 뜻 (위에 링크) 3. [[시맨틱스,semantics]] and text_extraction 에서.
• 이해,understanding . . . . 1 match
       semantics
• 인덱스,index . . . . 1 match
       [[latent_semantic_analysis]]에서 쓰는 [[document-term_matrix]] { 문서-어휘 행렬 ?? [[문서,document]] [[텀,term]] [[행렬,matrix]] ... WpEn:Document-term_matrix = https://en.wikipedia.org/wiki/Document-term_matrix ... Ndict:term+document+matrix Google:term+document+matrix }
• 전략,strategy . . . . 1 match
       [[reduction_semantics]]
• 정리,theorem . . . . 1 match
       wff의 의미(meaning / 뜻 / semantics / ...?)의 [[유일성,uniqueness]]에 대한 [[정리,theorem]]?
• 정의역,domain . . . . 1 match
       mentioned on: [[denotational_semantics]]
• 지식,knowledge . . . . 1 match
        * [[의미,meaning]]에 대한 모든 ... ([[시맨틱스,semantics]], ...)
• 진리나무,truth_tree . . . . 1 match
        syn. WtEn:semantic_tableau
• 철학,philosophy . . . . 1 match
       [[semantic_web]]
• 펑션,function . . . . 1 match
       2. 이 과정의 [[출력,output]]. - captured by the notion of models([[시맨틱스,semantics]]).
• 프로토콜,protocol . . . . 1 match
        * semantics : 각 비트 섹션의 의미(meaning). 특정한 패턴이 어떻게 해석(interpret)되어야 하는지 및 그 해석에 따라 어떤 행동(action)이 취해질 것인지 등.
• 함의,implication . . . . 1 match
        [[https://ncatlab.org/nlab/show/extension+(semantics)]]
• 확률변수,random_variable . . . . 1 match
        여기에 semantically correct(?)하게 나와있다.

You can also click here to search title.