애플리케이션,application

Difference between r1.2 and the current

@@ -7,14 +7,88 @@
줄여서
[[앱,app]]?

[[적용,application]] - w
[[적용,application]] - w =적용,application =,application 적용 application
{
'''application'''
application 의 다른 번역은 [[응용,application]] 등등..

alternative pagename : function_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
 
} // 부분적용
} // 적용

비슷한 건
@@ -25,7 +99,9 @@
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 =

애플리케이션
번역은
응용,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 2024-02-10
} // 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에 의존할 때 Fx와 F를 정의해보자
Fx = λ y . f(x,y)
F = λ x . Fx
그러면
(F x)y = Fx y = f(x, y)
// iterated_application =,iterated_application . iterated_application
마지막 식을 보면 iterated application에는 association to the left(왼쪽 결합,association.. curr at 연관,association... pagename 왼쪽결합,left_association?)을 쓰는 것이 편리함을 보여준다:
F M1 M2 … Mn
denotes
(…((F M1)M2)… Mn)
그러면 저 마지막 식은 이렇게 된다
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?
λx1x2…xn . f(x1, …, xn)
denotes
λx1.(λx2.(…(λxn.f(x1, x2, …, xn))…))
그러면 위에 정의된 F는
F = λxy.f(x, y)
이고, 저 위에 식 (F x)y = Fx y = f(x, y) 이것은 다음과 같이 된다
(λxy.f(x,y))xy = f(x,y)
n개의 arguments가 있다면, n번 적용해서
(λx1…xn . f(x1, …, xn))x1 … xn = f(x1, …, xn)
벡터 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}]$
}


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



} // 부분적용

} // 적용



[edit]

1. wikiadmin

2023-12-10 Page name via kornorms
[edit]

2. autogeninterwikis

애플리케이션,application Modified on 9:12 pm, February 10, 2024.
🎲 Random