변수,variable

Sub:
어원: 라틴어, 다양한 + 가능한 -> 여러 값,value을 가질 수 있는
QQQ 이건 '변할 수 있는'이라는 형용사가 명사화된것인가?
초등 수학에서는 값,value이 변할 수 있는 변수, 고정되어 있는 상수,constant로 설명 (즉 '값'이나 '수'를 variability or mutability 만족 여부로 양분 or 이분,bipartition?) ... 이 레벨에서는, 방정식,equation에서 변수는 '미지수'와 동의어? chk

비교: 반대 개념:
// from nLab
논리학(논리,logic)에서 변수란, (an arbitrary instantiation of some given type ... 대충, 어떤 주어진 타입,type인스턴스화,instantiation{ AKA 인스턴스 생성? 인스턴스,instance 생성. 클래스,classs타입,type에서?? } )을 뜻하는 기호,symbol이다.
그래서 type $T$ 의 모든 변수는 type $T$항,term이다.

비슷? 관계는? :
변인(variable) - 매우 비슷. 영단어 일치. See WpKo:변인 ... // 변인,variable
변량,variate
미지수(unknown number/quantity)
매개변수,parameter, 파라미터(parameter), - 모수,parameter도 같은 단어를? 이유는?
인수,argument
index ... // 인덱스,index
미지수, 변수, 부정원은 서로 다른 개념이나 혼용하는 경우도 흔하다. from [https]수학백과: 부정원
관계는?


2. 자유변수 vs 종속변수 free vs bound

번역이 보통
free variable은 자유변수로 일정한데
bound variable은 종속변수, 제한변수, 묶인변수로 나뉜다. 묶인변수가 가장 낫지 않을까? 일본어로는 '속박변수'

(논리학과 CS에서)
수식에서
자유변수(free variable): 상수로 치환할 수 있는 변수 - 상수로 치환해도 ok라는 뜻?
종속변수(bound variable): 상수 값으로 치환 시 수식이 본래의 의미를 잃게 되는 변수


free_vs_bound variable

// tmp from [https]Namu: 술어 논리
"열린 문장이 의미를 지닐 수 있게 하기 위해서는 변항이 양화사(quantifier)를 통해 속박(bound)되어야 한다. 이때 양화사에 의해 속박되지 않은 변항을 자유 변항(free variable)이라고 한다. 자유 변항만으로 이루어진 표현을 식(formula)이라고 한다. 어떠한 변항도 자유롭게 나타나지 않는 식이 문장(sentence)이다."


WpKo:람다_대수#연산에서는 '자유변수와 제한변수'로 번역함.

bound_variable 은 dummy_variable 이라고도 함, 다만 dummy_variable 은 통계 쪽에서는 다른 의미도 있으므로 주의 (아래쪽 참조)



4. 통계학에서의 변수


통계,statistics의 변수 서술, 이하 from http://www.kocw.net/home/search/kemView.do?kemId=1162312 2장
양적변수 quantative variable
: 크기가 의미 있는 수치(값), 수치형 변수(numerical variable), 수치적 자료(numerical data). 산술연산,arithmetic_operation(curr. see 연산,operation) 가능. 측정,measurement 단위,unit가 있음.
수치형 변수의 분류:
  • 이산형 변수 discrete v.
    ex. 가족 인원수, (정수 표현된) 나이, 주식 가격
  • 연속형 변수 continuous v.
    • 비율척도형 변수 ratio scale v.
      ex. 키, 몸무게 - 비율개념 있음, 0에서는 속성이 없음
    • 구간척도형 변수 interval scale v.
      ex. 온도 - 원점이 없음 (??)
질적변수(qualitative v.) or 범주형변수(categorical v.)
ex. 주민번호, 우편번호, 성별, 피부색, 인종, 학점
산술 연산 무의미, 측정 단위 없음
  • 순위형 변수 ordinal v. - 순위 또는 선호도 있음, ex. 학점
  • 명목형 변수 nominal v. - 순서가 무의미, ex. 혈액형

i.e.[1]
양적변수 = 수치형변수
이산형변수
연속형변수
질적변수 = 범주형변수



}

latent_variable - 작성중, 일단은 Google:latent.variable


혹시 통계 분야에선 '변인'과 동의어인지? chk. Google:변수 변인 Naver:변수 변인

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
전역변수? global_variable - WpKo:전역_변수 WpEn:Global_variable
지역변수 local_variable - http://foldoc.org/local variable WpKo:지역_변수 WpEn:Local_variable
자동변수 automatic_variable
블록이나 함수에 들어가고 나갈 때 자동으로 기억장소가 할당되고 해제되는 변수. (Loudon 번역서)
//wpko 자동_변수 : 지역변수,local_variable라는 말은 일반적으로 자동변수,automatic_variable와 동의어이지만, 지역 변수가 더 일반적이고(src ?) C에서는 정적지역변수 (static_automatic_variable ?) 도 존재.
WpKo:자동_변수

// C
정적변수 static
외부변수 extern
레지스터변수 register - 레지스터,register
// Java
클래스변수 (static 붙임) - 클래스,class // class_variable
인스턴스변수 (static 안 붙임) - 인스턴스,instance // instance_variable
...
// language-specific하게 쓰기보단 이것들 모든 PL에 해당하는 형식으로 정리TBW

type변환 type_conversion
자동타입변환
강제타입변환

타입변수? type_variable - 작성중


저 위의 자유변수 vs 종속변수 섹션도 관련. 참조.

OS/shell에서는
환경변수,environment_variable - comp.txt에 writing

Twins:
WpKo:변수_(컴퓨터_과학)
WpEn:Variable_(computer_science)
http://foldoc.org/variable
http://rosettacode.org/wiki/Variables - 여러 PL의 primitive_type 을 어떻게 이름지었는지 쭉 보기 편함

6. 논리학/theoretical CS에서의 변수


free_variable and bound_variable 은 저 위의 section 2 참조.



명제변수,propositional_variable - Srch:propositional_variable
{
propositional variable, sentential variable, sentential letter
sentential_variable, sentential_letter

이게 모여 명제식 propositional_formula ?

}

7. 두 개 이상의 변수

복수의 변수 사이에서 관계를 찾는 것과 관련된 것은

8. dummy variable

두 뜻이 있으므로 주의.
WpEn:Dummy_variable

9. 변수의 수 number of variables

변수,variable의 개수,number는 다음과 비슷하거나 관련있음:
자유도,degree_of_freedom
차원,dimension

10. (trivial) 가능한 값에 따라

11. Etc, 단어 variable