#noindex
## =애플리케이션,application =,application 애플리케이션 application
'''애플리케이션'''
----
번역은
[[응용,application]]
줄여서
[[앱,app]]?

[[적용,application]] - w =적용,application =,application 적용 application
{
'''application'''

application 의 다른 번역은 [[응용,application]] 등등..

alternative pagename : function_application ? =,function_application . function_application Srch:function_application
 [[함수적용,function_application]] - w
 {
 '''function application'''
 WtEn:function_application x [[Date(2024-02-10T12:12:25)]]
 
 } // function application Ggl:"function application" Naver:"function application"


Sub:

[[iterated_application]] =,iterated_application . iterated_application ?
[[application_iteration]] =,application_iteration . application_iteration ?
{
'''iteration of application'''
'''적용반복? 반복적용?'''

'''iterated application'''
'''반복적용 ?'''

from (Barendregt 2000 p8)
{
> "Functions of several arguments can be obtained by iteration of application.
> The idea is due to [[Moses_Schoenfinkel]] (1924) but is often called currying, after [[Haskell_Curry]] who introduced it independently." // [[커링,currying]]
두변수함수 f가 있고 f(x,y)가 두 [[아규먼트,argument]]에 의존할 때 F,,x,,와 F를 정의해보자
 F,,x,, = λ y . f(x,y)
 F = λ x . F,,x,,
그러면
 (F x)y = F,,x,, y = f(x, y)
// [[iterated_application]] =,iterated_application . iterated_application
마지막 식을 보면 '''iterated application'''에는 association to the left''(왼쪽 [[결합,association]].. curr at [[연관,association]]... pagename [[왼쪽결합,left_association]]?)''을 쓰는 것이 편리함을 보여준다:
 F M,,1,, M,,2,, … M,,n,,
 denotes
 (…((F M,,1,,)M,,2,,)… M,,n,,)
그러면 저 마지막 식은 이렇게 된다
 Fxy = f(x, y)

// [[iterated_abstraction]] =,iterated_abstraction . iterated_abstraction { 반복추상화 ?? '''iterated abstraction''' } // iterated abstraction Ggl:"iterated abstraction"
쌍대적으로^^Dually^^, '''iterated abstraction'''
는 association to the right를 쓴다 // [[오른쪽결합,right_association]]?
 λx,,1,,x,,2,,…x,,n,, . f(x,,1,,, …, x,,n,,)
 denotes
 λx,,1,,.(λx,,2,,.(…(λx,,n,,.f(x,,1,,, x,,2,,, …, x,,n,,))…))
그러면 위에 정의된 F는
 F = λxy.f(x, y)
이고, 저 위에 식 (F x)y = F,,x,, y = f(x, y) 이것은 다음과 같이 된다
 (λxy.f(x,y))xy = f(x,y)
n개의 arguments가 있다면, n번 적용해서
 (λx,,1,,…x,,n,, . f(x,,1,,, …, x,,n,,))x,,1,, … x,,n,, = f(x,,1,,, …, x,,n,,)
벡터 notation을 써서 더 편하게 적으면
 $(\lambda\vec{x}.f[\vec{x}])\vec{x}=f[\vec{x}]$
더 일반적으로
 $(\lambda \vec{x}.f[\vec{x}])\vec{N} = f[\vec{N}]$
}

Up: [[반복,iteration]] [[적용,application]]
} // iteration of application Ggl:"iteration of application lambda calculus" ? // iterated application Ggl:"iterated.application lambda.calculus"

[[부분적용,partial_application]] =부분적용,partial_application =,partial_application 부분적용 partial_application
{
부분적용 ? - 이 가장 적당할 듯?
'''partial application'''
AKA '''partial function application''' (we)

MKL
[[커링,currying]]
parameter - [[매개변수,parameter]]

[[WtEn:partial_application]]
= https://en.wiktionary.org/wiki/partial_application
 ''" The process of fixing a number of [아규먼트,argument]s to a [펑션,function], producing another function of smaller [arity]. "''

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

} // 부분적용

} // 적용

비슷한 건
[[프로그램,program]]
[[소프트웨어,software]]
.....?

Sub:
application_software .... 이 위키에선 저거랑 구분이 무의미.. (ie 페이지를 나눌 필요가 없을 듯)
 WpJa:アプリケーションソフトウェア = https://ja.wikipedia.org/wiki/アプリケーションソフトウェア
application_framework ... isa [[프레임워크,framework]]
 see [[프레임,frame?action=highlight&value=application_framework]]
 later [[프레임워크,framework?action=highlight&value=application_framework]]
----
<<tableofcontents>>
= wikiadmin =
[[Date(2023-12-09T23:48:00)]] Page name via kornorms
= autogeninterwikis =
KmsE:application
KpsE:application
KcsE:application
WtEn:application
Zeta:애플리케이션
Libre:애플리케이션
Namu:애플리케이션
WpKo:애플리케이션
WpSp:Application
WpEn:Application

...
애플리케이션
Ndict:애플리케이션 Naver:애플리케이션 Ggl:애플리케이션 Bing:애플리케이션