Difference between r1.50 and the current
@@ -64,6 +64,7 @@
https://mathworld.wolfram.com/DummyVariable.htmlhttps://planetmath.org/FreeAndBoundVariables
https://proofwiki.org/wiki/Definition:Free_Variable
여기서 말하는 정의는 단순히 bound_variable 이 아니면 모두 free_variable ... 따라서 see below.
https://proofwiki.org/wiki/Definition:Bound_Variablehttps://encyclopediaofmath.org/wiki/Free_variable
https://encyclopediaofmath.org/wiki/Bound_variable
@@ -133,8 +134,9 @@
topics:변수 [[선언,declaration]]
변수 [[정의,definition]] (이 둘은 다르다, 차이점 tbw)
초기화 > 변수초기화,variable_initialization ... bss global_variable 이런경우는 뭐 뻔하고 .... auto_variable 의 경우 맨 처음의 [[대입,assignment]] 과 정확히?
[[초기화,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?
@@ -182,13 +184,25 @@
[[논리,logic]][[수리논리,mathematical_logic]]
free_variable and bound_variable 은 저 위의 section 2 참조.
[[free_variable]] and [[bound_variable]] 은 저 위의 section 2 참조.
[[sentential_variable]]
mklink : [[문장,sentence]] [[sentential_formula]](curr at [[공식,formula]]밑부분)
[[이차논리,second-order_logic]]의 변수 : [[WpKo:2차_논리#정의]] 참조.
[[술어변수,predicate_variable]] - Srch:predicate_variable
[[명제변수,propositional_variable]] - Srch:propositional_variable
{
'''propositional variable, sentential variable, sentential letter'''
sentential_variable, sentential_letter
이게 모여 명제식 propositional_formula ?
}
[[statement_variable]] - [[명제논리,propositional_logic]]의 variable(변수/변항/....). ''- curr at [[Self:명제논리,propositional_logic?action=highlight&value=statement_variable]]''
= 두 개 이상의 변수 =복수의 변수 사이에서 관계를 찾는 것과 관련된 것은
* [[회귀분석,regression_analysis]] - curr see [[회귀,regression]]
@@ -204,6 +218,21 @@
[[변수,variable]]의 개[[수,number]]는 다음과 비슷하거나 관련있음:[[자유도,degree_of_freedom]]
[[차원,dimension]]
= (trivial) 가능한 값에 따라 =
가능한 [[값,value]]의 범위에 따라
혹은 변수가 가질 수 있는(취할 수 있는) ...
binary variable / Boolean variable
rel. [[불_식,Boolean_expression]] [[불_함수,Boolean_function]] [[불_대수,Boolean_algebra]] [[불_논리,Boolean_logic]]
[[비트,bit]] [[영,zero]] [[하나,one]] 혹은 [[참,true]] [[거짓,false]] [[진리값,truth_value]]
real variable
rel. [[실수,real_number]] [[실함수,real_function]]?
complex variable
rel. [[복소수,complex_number]] [[복소함수,complex_function]]
etc.
rel. [[타입,type]] [[정의역,domain]]? [[치역,range]]? [[영역,domain]]?
= Etc, 단어 variable =
논리학에선 '변항'이라고도.. Google:변항+variable
@@ -220,6 +249,5 @@
https://proofwiki.org/wiki/Definition:Variable[[https://terms.naver.com/entry.naver?docId=3338345&cid=47324&categoryId=47324 수학백과: 변수]]
https://ncatlab.org/nlab/show/variable
Sub:
어원: 라틴어, 다양한 + 가능한 -> 여러 값,value을 가질 수 있는
QQQ 이건 '변할 수 있는'이라는 형용사가 명사화된것인가?
초등 수학에서는 값,value이 변할 수 있는 변수, 고정되어 있는 상수,constant로 설명 (즉 '값'이나 '수'를 variability or mutability 만족 여부로 양분 or 이분,bipartition?) ... 이 레벨에서는, 방정식,equation에서 변수는 '미지수'와 동의어? chk
어원: 라틴어, 다양한 + 가능한 -> 여러 값,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 의 모든 변수는 type 의 항,term이다.
// 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 수학백과: 부정원
관계는?변량,variate
미지수(unknown number/quantity)
매개변수,parameter, 파라미터(parameter), - 모수,parameter도 같은 단어를? 이유는?
인수,argument
index ... // 인덱스,index
미지수, 변수, 부정원은 서로 다른 개념이나 혼용하는 경우도 흔하다. from 수학백과: 부정원
2. 자유변수 vs 종속변수 free vs bound ¶
번역이 보통
free variable은 자유변수로 일정한데
bound variable은 종속변수, 제한변수, 묶인변수로 나뉜다. 묶인변수가 가장 낫지 않을까? 일본어로는 '속박변수'
free variable은 자유변수로 일정한데
bound variable은 종속변수, 제한변수, 묶인변수로 나뉜다. 묶인변수가 가장 낫지 않을까? 일본어로는 '속박변수'
(논리학과 CS에서)
수식에서
자유변수(free variable): 상수로 치환할 수 있는 변수 - 상수로 치환해도 ok라는 뜻?
종속변수(bound variable): 상수 값으로 치환 시 수식이 본래의 의미를 잃게 되는 변수
수식에서
자유변수(free variable): 상수로 치환할 수 있는 변수 - 상수로 치환해도 ok라는 뜻?
종속변수(bound variable): 상수 값으로 치환 시 수식이 본래의 의미를 잃게 되는 변수
free_vs_bound variable
// tmp from Namu: 술어 논리
"열린 문장이 의미를 지닐 수 있게 하기 위해서는 변항이 양화사(quantifier)를 통해 속박(bound)되어야 한다. 이때 양화사에 의해 속박되지 않은 변항을 자유 변항(free variable)이라고 한다. 자유 변항만으로 이루어진 표현을 식(formula)이라고 한다. 어떠한 변항도 자유롭게 나타나지 않는 식이 문장(sentence)이다."
"열린 문장이 의미를 지닐 수 있게 하기 위해서는 변항이 양화사(quantifier)를 통해 속박(bound)되어야 한다. 이때 양화사에 의해 속박되지 않은 변항을 자유 변항(free variable)이라고 한다. 자유 변항만으로 이루어진 표현을 식(formula)이라고 한다. 어떠한 변항도 자유롭게 나타나지 않는 식이 문장(sentence)이다."
FreeVariable
자유_변수와_종속_변수
Free_variables_and_bound_variables
自由変数と束縛変数 (일본어로는 '자유변수와 속박변수')
https://mathworld.wolfram.com/FreeVariable.html
https://mathworld.wolfram.com/BoundVariable.html
https://mathworld.wolfram.com/DummyVariable.html
https://planetmath.org/FreeAndBoundVariables
https://proofwiki.org/wiki/Definition:Free_Variable
https://encyclopediaofmath.org/wiki/Free_variable
https://encyclopediaofmath.org/wiki/Bound_variable
자유_변수와_종속_변수
Free_variables_and_bound_variables
自由変数と束縛変数 (일본어로는 '자유변수와 속박변수')
https://mathworld.wolfram.com/FreeVariable.html
https://mathworld.wolfram.com/BoundVariable.html
https://mathworld.wolfram.com/DummyVariable.html
https://planetmath.org/FreeAndBoundVariables
https://proofwiki.org/wiki/Definition:Free_Variable
여기서 말하는 정의는 단순히 bound_variable 이 아니면 모두 free_variable ... 따라서 see below.
https://proofwiki.org/wiki/Definition:Bound_Variablehttps://encyclopediaofmath.org/wiki/Free_variable
https://encyclopediaofmath.org/wiki/Bound_variable
bound_variable 은 dummy_variable 이라고도 함, 다만 dummy_variable 은 통계 쪽에서는 다른 의미도 있으므로 주의 (아래쪽 참조)
4. 통계학에서의 변수 ¶
통계,statistics의 변수 서술, 이하 from http://www.kocw.net/home/search/kemView.do?kemId=1162312 2장
양적변수 quantative variable
양적변수 = 수치형변수
양적변수 quantative variable
: 크기가 의미 있는 수치(값), 수치형 변수(numerical variable), 수치적 자료(numerical data). 산술연산,arithmetic_operation(curr. see 연산,operation) 가능. 측정,measurement 단위,unit가 있음.
질적변수(qualitative v.) or 범주형변수(categorical v.)수치형 변수의 분류:
- 이산형 변수 discrete v.
ex. 가족 인원수, (정수 표현된) 나이, 주식 가격
- 연속형 변수 continuous v.
- 비율척도형 변수 ratio scale v.
ex. 키, 몸무게 - 비율개념 있음, 0에서는 속성이 없음
- 구간척도형 변수 interval scale v.
ex. 온도 - 원점이 없음 (??)
- 비율척도형 변수 ratio scale v.
ex. 주민번호, 우편번호, 성별, 피부색, 인종, 학점
산술 연산 무의미, 측정 단위 없음
i.e.[1]산술 연산 무의미, 측정 단위 없음
- 순위형 변수 ordinal v. - 순위 또는 선호도 있음, ex. 학점
- 명목형 변수 nominal v. - 순서가 무의미, ex. 혈액형
양적변수 = 수치형변수
이산형변수
연속형변수
질적변수 = 범주형변수연속형변수
// from https://m.blog.naver.com/hafs_snu/220854474021
{
반응변수,response_variable
설명변수,explaining_variable
{
반응변수,response_variable
설명변수,explaining_variable
}
5. CS/PL에서의 변수 ¶
curr see 자료,data. data 저장을 위한 컴퓨터 메모리,memory 상의 공간 중에서 variable한 것이 변수?
주소,address(위치,offset), 타입,type - 자료형,data_type 이 있음.
topics:
주소,address(위치,offset), 타입,type - 자료형,data_type 이 있음.
topics:
변수 선언,declaration
변수 정의,definition (이 둘은 다르다, 차이점 tbw)
초기화,initialization > 변수초기화,variable_initialization ... bss global_variable 이런경우는 뭐 뻔하고 .... auto_variable 의 경우 맨 처음의 대입,assignment 과 정확히?
포인터,pointer - 변수의 주소,address type?
식별자,identifier
이름공간,namespace
naming_convention - 이 둘은 사실 펑션,function등 모든 identifier의 주제
scope
전역/지역 global/local - scope? Yes, rel. lexical_scope
정적변수 static
외부변수 extern
레지스터변수 register - 레지스터,register
// Java
클래스변수 (static 붙임) - 클래스,class // class_variable
인스턴스변수 (static 안 붙임) - 인스턴스,instance // instance_variable
...
// language-specific하게 쓰기보단 이것들 모든 PL에 해당하는 형식으로 정리TBW
type변환 type_conversion
저 위의 자유변수 vs 종속변수 섹션도 관련. 참조.변수 정의,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?MKLINK 인스턴스화,instantiation { instantization 이 아님. }
http://foldoc.org/initialise
포인터,pointer - 변수의 주소,address type?
식별자,identifier
이름공간,namespace
naming_convention - 이 둘은 사실 펑션,function등 모든 identifier의 주제
scope
전역/지역 global/local - scope? Yes, rel. lexical_scope
전역변수? global_variable - 전역_변수 Global_variable
지역변수 local_variable - http://foldoc.org/local variable 지역_변수 Local_variable
자동변수 automatic_variable지역변수 local_variable - http://foldoc.org/local variable 지역_변수 Local_variable
블록이나 함수에 들어가고 나갈 때 자동으로 기억장소가 할당되고 해제되는 변수. (Loudon 번역서)
//wpko 자동_변수 : 지역변수,local_variable라는 말은 일반적으로 자동변수,automatic_variable와 동의어이지만, 지역 변수가 더 일반적이고(src ?) C에서는 정적지역변수 (static_automatic_variable ?) 도 존재.
자동_변수
// C//wpko 자동_변수 : 지역변수,local_variable라는 말은 일반적으로 자동변수,automatic_variable와 동의어이지만, 지역 변수가 더 일반적이고(src ?) C에서는 정적지역변수 (static_automatic_variable ?) 도 존재.
자동_변수
정적변수 static
외부변수 extern
레지스터변수 register - 레지스터,register
// Java
클래스변수 (static 붙임) - 클래스,class // class_variable
인스턴스변수 (static 안 붙임) - 인스턴스,instance // instance_variable
...
// language-specific하게 쓰기보단 이것들 모든 PL에 해당하는 형식으로 정리TBW
type변환 type_conversion
자동타입변환
강제타입변환
타입변수? type_variable - 작성중강제타입변환
Twins:
변수_(컴퓨터_과학)
Variable_(computer_science)
http://foldoc.org/variable
http://rosettacode.org/wiki/Variables - 여러 PL의 primitive_type 을 어떻게 이름지었는지 쭉 보기 편함
변수_(컴퓨터_과학)
Variable_(computer_science)
http://foldoc.org/variable
http://rosettacode.org/wiki/Variables - 여러 PL의 primitive_type 을 어떻게 이름지었는지 쭉 보기 편함
6. 논리학/theoretical CS에서의 변수 ¶
명제변수,propositional_variable - propositional_variable
{
propositional variable, sentential variable, sentential letter
sentential_variable, sentential_letter
{
propositional variable, sentential variable, sentential letter
sentential_variable, sentential_letter
이게 모여 명제식 propositional_formula ?
}
statement_variable - 명제논리,propositional_logic의 variable(변수/변항/....). - curr at 명제논리,propositional_logic?action=highlight&value=statement_variable
8. dummy variable ¶
두 뜻이 있으므로 주의.
Dummy_variable
Dummy_variable
- (수학과 CS) (free_variable과 대비되는) bound_variable Bound_variable
- (통계학) Dummy_variable_(statistics) 가변수
10. (trivial) 가능한 값에 따라 ¶
binary variable / Boolean variable
complex variable
etc.
rel. 불_식,Boolean_expression 불_함수,Boolean_function 불_대수,Boolean_algebra 불_논리,Boolean_logic
비트,bit 영,zero 하나,one 혹은 참,true 거짓,false 진리값,truth_value
real variable비트,bit 영,zero 하나,one 혹은 참,true 거짓,false 진리값,truth_value
complex variable
etc.