비교: 반대 개념:
// from nLab
논리학(
논리,logic)에서
변수란, (an arbitrary instantiation of some given type ... 대충, 어떤 주어진
타입,type의
인스턴스화,instantiation{ AKA
인스턴스 생성?
인스턴스,instance 생성.
클래스,classs나
타입,type에서?? } )을 뜻하는
기호,symbol이다.
그래서 type
의 모든
변수는 type
의
항,term이다.
비슷? 관계는? :
변인(variable) - 매우 비슷. 영단어 일치. See
변인 ... //
변인,variable
변량,variate
미지수(unknown number/quantity)
매개변수,parameter, 파라미터(parameter), -
모수,parameter도 같은 단어를? 이유는?
인수,argument
index ... //
인덱스,index
미지수, 변수, 부정원은 서로 다른 개념이나 혼용하는 경우도 흔하다. from
수학백과: 부정원(https://terms.naver.com/entry.naver?docId=3405116&cid=47324&categoryId=47324)
관계는?
1. 독립변수 vs 종속변수 independent vs dependent ¶
2. 자유변수 vs 종속변수 free vs bound ¶
번역이 보통
free variable은 자유변수로 일정한데
bound variable은 종속변수, 제한변수, 묶인변수로 나뉜다. 묶인변수가 가장 낫지 않을까? 일본어로는 '속박변수'
(논리학과 CS에서)
수식에서
자유변수(free variable): 상수로 치환할 수 있는 변수 - 상수로 치환해도 ok라는 뜻?
종속변수(bound variable): 상수 값으로 치환 시 수식이 본래의 의미를 잃게 되는 변수
free_vs_bound variable
// tmp from
Namu: 술어 논리(https://namu.wiki/w/%EC%88%A0%EC%96%B4%20%EB%85%BC%EB%A6%AC)
"열린 문장이 의미를 지닐 수 있게 하기 위해서는 변항이 양화사(quantifier)를 통해 속박(bound)되어야 한다. 이때 양화사에 의해 속박되지 않은 변항을 자유 변항(free variable)이라고 한다. 자유 변항만으로 이루어진 표현을 식(formula)이라고 한다. 어떠한 변항도 자유롭게 나타나지 않는 식이 문장(sentence)이다."
bound_variable 은 dummy_variable 이라고도 함, 다만 dummy_variable 은 통계 쪽에서는 다른 의미도 있으므로 주의 (아래쪽 참조)
3. across variable vs through variable ¶
4. 통계학에서의 변수 ¶
통계,statistics의 변수 서술, 이하 from
http://www.kocw.net/home/search/kemView.do?kemId=1162312 2장
양적변수 quantative variable
질적변수(qualitative v.) or 범주형변수(categorical v.)
ex. 주민번호, 우편번호, 성별, 피부색, 인종, 학점
산술 연산 무의미, 측정 단위 없음
- 순위형 변수 ordinal v. - 순위 또는 선호도 있음, ex. 학점
- 명목형 변수 nominal v. - 순서가 무의미, ex. 혈액형
i.e.
양적변수 = 수치형변수
이산형변수
연속형변수
질적변수 = 범주형변수
}
5. CS/PL에서의 변수 ¶
curr see
자료,data. data 저장을 위한 컴퓨터
메모리,memory 상의 공간 중에서 variable한 것이 변수?
주소,address(위치,offset),
타입,type - 자료형,data_type 이 있음.
topics:
변수
선언,declaration
변수
정의,definition (이 둘은 다르다, 차이점 tbw)
초기화,initialization >
변수초기화,variable_initialization ... bss global_variable 이런경우는 뭐 뻔하고 .... auto_variable 의 경우 맨 처음의
대입,assignment 과 정확히?
rel. stack_frame (OO에서) constructor = ctor initializer instantiation code_optimization (eg 필요없는 초기화를 제거) uninitialized_XXX { uninitialized_variable uninitialized_memory } ... etc.
MKLINK
인스턴스화,instantiation { instantization 이 아님. }
http://foldoc.org/initialise
대입,assignment?
포인터,pointer -
변수의
주소,address type?
식별자,identifier
이름공간,namespace
naming_convention - 이 둘은 사실
펑션,function등 모든 identifier의 주제
scope
전역/지역 global/local - scope? Yes, rel. lexical_scope
자동변수 automatic_variable
블록이나 함수에 들어가고 나갈 때 자동으로 기억장소가 할당되고 해제되는 변수. (Loudon 번역서)
//wpko 자동_변수 :
지역변수,local_variable라는 말은 일반적으로
자동변수,automatic_variable와 동의어이지만, 지역 변수가 더 일반적이고(src ?) C에서는 정적지역변수 (static_automatic_variable ?) 도 존재.
자동_변수
// C
정적변수 static
외부변수 extern
레지스터변수 register -
레지스터,register
// Java
클래스변수 (static 붙임) -
클래스,class // class_variable
인스턴스변수 (static 안 붙임) -
인스턴스,instance // instance_variable
...
// language-specific하게 쓰기보단 이것들 모든 PL에 해당하는 형식으로 정리TBW
type변환 type_conversion
자동타입변환
강제타입변환
타입변수? type_variable - 작성중
저 위의 자유변수 vs 종속변수 섹션도 관련. 참조.
6. 논리학/theoretical CS에서의 변수 ¶
이게 모여 명제식 propositional_formula ?
}
7. 두 개 이상의 변수 ¶
복수의 변수 사이에서 관계를 찾는 것과 관련된 것은
9. 변수의 수 number of variables ¶
10. (trivial) 가능한 값에 따라 ¶
가능한
값,value의 범위에 따라
혹은 변수가 가질 수 있는(취할 수 있는) ...
binary variable / Boolean variable
rel.
불_식,Boolean_expression 불_함수,Boolean_function 불_대수,Boolean_algebra 불_논리,Boolean_logic
비트,bit 영,zero 하나,one 혹은
참,true 거짓,false 진리값,truth_value
real variable
complex variable
etc.