일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
- 코틀린
- 공짜블로그
- hugo 로 블로그
- MySQL
- Convariance
- standard output
- 코틀린 노트북
- JPA
- Test
- resizer 구현
- ruby
- Pitest
- 코틀린 in
- output stream
- 자바
- change refresh rate
- standard input
- Java
- kotlin
- resize image with go
- 코틀린 out
- 돌연변이 테스팅
- 객체지향
- 개인블로그 hugo
- cli 만들기
- IntelliJ
- Mutation testing
- 의존성역전원칙
- InnoDB
- image resizer with go
- Today
- Total
목록Math (2)
Rlog
Inclusion / Exclusion Of Elements 원소들은 어떤 집합에 포함될 수도, 포함되지 않을 수도 있다. 원소 a 가 집합 A 에 포함됨. $a \in A$ 원소 a 가 집합 A 에 포함되지 않음. $a \notin A$ Equal Sets 집합 A 의 모든 원소가 B 에 포함되고, 집합 B 의 모든 원소도 A 에 포함될때, A, B 는 서로 같은 집합이다. $A = {A, B, C} , B = {A, B, C}$ 일때, A 와 B 는 Equal Set 이다. $A = B [(\forall a \in A) \in B] \wedge [(\forall b \in B) \in A]$ Inclusion / Exclusion Of Sets SubSets 집합 A 의 모든원소가 집합 B 에 포함될..
Algebraic Properties 이 아래 법칙은 모든 연산에 적용되는 것은 아니고, 이것이 적용된다고 증명된 연산에서 사용할 수 있는 법칙 같다고 생각함. 아래 법칙을 규정하는데 사용되는 모든 연산자나, 변수는 특정 연산자를 가르키는 것이아니라, abstract 하다고 생각하면 됨. Commutative Property (Law) $a \diamond b = b \diamond x$ 각 LHS, RHS 의 Variables 의 순서를 바꿔도 동등성이 성립함. 예를 들면 아래 처럼 $b \diamond a = x \diamond b$ Associative Property (Law) $(a \circ b) \diamond c = c \diamond (a \circ b)$ Destributive Prop..