Sub: [[확률변수,random_variable]] [[상태변수,state_variable]] - writing [[변수분리,variable_separation]] 어원: 라틴어, 다양한 + 가능한 -> __여러 [[값,value]]을 가질 수 있는__ QQQ 이건 '변할 수 있는'이라는 형용사가 명사화된것인가? Google:etymology.of.variable 초등 수학에서는 [[값,value]]이 변할 수 있는 '''변수''', 고정되어 있는 [[상수,constant]]로 설명 (즉 '값'이나 '수'를 [[variability]] or [[mutability]] 만족 여부로 양분 or [[이분,bipartition]]?) ... 이 레벨에서는, [[방정식,equation]]에서 변수는 '미지수'와 동의어? chk 비교: 반대 개념: __값이 정해진__ [[상수,constant]] MKLINK [[불변량,invariant]] and [[불변성,invariance]](aka [[invariability]]? 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://terms.naver.com/entry.naver?docId=3405116&cid=47324&categoryId=47324 수학백과: 부정원]] 관계는? [[수,number]] <> = 독립변수 vs 종속변수 independent vs dependent = ([[함수,function]]에서) See [[독립변수와_종속변수]] [[독립변수,independent_variable]] [[종속변수,dependent_variable]] = 자유변수 vs 종속변수 free vs bound = 번역이 보통 free variable은 자유변수로 일정한데 bound variable은 종속변수, 제한변수, 묶인변수로 나뉜다. 묶인변수가 가장 낫지 않을까? 일본어로는 '속박변수' (논리학과 CS에서) 수식에서 자유변수(free variable): 상수로 치환할 수 있는 변수 - 상수로 치환해도 ok라는 뜻? 종속변수(bound variable): 상수 값으로 치환 시 수식이 본래의 의미를 잃게 되는 변수 [[자유변수,free_variable]] - [[람다대수,lambda_calculus]]에서 언급됨 [[bound_variable]] 묶인변수?? ---- free_vs_bound variable // tmp from [[https://namu.wiki/w/%EC%88%A0%EC%96%B4%20%EB%85%BC%EB%A6%AC Namu: 술어 논리]] "열린 문장이 의미를 지닐 수 있게 하기 위해서는 변항이 양화사(quantifier)를 통해 속박(bound)되어야 한다. 이때 양화사에 의해 속박되지 않은 변항을 자유 변항(free variable)이라고 한다. 자유 변항만으로 이루어진 표현을 식(formula)이라고 한다. 어떠한 변항도 자유롭게 나타나지 않는 식이 문장(sentence)이다." ---- [[Wiki:FreeVariable]] [[WpKo:자유_변수와_종속_변수]] [[WpEn:Free_variables_and_bound_variables]] [[WpJa:自由変数と束縛変数]] (일본어로는 '자유변수와 속박변수') 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://proofwiki.org/wiki/Definition:Bound_Variable https://encyclopediaofmath.org/wiki/Free_variable https://encyclopediaofmath.org/wiki/Bound_variable [[WpKo:람다_대수#연산]]에서는 '자유변수와 제한변수'로 번역함. bound_variable 은 dummy_variable 이라고도 함, 다만 dummy_variable 은 통계 쪽에서는 다른 의미도 있으므로 주의 (아래쪽 참조) ---- https://abstractmath.org/MM/MMVarSub.htm#freeandbound = across variable vs through variable = WtEn:across_variable https://everything2.com/title/across+variable WtEn:through_variable https://everything2.com/title/through+variable = 통계학에서의 변수 = [[확률변수,random_variable]] 등. [[통계,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.[* https://m.blog.naver.com/her7845/220878676671] 양적변수 = 수치형변수 이산형변수 연속형변수 질적변수 = 범주형변수 // from https://m.blog.naver.com/hafs_snu/220854474021 { [[반응변수,response_variable]] [[설명변수,explaining_variable]] Google:반응변수 Google:response_variable Google:설명변수 Google:explaining_variable } [[latent_variable]] - 작성중, 일단은 Google:latent.variable tmp links ko https://blog.naver.com/gogocj2012/221633762543 - 쉬운 설명 혹시 통계 분야에선 '변인'과 동의어인지? chk. Google:변수+변인 Naver:변수+변인 = 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 을 어떻게 이름지었는지 쭉 보기 편함 = 논리학/theoretical CS에서의 변수 = [[논리,logic]] [[수리논리,mathematical_logic]] [[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]] * [[상관계수,correlation_coefficient]] = dummy variable = 두 뜻이 있으므로 주의. [[WpEn:Dummy_variable]] * (수학과 CS) (free_variable과 대비되는) bound_variable [[WpEn:Bound_variable]] * (통계학) [[WpEn:Dummy_variable_(statistics)]] [[WpKo:가변수]] = 변수의 수 number of variables = [[변수,variable]]의 개[[수,number]]는 다음과 비슷하거나 관련있음: [[자유도,degree_of_freedom]] [[차원,dimension]] = Etc, 단어 variable = 논리학에선 '변항'이라고도.. Google:변항+variable '변인'으로도 번역. 보통 통계학/사회과학/심리학 쪽? [* https://terms.naver.com/entry.naver?docId=5675594&cid=62841&categoryId=62841] See Namu:변인 and Google:변인+variable ---- Twins: [[WpSimple:Variable]] (easy) [[WpKo:변수_(수학)]] [[WpEn:Variable_(mathematics)]] https://planetmath.org/variable https://proofwiki.org/wiki/Definition:Variable [[https://terms.naver.com/entry.naver?docId=3338345&cid=47324&categoryId=47324 수학백과: 변수]] https://ncatlab.org/nlab/show/variable