열거,enumeration

Difference between r1.8 and the current

@@ -1,3 +1,4 @@
#noindex
<<tableofcontents>>
WtEn:enumeration
WtEn:enumerable
@@ -11,7 +12,56 @@
정수 integer ℤ
counting 세기/카운팅/셈/...
successor 다음수함수 ?
}
numbering ... =,numbering [[numbering]]
{
KmsE:numbering
Ndict:numbering
넘버링
번호매기기?
수할당?
수매김?
... 죄다 이상한데 translit.말고 번역은 없을지?
 
also on : [[경우의_수,number_of_cases?action=highlight&value=numbering]]
 
[[complete_numbering]] =,complete_numbering =,complete_numbering . complete_numbering
{
'''complete numbering'''
[[WpEn:Complete_numbering]] = https://en.wikipedia.org/wiki/Complete_numbering
"complete numbering"
Ggl:"complete numbering"
} // complete numbering
 
[[Goedel_numbering]] =,Goedel_numbering =,Goedel_numbering . Goedel_numbering
{
'''Gödel numbering'''
mkl [[diagonal_argument]] [[Kurt_Goedel]]
[[WpEn:Gödel_numbering]] = https://en.wikipedia.org/wiki/Gödel_numbering
"Gödel numbering"
Ggl:"Gödel numbering"
} // Gödel numbering
 
[[admissible_numbering]] =,admissible_numbering =,admissible_numbering . admissible_numbering
{
admissible numbering
WtEn:admissible_numbering ?
[[WpEn:Admissible_numbering]] = https://en.wikipedia.org/wiki/Admissible_numbering
"admissible numbering"
Ggl:"admissible numbering"
} // admissible numbering
 
[[WpEn:Numbering_(computability_theory)]] = https://en.wikipedia.org/wiki/Numbering_(computability_theory)
첫문장([[Date(2023-12-17T15:12:58)]])
"In computability theory
// [[계산가능성이론,computability_theory]]에서
a '''numbering''' is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some formal language."
// '''numbering''이란, [[자연수,natural_number]]s들을 객체/대상(objects)들의 집합에 [[할당,assignment]]하는 것.
 
[[WpJa:ナンバリング_(計算可能性理論)]] = https://ja.wikipedia.org/wiki/ナンバリング_(計算可能性理論)
여기선 translit.
 
} //numbering
} // enumeration과 밀접한것들

그래서 적용 가능한 대상은
{
@@ -24,10 +74,18 @@
[[계산가능성,computability]]
[[계산가능성이론,computability_theory]]

= enumerator =
WtEn:enumerator
Ggl:enumerator
 
mkl 바로아래 enumeration_operator 와.
= enumeration operator =
'''열거,enumeration''' operator
[[enumeration_operator]] =,enumeration_operator . enumeration_operator
enumeration operator

열거 operator ([[오퍼레이터,operator]] [[연산자,operator]] [[작용소,operator]])
'''열거,enumeration''' operator ...
열거 operator([[오퍼레이터,operator]] [[연산자,operator]] [[작용소,operator]])

----
https://encyclopediaofmath.org/wiki/Enumeration_operator
@@ -54,11 +112,20 @@
via partial recursive operator partial_recursive_operator https://encyclopediaofmath.org/wiki/Partial_recursive_operator
via partial recursive function / recursive function / computable function 셋중에하나

=
enumeration_reducibility
= enumeration reducibility =
[[enumeration_reducibility]] =,enumeration_reducibility . enumeration_reducibility
{
enumeration reducibility
https://en.wikipedia.org/wiki/Enumeration_reducibility
Ggl:"enumeration reducibility"
}

= recursively enumerable (adj.) =
= enumeration algorithm =
[[enumeration_algorithm]] - at local
[[WpEn:Enumeration_algorithm]] = https://en.wikipedia.org/wiki/Enumeration_algorithm
[[알고리듬,algorithm]]
 
= recursively enumerable (adj.) (prefix) =
적절한 명사형?

WtEn:recursively_enumerable
@@ -66,17 +133,24 @@
Ggl:"recursively enumerable"

== recursively enumerable set ==
recursively_enumerable_set
// 이건 이 파일 위로 //

== recursively enumerable ==
recursively_enumerable_
== recursively enumerable ==
recursively_enumerable_
== recursively enumerable language ==
[[recursively_enumerable_language]] =,recursively_enumerable_language . recursively_enumerable_language
재귀 열거 언어 / 재귀적 열거 가능 언어 (wk)

[[촘스키_위계,Chomsky_hierarchy]](vg)에서 type-0 [[언어,language]].
[[촘스키_위계,Chomsky_hierarchy]]에서 type-0 [[언어,language]].

https://ko.wikipedia.org/wiki/재귀_열거_언어

Ggl:"recursively enumerable language"
= PL =
이때는 보통 그 '열거형'과 관련 [[신택스,syntax]].

@@ -84,6 +158,22 @@
enumerations
enumerated|enumeration (data) type

..
 
enumeration_type
enumeration type
WtEn:enumeration_type x 2024-1
 
enumerated_type
enumerated type
WtEn:enumerated_type x 2024-1
 
Ggl:"enumeration.type enumerated.type" 중에 pagename tbd
we는 이거.
[[WpEn:Enumerated_type]] = https://en.wikipedia.org/wiki/Enumerated_type
 
 
== C# ==
enumeration_type
https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/builtin-types/enum
@@ -132,5 +222,22 @@
enumerative+geometry
}

== enumerative combinatorics ==
enumerative combinatorics
열거조합론 ?
 
[[enumerative_combinatorics]]
WtEn:enumerative_combinatorics ?
 
[[WpEn:Enumerative_combinatorics]] = https://en.wikipedia.org/wiki/Enumerative_combinatorics
 
...
"enumerative combinatorics"
Ggl:"enumerative combinatorics"
Naver:"enumerative combinatorics"
enumerative+combinatorics
 
Up: [[열거,enumeration]] [[조합론,combinatorics]]
= Interw =
https://encyclopediaofmath.org/wiki/Enumeration



WtEn:enumeration
WtEn:enumerable
개념상 당연히 다음과 매우 밀접
{
이산성 discreteness
자연수 natural_number ℕ
정수 integer ℤ
counting 세기/카운팅/셈/...
successor 다음수함수 ?
numbering ... =,numbering numbering
{
KmsE:numbering
Ndict:numbering
넘버링
번호매기기?
수할당?
수매김?
... 죄다 이상한데 translit.말고 번역은 없을지?

also on : 경우의_수,number_of_cases?action=highlight&value=numbering

complete_numbering =,complete_numbering =,complete_numbering . complete_numbering
{
complete numbering
WpEn:Complete_numbering = https://en.wikipedia.org/wiki/Complete_numbering
"complete numbering"
Ggl:complete numbering
} // complete numbering

Goedel_numbering =,Goedel_numbering =,Goedel_numbering . Goedel_numbering
{
Gödel numbering
mkl diagonal_argument Kurt_Goedel
WpEn:Gödel_numbering = https://en.wikipedia.org/wiki/Gödel_numbering
"Gödel numbering"
Ggl:Gödel numbering
} // Gödel numbering

admissible_numbering =,admissible_numbering =,admissible_numbering . admissible_numbering
{
admissible numbering
WtEn:admissible_numbering ?
WpEn:Admissible_numbering = https://en.wikipedia.org/wiki/Admissible_numbering
"admissible numbering"
Ggl:admissible numbering
} // admissible numbering

WpEn:Numbering_(computability_theory) = https://en.wikipedia.org/wiki/Numbering_(computability_theory)
첫문장(2023-12-18)
"In computability theory
// 계산가능성이론,computability_theory에서
a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some formal language."
// '''numbering''이란, 자연수,natural_numbers들을 객체/대상(objects)들의 집합에 할당,assignment하는 것.

WpJa:ナンバリング_(計算可能性理論) = https://ja.wikipedia.org/wiki/ナンバリング_(計算可能性理論)
여기선 translit.

} //numbering
} // enumeration과 밀접한것들

그래서 적용 가능한 대상은
{
ℕ ℤ 그 자체는 물론이고
integer 인덱스,index로 접근가능한 모든것들
...
}


1. enumerator


mkl 바로아래 enumeration_operator 와.

2. enumeration operator

enumeration_operator =,enumeration_operator . enumeration_operator
enumeration operator

열거,enumeration operator ...
열거 operator(오퍼레이터,operator 연산자,operator 작용소,operator)


https://encyclopediaofmath.org/wiki/Enumeration_operator
mentions
recursively-enumerable_set = recursively-enumerable set ... Ndict:recursively-enumerable set Ggl:recursively-enumerable set
보통 그냥 띄어쓰는듯
recursively_enumerable_set = recursively enumerable set ... Ggl:recursively enumerable set
아무튼
=,recursively-enumerable_set =,recursively_enumerable_set
https://mathworld.wolfram.com/RecursivelyEnumerableSet.html
https://ko.wikipedia.org/wiki/재귀_열거_집합
https://en.wikipedia.org/wiki/Computably_enumerable_set
재귀 열거가능 집합 ?
재귀 열거 집합 ? (wk)
Ndict:재귀 열거가능 집합
Ndict:재귀 열거 집합
Ggl:재귀 열거가능 집합
Ggl:재귀 열거 집합
집합,set

....
Ggl:enumeration operator

via partial recursive operator partial_recursive_operator https://encyclopediaofmath.org/wiki/Partial_recursive_operator
via partial recursive function / recursive function / computable function 셋중에하나

3. enumeration reducibility

enumeration_reducibility =,enumeration_reducibility . enumeration_reducibility
{
enumeration reducibility
https://en.wikipedia.org/wiki/Enumeration_reducibility
Ggl:enumeration reducibility
}

5. recursively enumerable (adj.) (prefix)

5.1. recursively enumerable set

recursively_enumerable_set
// 이건 이 파일 위로 //

5.2. recursively enumerable

recursively_enumerable_

5.3. recursively enumerable

recursively_enumerable_

5.4. recursively enumerable language

recursively_enumerable_language =,recursively_enumerable_language . recursively_enumerable_language

재귀 열거 언어 / 재귀적 열거 가능 언어 (wk)




6. PL

이때는 보통 그 '열거형'과 관련 신택스,syntax.

표현이 많은데 별 언급할필요는 없으나 주의점같은거 있음 write..
enumerations
enumerated|enumeration (data) type

..

enumeration_type
enumeration type
WtEn:enumeration_type x 2024-1

enumerated_type
enumerated type
WtEn:enumerated_type x 2024-1




6.2. Python


먼저
from enum import Enum
로 import한다음, 그걸 상속받는 클래스를 만든다.
class Sth(Enum):
 ...


enumerate
이건 함수임.
원소마다 순서,order 값을 부여해줌.
.. Google:python enumerate

}

8. Misc, etc

8.1. enumerative geometry

(geometry)
enumerative_geometry =,enumerative_geometry .
{
enumerative geometry
열거기하
열거기하학
(we) "enumerative geometry is the branch of algebraic_geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection_theory."
WpKo:열거_기하학 = https://ko.wikipedia.org/wiki/열거_기하학
WpEn:Enumerative_geometry
https://ncatlab.org/nlab/show/enumerative geometry
Up: algebraic_geometry
enumerative+geometry
}