변수,variable


변수 관련표현들. (많아지면 아래 section으로.)

변량,variate =변량,variate =,variate . 변량 variate
{
번역?
변량


univariate =,univariate =,univariate . univariate
{
univariate

번역?
KmsE:univariate x 2023-12

일변량
다변량
중에

WtEn:univariate = https://en.wiktionary.org/wiki/univariate
adj. "Having or involving a single variable"
n. "A 다항식,polynomial or 함수,function with only one variable"

https://en.wikipedia.org/wiki/Univariate

https://mathworld.wolfram.com/Univariate.html
"involving one variable"

univariate function
} // univariate

bivariate =,bivariate =,bivariate . bivariate
{
bivariate

번역? 아마 이변량?
KmsE:bivariate


...
Ndict:bivariate
Ggl:bivariate
} // bivariate

다변량,multivariate =다변량,multivariate =,multivariate . 다변량 multivariate
{
multivariate

번역?
KmsE:multivariate



https://en.wikipedia.org/wiki/Multivariate_random_variable
"a multivariate random variable or random vector
is a list or vector of mathematical variables each of whose value is unknown, either because the value has not yet occurred or because there is imperfect knowledge of its value. "

확률벡터,random_vector =확률벡터,random_vector =,random_vector 확률벡터 random_vector
{
random vector
확률벡터 via KmsE:random vector.

"random vector"
Ggl:random vector Ndict:random vector
WtEn:random_vector x 2023-12-22
} // random vector
와 동의어?








1. Sub

Sub:

1.1. random variable (RV) 확률변수

random
random variable (RV)
WtEn:random_variable
=,random_variable =,RV .
확률변수,RV - VG:확률변수,random_variable

1.2. register variable 레지스터변수

register
register variable
register_variable
=레지스터변수,register_variable =,register_variable .
page exists: 레지스터_변수,register_variable <- rename pagename

1.3. pointer

1.4. (discrete vs continuous:)

1.7. (local vs nonlocal vs global:)

1.8. local variable 지역변수

local variable
지역변수,local_variable
{
local variable

scope

Sub:
static_local_variable or local_static_variable


1.9. non-local variable

1.10. global variable 전역변수

1.10.1. (+ global static variable or static global variable)

global
global variable
전역변수,global_variable =전역변수,global_variable =,global_variable .
{

Sub:
static_global_variable or global_static_variable { Up: static_variable global_variable }


1.11. automatic variable 자동변수

1.12. static variable 정적변수

1.13. external variable 외부변수

external variable
외부변수,external_variable =외부변수,external_variable =,external_variable .
{
WtEn:external_variable


1.17. undefined variable

1.18. own variable

own variable
own_variable
{
알골,ALGOL
https://www.pls-lab.org/en/Own_variables
historical. 단점 설명되어있음. QQQ 근데 static_variable 과 정확한 차이가 뭐지?
... Google:algol own variable
}

1.19. environment variable 환경변수

1.20. (free vs bound:)


abstraction = binding free variable.
추상화,abstraction : to bind the free variable $\displaystyle x$ in $\displaystyle M.$
e.g.
$\displaystyle \lambda x.yx$
여기서 $\displaystyle x$ : bound_variable $\displaystyle y$ : free_variable 임.
치환,substitution $\displaystyle [x:=N]$ 은 오로지 x의 free occurrences일 때만 수행된다. ("only performed in the free occurrences of x:")
$\displaystyle yx(\lambda x.x)[x:=N]\equiv yN(\lambda x.x)$
미적분학에서도 비슷한 variable_binding =,variable_binding =,variable_binding . variable_binding
이 있다.
$\displaystyle \int_a^b f(x,y)dx$ 에서 : $\displaystyle x$ is bound, $\displaystyle y$ is free.
It does not make sense to substitute 7 for $\displaystyle x:$
$\displaystyle \int_a^b f(7,y)d7$
but substitution for $\displaystyle y$ makes sense:
$\displaystyle \int_a^bf(x,7)dx$
위생(hygiene)의 이유로, 특정 식에서 일어나는occurs bound variables는 항상 free variables와 다르다고 가정한다.
이것은 bound variables의 이름바꾸기renaming을 통해 확실히 확인 가능(...맞나? 혹은 '이름바꾸기를 해도 만족' 정도가 적당? can be fulfilled)하다.
e.g. λx.x becomes λy.y
다음 식도 마찬가지 방식.
(λx.x)a = a = (λy.y)a
사실 그들은 같은 algorithm을 표시한다denote. 그래서 bound variables 이름만 다른 식,expressions들은 동일하다are identified.

from (Barendregt 2000 p7) Free and bound variables

1.21. free variable 자유변수?

free
free variable
자유변수,free_variable =자유변수,free_variable =,free_variable . free_variable
{
free variable




WpKo:자유_변수와_종속_변수
= https://ko.wikipedia.org/wiki/자유_변수와_종속_변수
  • 자유변수 free variable : 상수로 치환 가능(? 상수,constant치환,substitution해도 식의 의미semantics?가 변하지 않는다고 해야 명확하지 않나??)
  • 종속변수 bound variable : 상수로 치환하면 수식이 본래 의미를 잃게 되는 변수
  • 종속변수 대신 가변수 dummy_variable 라고도 하나, 이는 회귀분석regression_analysis용어로 더 많이 쓰인다
  • programming/소스코드/...에서 자유변수 : 전역변수,global_variable (i.e. 바깥에서 정의된), 종속변수: 지역변수,local_variable이다 (? rationale?)

WpEn:Free_variables_and_bound_variables
= https://en.wikipedia.org/wiki/Free_variables_and_bound_variables



1.22. bound variable

bound
bound variable
bound_variable =,bound_variable =,bound_variable . bound_variable
{
이건 종속변수 (wpko) 라 하는데 이게 최선인가? dependent_variable 과 겹침.
묶인변수 는 어떤가?
고정변수 ?
속박변수 - 도 보임


(TO CMP)
WpKo:자유_변수와_종속_변수 (free vs bound)
WpKo:독립변수와_종속변수 (indep vs dep)


1.23. dummy variable

dummy variable
dummy
dummy_variable =,dummy_variable =,dummy_variable .
{
WtEn:dummy_variable

see WpKo:자유_변수와_종속_변수 "종속 변수 대신 가변수(假變數, 영어: dummy variable)라고도 하나, ..."
bound_variable을 dummy variable이라고 부르기도 함.[1]
https://mathworld.wolfram.com/DummyVariable.html
}


1.24. state variable

state variable
state
state_variable
상태변수,state_variable - 상태,state


1.26. predicate variable

predicate
predicate variable
predicate_variable
술어,predicate
predicate_variable - curr at 술어,predicate


1.27. (mutable vs immutable:) mutable variable / immutable variable

mutable vs immutable
mutable variable
mutable_variable
immutable variable
immutable_variable
mutability
immutability
mutation



1.28. schematic variable (logic)

schematic_variable =,schematic_variable =,schematic_variable . schematic_variable
{
schematic variable

WtEn:schematic_variable = https://en.wiktionary.org/wiki/schematic_variable
"A variable that appears in an axiom schema and ranges over formulas, distinguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse."

WpEn:Schematic_variable redir to WpEn:Metavariable

1.29. metavariable

metavariable =,metavariable =,metavariable . metavariable
MKL schematic_variable (바로위section)

WtEn:Metavariable x <- wt는 capitalization 중요.(wp와 달리.)
WtEn:metavariable
WpEn:Metavariable
Ndict:Metavariable
Ggl:Metavariable


1.30. ADDHERE

1.31. ADDHERE

ADDHERE
ADDHERE
ADDHERE


2. Topics

2.2. uninitialized variable 초기화되지않은변수?

uninitialized variable
uninitialized_variable
초기화되지않은변수
{
버그,bug의 원인 중 하나.



2.3. 변수변환 / 치환 / ....

(Caveat: variable값,value이 바뀌는 건 당연한 속성이고(다만 cf. immutable_variable) 이건 값 얘기 아님)

변수변환 / 치환 / ....
variable의 치환/변환/substitution/change/바꾸기/exchange/바꾸기 바꿈 변화시키기 변화하기 .... 변수변환 change_of_variable / variable_change / 변수치환 variable_substitution 중에 pagename?
치환,substitution
change - WtEn:change후보:{ 체인지,change 변화,change ... } NdEn:change
changing - WtEn:changing후보:{ 체인징,changing } //// NdEn:changing
...
WpKo:변수_변환
변수 치환
Ndict:변수 치환
Ggl:변수 치환
변수 변환
Ndict:변수 변환
Ggl:변수 변환

2.4. scope (TOFORK)

scope =,scope =,scope . scope
{
PHP의 변수는 네 가지 scope types 중 하나.
으로 나뉨.

local은 특정 function 안에서만,
global은 모든 곳에서 접근 가능, // 접근,access accessibility { 접근성 ? WtEn:accessibility NdEn:accessibility Ndict:accessibility Ggl:accessibility NdEn:접근성 Ggl:접근성 ... }
static은 function의 실행이 끝나도(exit) 없어지지 않음 - 값을 유지 - 다음번 호출될 때 다시 값을 사용 가능.

pagename: variable_scope or variable_scoping ?


3. MKLINK

타입,type
변수는 그에 따른 type을 가짐


변수는 대입,assignment으로 값,value을 지정하는 대상?

통계,statistics 통계학,statistics에선 변량,variate과 같은 뜻으로 쓰이는 경우가 많음.. - tbw