Difference between r1.24 and the current
@@ -1,6 +1,11 @@
[[환원,reduction]] (화학에선 이거, [[산화,oxidation]]와 대비되는)
[[약분,reduction]] ([[분수,fraction]]에선 이거)
[[축소,reduction]] (? via KmsE:reduction )
[[문제,problem]]의 그것은 환산으로 할까? via wk [[WpKo:환산_(복잡도)]]
[[약분,reduction]] ([[분수,fraction]]에선 이거)
[[축소,reduction]] (? via KmsE:reduction )
[[상태축소,state_reduction]]
[[감소,reduction]] ?
소거
via "추상 소거 시스템(abstract reduction system, ARS)"[* https://ko.wikipedia.org/wiki/%EC%9E%AC%EC%9E%91%EC%84%B1#:~:text=%EC%B6%94%EC%83%81%20%EC%86%8C%EA%B1%B0%20%EC%8B%9C%EC%8A%A4%ED%85%9C(abstract%20reduction%20system%2C%20ARS)]
rel [[rewriting]] - [[다시쓰기,rewriting]] or [[재작성,rewriting]]
....[[문제,problem]]의 그것은 환산으로 할까? via wk [[WpKo:환산_(복잡도)]]
@@ -284,3 +289,5 @@
MKL
[[dimensionality_reduction]]
... NN:reduction
환원,reduction (화학에선 이거, 산화,oxidation와 대비되는)
약분,reduction (분수,fraction에선 이거)
축소,reduction (? via reduction )
감소,reduction ?
소거
....
약분,reduction (분수,fraction에선 이거)
축소,reduction (? via reduction )
감소,reduction ?
소거
....
Sub:
reduction_machine =,reduction_machine =,reduction_machine . reduction_machine
reduction_machine =,reduction_machine =,reduction_machine . reduction_machine
{
reduction machine
Sub?
graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
} // reduction machine reduction machine reduction machine
partial_order_reduction =,partial_order_reduction . partial_order_reduction (w)reduction machine
Sub?
graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
{
graph reduction machine
Up: graph_reduction reduction_machine
Reduction machines are specifically designed for the execution of these functional_languages. (Barendregt 2000) (저기서 말한 것은 Miranda, ML, Lisp 등 functional prgramming languages)
https://www.oxfordreference.com/display/10.1093/oi/authority.20110810105719113
https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/reduction-machine
https://en.wikipedia.org/wiki/Graph_reduction_machine
Up: reduction 기계,machine=컴퓨터,computergraph reduction machine
Up: graph_reduction reduction_machine
Reduction machines are specifically designed for the execution of these functional_languages. (Barendregt 2000) (저기서 말한 것은 Miranda, ML, Lisp 등 functional prgramming languages)
https://www.oxfordreference.com/display/10.1093/oi/authority.20110810105719113
https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/reduction-machine
https://en.wikipedia.org/wiki/Graph_reduction_machine
"A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction. ...."
} // graph reduction machine graph reduction machine graph reduction machine} // reduction machine reduction machine reduction machine
{
partial order reduction
https://en.wikipedia.org/wiki/Partial_order_reduction
wt x
Up: 부분순서,partial_order 리덕션,reduction(중에?)
} // partial order reduction partial order reduction
partial order reduction
https://en.wikipedia.org/wiki/Partial_order_reduction
wt x
Up: 부분순서,partial_order 리덕션,reduction(중에?)
} // partial order reduction partial order reduction
reduction
reduction
2023-08-12
3. (화학) 전자,electron수 증가(전자를 얻음), 원자가,valence { valence : 원자가 } 가 감소; often by 산소,oxygen 제거 또는 수소,hydrogen 랑 더하기.
5. (수학) 식,expression을 rewriting =,rewriting . { 리라이팅,rewriting만들까?
rewriting
rewriting
다시쓰기 재작성 ...
string_rewriting
query_rewriting
reduction
2023-08-12
3. (화학) 전자,electron수 증가(전자를 얻음), 원자가,valence { valence : 원자가 } 가 감소; often by 산소,oxygen 제거 또는 수소,hydrogen 랑 더하기.
5. (수학) 식,expression을 rewriting =,rewriting . { 리라이팅,rewriting만들까?
rewriting
rewriting
다시쓰기 재작성 ...
n rewriting 보니 '재기록'..
Sub:string_rewriting
query_rewriting
Topics:
리덕션,reduction (similar)
소거,elimination
confluence =,confluence . { https://mathworld.wolfram.com/Confluent.html
Confluence_(abstract_rewriting) = https://en.wikipedia.org/wiki/Confluence_(abstract_rewriting) }
substitution =치환,substitution =,substitution . substitution {
리덕션,reduction (similar)
소거,elimination
confluence =,confluence . { https://mathworld.wolfram.com/Confluent.html
Confluence_(abstract_rewriting) = https://en.wikipedia.org/wiki/Confluence_(abstract_rewriting) }
substitution =치환,substitution =,substitution . substitution {
Substitution_(logic)
= https://en.wikipedia.org/wiki/Substitution_(logic)
= https://en.wikipedia.org/wiki/Substitution_(logic)#Algebra
}
= https://en.wikipedia.org/wiki/Substitution_(logic)
= https://en.wikipedia.org/wiki/Substitution_(logic)#Algebra
}
Sub:
term_rewriting =,term_rewriting =,term_rewriting . term_rewriting
term_rewriting_system TRS =,TRS . { https://mathworld.wolfram.com/TermRewritingSystem.html https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems }
string_rewriting =,string_rewriting =,string_rewriting . string_rewriting
string_rewriting_system SRS =,SRS . { https://mathworld.wolfram.com/StringRewritingSystem.html }
https://en.wikipedia.org/wiki/Rewriting#Abstract_rewriting_systems https://en.wikipedia.org/wiki/Abstract_rewriting_system "abstract rewriting system"}
term_rewriting =,term_rewriting =,term_rewriting . term_rewriting
term_rewriting_system TRS =,TRS . { https://mathworld.wolfram.com/TermRewritingSystem.html https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems }
string_rewriting =,string_rewriting =,string_rewriting . string_rewriting
string_rewriting_system SRS =,SRS . { https://mathworld.wolfram.com/StringRewritingSystem.html }
fractal 관련
reduction_system =,reduction_system =,reduction_system . reduction_system {reduction_system reduction_system
https://mathworld.wolfram.com/ReductionSystem.html
Up: 리덕션,reduction 시스템,system
}
abstract_rewriting_systems =,abstract_rewriting_systems =,abstract_rewriting_systems . abstract_rewriting_systems ARS =,ARS . { abstract rewriting system abstract_rewriting_systemshttps://mathworld.wolfram.com/ReductionSystem.html
Up: 리덕션,reduction 시스템,system
}
https://en.wikipedia.org/wiki/Rewriting#Abstract_rewriting_systems https://en.wikipedia.org/wiki/Abstract_rewriting_system "abstract rewriting system"}
rel?
https://mathworld.wolfram.com/SubstitutionSystem.html
https://mathworld.wolfram.com/SequentialSubstitutionSystem.html
https://mathworld.wolfram.com/TagSystem.html
https://mathworld.wolfram.com/LagSystem.html
https://mathworld.wolfram.com/FinitelyTerminating.html
https://mathworld.wolfram.com/SubstitutionSystem.html
https://mathworld.wolfram.com/SequentialSubstitutionSystem.html
https://mathworld.wolfram.com/TagSystem.html
https://mathworld.wolfram.com/LagSystem.html
https://mathworld.wolfram.com/FinitelyTerminating.html
https://en.wikipedia.org/wiki/Rewriting
rewriting rewriting } 해서 더 간단한 형식,form으로 만들기.
6. (계산가능성이론) 한 문제,problem를 다른 문제로 변환,transformation하는 것 - such as
v. reduce
adj. reductive ? reductive
adj. reducting - 적어도 뭔가 결합해 명사구를 이룰 때 이게 훨씬 많이 보인다. reducing
rewriting rewriting } 해서 더 간단한 형식,form으로 만들기.
6. (계산가능성이론) 한 문제,problem를 다른 문제로 변환,transformation하는 것 - such as
mapping_reduction { Mapping_reduction redir to https://en.wikipedia.org/wiki/Many-one_reduction } or
polynomial_reduction { Polynomial_reduction redir to https://en.wikipedia.org/wiki/Polynomial-time_reduction }
n. reductionpolynomial_reduction { Polynomial_reduction redir to https://en.wikipedia.org/wiki/Polynomial-time_reduction }
v. reduce
adj. reductive ? reductive
adj. reducting - 적어도 뭔가 결합해 명사구를 이룰 때 이게 훨씬 많이 보인다. reducing
번역어 후보
축소 - shrink와 겹친다 (opp. enlargement)
감소 삭감 .. - diminishing, decreasing, 쪽과 겹치는
줄이기
환산 - (wk CS문서) 환산_(복잡도)
축소 - shrink와 겹친다 (opp. enlargement)
감소 삭감 .. - diminishing, decreasing, 쪽과 겹치는
줄이기
환산 - (wk CS문서) 환산_(복잡도)
비슷한 뜻의 단어들
decrease
decrease
화학에서는 환원,reduction. (opp. 산화,oxidation) reduction reducing
ML에서는 dimensionality_reduction dimensionality_reduction (x 2023-08-12) dimensionality dimensionality저건 특이하게 dimension 이라고는 잘 안하는듯. 뜻이 큰 차이는 없어보이는데 ... dimension dimensionality 차이 dimension dimensionality 차이 dimension dimensionality difference
ML에서는 dimensionality_reduction dimensionality_reduction (x 2023-08-12) dimensionality dimensionality저건 특이하게 dimension 이라고는 잘 안하는듯. 뜻이 큰 차이는 없어보이는데 ... dimension dimensionality 차이 dimension dimensionality 차이 dimension dimensionality difference
수학 관련표현. reduc하면
reducible
irreducible
irreducibility
reducibility
reducible
irreducible
irreducible { polynomial, franction, integer, (algebra) 환,ring의 원소,element , (위상) 다양체,manifold / (군론) 표현,representation }
irrep irrep - "irreducible representation"irreducibility
reducibility
CS 관련표현
Cook_reduction =,Cook_reduction =,Cook_reduction . Cook_reduction
logspace reduction
polynomial-time_reduction
polynomial_reduction
polynomial-time_reduction =,polynomial-time_reduction . polynomial-time_reduction
{
polynomial-time reduction
{
Cook reduction
Cook_reduction
Turing_reduction =,Turing_reduction =,Turing_reduction . Turing_reductionCook reduction
Cook_reduction
"A Turing_reduction that runs in polynomial_time."
} // Cook reduction Cook reduction{
Turing reduction
Turing_reduction
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Turing_reductions
https://en.wikipedia.org/wiki/Turing_reduction
} // Turing reduction Turing reduction Turing reduction
Karp_reductionTuring reduction
Turing_reduction
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Turing_reductions
https://en.wikipedia.org/wiki/Turing_reduction
} // Turing reduction Turing reduction Turing reduction
polynomial-time many-one reduction - see https://en.wikipedia.org/wiki/Polynomial-time_reduction#Many-one_reductions
https://en.wikipedia.org/wiki/Karp_reduction (redir)
truth-table reductionhttps://en.wikipedia.org/wiki/Karp_reduction (redir)
진리표,truth_table
https://en.wikipedia.org/wiki/Polynomial-time_reduction#Truth-table_reductions
https://en.wikipedia.org/wiki/Truth-table_reduction
log-space reductionhttps://en.wikipedia.org/wiki/Polynomial-time_reduction#Truth-table_reductions
https://en.wikipedia.org/wiki/Truth-table_reduction
logspace reduction
polynomial-time_reduction
polynomial_reduction
polynomial-time_reduction =,polynomial-time_reduction . polynomial-time_reduction
{
polynomial-time reduction
} // polynomial-time reduction polynomial-time reduction polynomial-time reduction
many-one_reduction
mapping_reduction
// lambda_calculus lambda_calculus Lambda_calculus
beta_reduction
eta_reduction
참고로 reduction 아닌것들까지:
alpha_conversion
beta_reduction
eta_conversion
...
https://en.wikipedia.org/wiki/Lambda_calculus#Reduction
many-one_reduction
mapping_reduction
// lambda_calculus lambda_calculus Lambda_calculus
beta_reduction
eta_reduction
참고로 reduction 아닌것들까지:
alpha_conversion
beta_reduction
eta_conversion
...
https://en.wikipedia.org/wiki/Lambda_calculus#Reduction
reduction_order
Reduction_order (none, 2023-08-13)
https://mathworld.wolfram.com/ReductionOrder.html
Reduction_order (none, 2023-08-13)
https://mathworld.wolfram.com/ReductionOrder.html
reduction machine
graph_reduction_machine =,graph_reduction_machine =,graph_reduction_machine . graph_reduction_machine
{
graph reduction machine
{
graph reduction machine
Graph_reduction = https://en.wikipedia.org/wiki/Graph_reduction
평가전략,evaluation_strategy중 하나인 non-strict_evaluation =,non-strict_evaluation . non-strict_evaluation { opp. strict_evaluation? = lazy_evaluation? aka eager_evaluation? chk. non-strict evaluation non-strict evaluation "non-strict evaluation" }
의 효과적인 버전을 구현한다. 1971년 개발됨.
}의 효과적인 버전을 구현한다. 1971년 개발됨.
reduction의 '가능 여부'에 대한 표현들 여기로 모을 것. TODO
reducibility =,reducibility . (CS)
{
see:
https://en.wikipedia.org/wiki/Reduction_(computability_theory)
{
see:
https://en.wikipedia.org/wiki/Reduction_(computability_theory)
MKL enumerability ... enumerability redir to https://en.wikipedia.org/wiki/Computably_enumerable_set
https://en.wikipedia.org/wiki/Enumeration_reducibility
https://en.wikipedia.org/wiki/Enumeration_reducibility
Twins:
Reduction_(complexity)
= https://en.wikipedia.org/wiki/Reduction_(complexity)
= https://en.wikipedia.org/wiki/Reduction_(complexity)
= https://en.wikipedia.org/wiki/Reduction_(complexity)
= https://en.wikipedia.org/wiki/Reduction_(complexity)
환산_(복잡도)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
= https://ko.wikipedia.org/wiki/환산_(복잡도)
{
"transformation 트랜스포메이션 이라고도 한다"
https://en.wikipedia.org/wiki/Category:Reduction_(complexity)"transformation 트랜스포메이션 이라고도 한다"
다만 (reduction의 뜻을 생각하면) 더 간단하게 or 동등하게 하는? 더 복잡하게 transformation하는 건 reduction엔 안 들어가나?
}(wikiadmin)
....
http://www.aistudy.com/physics/reduction.htm
환원,reduction
환원주의,reductionism =환원주의, =,reductionism . reductionism { aka 환원론 .... ... reductionism reductionism 환원주의 환원주의 reductionism } 언급.
환원,reduction
환원주의,reductionism =환원주의, =,reductionism . reductionism { aka 환원론 .... ... reductionism reductionism 환원주의 환원주의 reductionism } 언급.