minuend − subtrahend = difference
피감수 − 감수 = 차이
피감수 − 감수 = 차이
사용되는 곳
기호: minus sign
이것의 operator_precedence는 덧셈,addition과 같다.
기호: minus sign
키보드에 있는 것은 hyphen과 minus 공용?
(from AltCodes윈도특수기호문자입력)
QQQ− | U+2212 MINUS SIGN (이게 뺄셈 기호) |
- | U+002D HYPHEN-MINUS (키보드에 있는 것) |
‐ | U+2010 HYPHEN |
이것의 operator_precedence는 덧셈,addition과 같다.
C/C++ 포인터,pointer의 뺄셈의 타입,type - ptrdiff_t
{
C: https://en.cppreference.com/w/c/types/ptrdiff_t
C++: https://en.cppreference.com/w/cpp/types/ptrdiff_t
rel. 포인터산술,pointer_arithmetic
}
{
C: https://en.cppreference.com/w/c/types/ptrdiff_t
C++: https://en.cppreference.com/w/cpp/types/ptrdiff_t
rel. 포인터산술,pointer_arithmetic
}
tmp video en ¶
How subtraction makes the universe more robust | #SoME3 - YouTube / All Angles
https://www.youtube.com/watch?v=PIo6C2U1GEY
subtraction은 not commutative, anticommutative. (교환법칙,commutativity 성립 x)이 맘에 안든다(?) 그래서
1) subtraction을 없애자
A−B는 A+(−B)로 쓰면 된다
그러고보니 정말 gt/lt(부등호), implication symbol은 좌우 반전하고 좌우 operand를 교환하면 동등한데, 이게 기호를 직관적으로 잘 정의한 것 같다. (반교환성anticommutativity 연산자에는 그게 어울린다) (subtraction을 뜻하는 minus sign은 그렇지 않다)
2) subtraction을 포용하자
https://www.youtube.com/watch?v=PIo6C2U1GEY
subtraction은 not commutative, anticommutative. (교환법칙,commutativity 성립 x)이 맘에 안든다(?) 그래서
1) subtraction을 없애자
A−B는 A+(−B)로 쓰면 된다
그러고보니 정말 gt/lt(부등호), implication symbol은 좌우 반전하고 좌우 operand를 교환하면 동등한데, 이게 기호를 직관적으로 잘 정의한 것 같다. (반교환성anticommutativity 연산자에는 그게 어울린다) (subtraction을 뜻하는 minus sign은 그렇지 않다)
2) subtraction을 포용하자
https://encyclopediaofmath.org/wiki/Subtraction
http://oeis.org/wiki/Subtraction
https://ncatlab.org/nlab/show/subtraction
http://oeis.org/wiki/Subtraction
https://ncatlab.org/nlab/show/subtraction
AKA 빼기 연산