Difference between r1.61 and the current
@@ -1,4 +1,5 @@
#noindex''TODO CS의 tuple과 math의 tuple 분리하는 게 좋을 듯. 근데 기준이 명확치 않고 pagename이 마땅치 않음''
[[벡터,vector]]와의 차이는?행렬과 벡터는 type이 대개 다 일정한 것 같음 (보통 실수?). 튜플은 전혀 그렇지 않음. (확실)
[[벡터공간,vector_space]]과의 관계는?
@@ -171,5 +172,4 @@
https://foldoc.org/tuplefunctional_language functional_programming 얘기
[[하스켈,Haskell]] 미란다 미랜더 [[Miranda]]등 언급
TODO CS의 tuple과 math의 tuple 분리하는 게 좋을 듯. 근데 기준이 명확치 않고 pagename이 마땅치 않음
벡터,vector와의 차이는?
배열,array과의 차이는?
수열,sequence과?
벡터,vector와의 차이는?
행렬과 벡터는 type이 대개 다 일정한 것 같음 (보통 실수?). 튜플은 전혀 그렇지 않음. (확실)
벡터공간,vector_space과의 관계는?배열,array과의 차이는?
tuple은 type이 달라도 상관없고 array는 다 같은 것 같은데..
리스트,list와의 차이는 대충 알겠는데.. (list는 size/length가 variable + append/insert/remove/..가 자유로운, .... tuple은 (대체로) 그 반대, ...) (여기까지 PL type얘기임)수열,sequence과?
집합,set과의 차이는 명확 - 튜플은 순서,order가 중요. 집합은 elements/members의 순서 does not matter.
wpen 정의에 따르면 "finite ordered list(sequence) of elements". 즉 순서,order 있는 유한한(유한성,finiteness) 원소,elements들의 리스트/열.
wpen 정의에 따르면 "finite ordered list(sequence) of elements". 즉 순서,order 있는 유한한(유한성,finiteness) 원소,elements들의 리스트/열.
보통
ordered_tuple이지만 { Compare: ordered_set https://proofwiki.org/wiki/Definition:Ordered_Tuple ... ordered.tuple }
unordered_tuple도 있는데 어쩐담? ... 순서,order
ordered_tuple이지만 { Compare: ordered_set https://proofwiki.org/wiki/Definition:Ordered_Tuple ... ordered.tuple }
unordered_tuple도 있는데 어쩐담? ... 순서,order
Sub:
ordered_pair
axiom of pairing
via "In axiomatic_set_theory, the existence of unordered_pair s is required by an axiom, the axiom of pairing."[1]
https://en.wikipedia.org/wiki/Axiom_of_pairing
}
ordered_pair
(2-tuple)
수학백과: 순서쌍
https://simple.wikipedia.org/wiki/Ordered_pair
https://en.wikipedia.org/wiki/Ordered_pair
순서쌍
unordered_pair수학백과: 순서쌍
두 집합에서 원소를 하나씩 뽑아 얻은 순서쌍들 모두로 이루어진 집합을 곱집합,product_set이라고 한다.
https://ko.wikipedia.org/wiki/순서쌍https://simple.wikipedia.org/wiki/Ordered_pair
https://en.wikipedia.org/wiki/Ordered_pair
순서쌍
axiom of pairing
via "In axiomatic_set_theory, the existence of unordered_pair s is required by an axiom, the axiom of pairing."[1]
https://en.wikipedia.org/wiki/Axiom_of_pairing
}
(밑에 언급된 차원 관련 - 좌표, 위치 이런거 정의 말고 수학적인 대상,object? 구조,structure? concept? 정확히 뭐? - 아무튼 이런 것을)
형식적으로 정의,definition할 때(formal_definition) 뭐뭐의 tuple로 정의하는 경우가 많은데, 이에 대해 TBW.
형식적으로 정의,definition할 때(formal_definition) 뭐뭐의 tuple로 정의하는 경우가 많은데, 이에 대해 TBW.
ex.
그래프,graph는 G = (V, E)? 각각 vertex의 집합과 edge의 집합. - chk
문맥자유문법,context-free_grammar,CFG은 (V, T, S, P)로 정의
튜링_기계,Turing_machine는 quadruple T = (Q, Σ, s, δ)로 정의.[2]
DFA(deterministic_finite_automaton)는 (Q, Σ, δ, q0, F)로 정의.[3]
확률공간,probability_space은 triple (표본공간, 표본공간의 사건들의 집합, 확률함수)로 정의.
Peano_system은 (ℕ, 0, S) (각각 자연수,natural_number 집합, 최소원소least_element, successor_function)과 다섯 가지 성질로 정의.[4]
그래프,graph는 G = (V, E)? 각각 vertex의 집합과 edge의 집합. - chk
문맥자유문법,context-free_grammar,CFG은 (V, T, S, P)로 정의
튜링_기계,Turing_machine는 quadruple T = (Q, Σ, s, δ)로 정의.[2]
DFA(deterministic_finite_automaton)는 (Q, Σ, δ, q0, F)로 정의.[3]
확률공간,probability_space은 triple (표본공간, 표본공간의 사건들의 집합, 확률함수)로 정의.
Peano_system은 (ℕ, 0, S) (각각 자연수,natural_number 집합, 최소원소least_element, successor_function)과 다섯 가지 성질로 정의.[4]
(Linear Algebra, Lang)
R | real number |
R2 | ordered pair |
R3 | ordered triple |
Rn | ordered n-tuple |
(Zill 7.6 Vector Spaces)
(항,term? 원소,element? 정확히 뭐지? - wpen은 원소라 함. - "finite ordered list(sequence) of elements")의 개수에 따라,
0 null tuple or empty tuple
1 single (singleton)
2 double/couple - 이건 순서쌍,ordered_pair { writing; curr see 순서쌍 Ordered_pair }, Cartesian_product(곱집합,product_set) 와 나중에 비교하여 서술 tbw
3 triple (triplet)
4 quadruple
5 quintuple
6 sextuple
7 septuple
8 octuple ...(5부터 8까지 이 단어들로부터 tuple이라는 단어가 유래)
9 nonuple
10 decuple
0 null tuple or empty tuple
1 single (singleton)
2 double/couple - 이건 순서쌍,ordered_pair { writing; curr see 순서쌍 Ordered_pair }, Cartesian_product(곱집합,product_set) 와 나중에 비교하여 서술 tbw
3 triple (triplet)
4 quadruple
5 quintuple
6 sextuple
7 septuple
8 octuple ...(5부터 8까지 이 단어들로부터 tuple이라는 단어가 유래)
9 nonuple
10 decuple
이상 n과 (n-tuple의 별칭)임. 예를 들어 n=4일 때 4-tuple = quadruple.
위의 예 (n차원의 좌표 같이 명백한 건 제외하고)
0
이건 뭐가 있지? 궁금하네?
1
2
이건 너무 많은듯? 2는 복소수,complex_number, ...
3
Pythagorean_triple : 을 만족하는 세 양의 정수
수학백과: 피타고라스의 세 쌍
https://mathworld.wolfram.com/PythagoreanTriple.html
Pythagorean_triple
http://oeis.org/wiki/Pythagorean_triples
4
Pythagorean_quadruple - 을 만족하는 네 정수 의 tuple.
...
이건 뭐가 있지? 궁금하네?
rel. emptiness, 널,null, none, nothing ... 관계가? tbw.
tbd: 공집합,empty_set은 dedicated page가 있는데 혹시 empty_tuple도 그럴 가치가 있을지? empty.tuple null.tuple
tbd: 공집합,empty_set은 dedicated page가 있는데 혹시 empty_tuple도 그럴 가치가 있을지? empty.tuple null.tuple
1
2
이건 너무 많은듯? 2는 복소수,complex_number, ...
3
Pythagorean_triple : 을 만족하는 세 양의 정수
수학백과: 피타고라스의 세 쌍
https://mathworld.wolfram.com/PythagoreanTriple.html
Pythagorean_triple
http://oeis.org/wiki/Pythagorean_triples
4
Pythagorean_quadruple - 을 만족하는 네 정수 의 tuple.
...
이상 수학의 tuple이고, 이하 PL의 tuple ¶
자료구조,data_structure? or ADT?
아니 그보단 이상 수학의 tuple = ADT, 이하 PL의 tuple = data structure, 에 가깝지 않을지?
Compare: 리스트,list, 배열,array, and 벡터,vectorRust의 tuple
Rust has tuples, which you can think of as "fixed-length collections of values of different types". (src)
즉 길이는 fixed, type은 달라도 무방.
Rust has tuples, which you can think of as "fixed-length collections of values of different types". (src)
즉 길이는 fixed, type은 달라도 무방.
Erlang에선 중괄호를 쓴다
named_tuple
{
네임드 튜플?
Python에서
TBW
줄리아,Julia에서
https://freshrimpsushi.github.io/posts/named-tuple-in-julia/
{
네임드 튜플?
Python에서
TBW
줄리아,Julia에서
https://freshrimpsushi.github.io/posts/named-tuple-in-julia/
rel.
CAM (content-addressable_memory) { rel. Hopfield_network curr mentioned at 메모리,memory(CAM 검색) }
Linda (programming language from Yale Univ.) { LindaLanguage = http://wiki.c2.com/?LindaLanguage }
CAM (content-addressable_memory) { rel. Hopfield_network curr mentioned at 메모리,memory(CAM 검색) }
Linda (programming language from Yale Univ.) { LindaLanguage = http://wiki.c2.com/?LindaLanguage }
Twins:
https://encyclopediaofmath.org/wiki/Tuple
https://everything2.com/title/tuple
튜플
Tuple
TupleDefinition
https://encyclopediaofmath.org/wiki/Tuple
https://everything2.com/title/tuple
튜플
Tuple
TupleDefinition