TODO CS의 tuple과 math의 tuple 분리하는 게 좋을 듯. 근데 기준이 명확치 않고 pagename이 마땅치 않음
벡터,vector와의 차이는?
행렬과 벡터는 type이 대개 다 일정한 것 같음 (보통 실수?). 튜플은 전혀 그렇지 않음. (확실)
벡터공간,vector_space과의 관계는?
배열,array과의 차이는?
tuple은 type이 달라도 상관없고 array는 다 같은 것 같은데..
리스트,list와의 차이는 대충 알겠는데.. (list는 size/length가 variable + append/insert/remove/..가 자유로운, .... tuple은 (대체로) 그 반대, ...) (여기까지 PL type얘기임)
수열,sequence과?
REL.
pair =,pair .
{
페어
쌍
짝
ex.
그래프,graph는 G = (V, E)? 각각 vertex의 집합과 edge의 집합. - chk
문맥자유문법,context-free_grammar,CFG은 (V, T, S, P)로 정의
튜링_기계,Turing_machine는 quadruple T = (Q, Σ, s, δ)로 정의.
DFA(deterministic_finite_automaton)는 (Q, Σ, δ, q
0, F)로 정의.
확률공간,probability_space은 triple (표본공간, 표본공간의 사건들의 집합, 확률함수)로 정의.
Peano_system은 (ℕ, 0, S) (각각
자연수,natural_number 집합, 최소원소least_element, successor_function)과 다섯 가지 성질로 정의.
(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
이상 n과 (n-tuple의 별칭)임. 예를 들어 n=4일 때 4-tuple = quadruple.
위의 예 (n차원의 좌표 같이 명백한 건 제외하고)
이상 수학의 tuple이고, 이하 PL의 tuple ¶
Rust의 tuple
Rust has tuples, which you can think of as "fixed-length collections of values of different types". (
src(https://fasterthanli.me/articles/a-half-hour-to-learn-rust))
즉 길이는 fixed, type은 달라도 무방.
Erlang에선 중괄호를 쓴다