애플리케이션

번역은
응용,application
줄여서
앱,app?

적용,application - w =적용,application =,application 적용 application
{
application

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

alternative pagename : function_application ? =,function_application . function_application

function_application

함수적용,function_application - w
{
function application

function_application x 2024-02-10
} // function application

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₁ M₂ … M_n
denotes
(…((F M₁)M₂)… M_n)

그러면 저 마지막 식은 이렇게 된다

Fxy = f(x, y)

// iterated_abstraction =,iterated_abstraction . iterated_abstraction { 반복추상화 ?? iterated abstraction } // iterated abstraction

iterated abstraction
쌍대적으로^Dually, iterated abstraction
는 association to the right를 쓴다 // 오른쪽결합,right_association?

λx₁x₂…x_n . f(x₁, …, x_n)
denotes
λx₁.(λx₂.(…(λx_n.f(x₁, x₂, …, 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₁…x_n . f(x₁, …, x_n))x₁ … x_n = f(x₁, …, x_n)

벡터 notation을 써서 더 편하게 적으면

$\displaystyle (\lambda\vec{x}.f[\vec{x}])\vec{x}=f[\vec{x}]$

더 일반적으로

$\displaystyle (\lambda \vec{x}.f[\vec{x}])\vec{N} = f[\vec{N}]$

}

Up: 반복,iteration 적용,application
} // iteration of application

iteration of application lambda calculus ? // iterated application

iterated.application lambda.calculus

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

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

partial_application
= https://en.wiktionary.org/wiki/partial_application

" The process of fixing a number of 아규먼트,arguments to a 펑션,function, producing another function of smaller arity. "

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

} // 부분적용

} // 적용

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

Sub:
application_software .... 이 위키에선 저거랑 구분이 무의미.. (ie 페이지를 나눌 필요가 없을 듯)