noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.
- 2023년 3월 27일 (월) 07:08 Ahn9807 토론 기여님이 파일:Extended page table.png 문서를 만들었습니다
- 2023년 3월 27일 (월) 07:08 Ahn9807 토론 기여님이 파일:Extended page table.png 파일을 올렸습니다
- 2023년 3월 27일 (월) 03:44 Ahn9807 토론 기여님이 VMI 문서를 만들었습니다 (Virtual machine introspection 문서로 넘겨주기) 태그: 새 넘겨주기
- 2023년 3월 27일 (월) 03:44 Ahn9807 토론 기여님이 Virtual machine introspection 문서를 만들었습니다 (새 문서: 분류: 가상화ㅓ == 개요 == Virtual machine introspection (VMI)이란 Guest operating system의 현재 Runtime상태를 Hypervisor에서 추적하는 기술을 말한다. 이 기법은 디버깅이나 보안을 위해서 사용된다. VMI는 하이퍼바이저에서 Guest의 상태를 추적할 수 있는 다양한 방법과 분석 기법들을 제공한다. 예를 들어서 VMM은 VM의 동작중에서 특정 명령어가 수행할 경우 VMM으로 Context를...)
- 2023년 3월 27일 (월) 03:24 Ahn9807 토론 기여님이 분류:확률과 통계 문서를 만들었습니다 (새 문서: 분류: 수학)
- 2023년 3월 27일 (월) 03:23 Ahn9807 토론 기여님이 Docker 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == 도커(Docker)는 리눅스의 응용 프로그램들을 프로세스 격리 기술들을 사용해 컨테이너로 실행하고 관리하는 오픈 소스 프로젝트이다. Docker는 가상의 운영체제 환경을 Chroot와 Overlayfs 그리고 Cgroup을 통해서 구현하는 컨테이너라는 환경을 쉽고 빠르게 사용자에게 제공하는 환경을 제공한다. 도커는 매우 가벼운 환경을 제공함으로...)
- 2023년 3월 24일 (금) 11:59 Ahn9807 토론 기여님이 A survey of procedural noise functions 문서를 만들었습니다 (새 문서: 분류:컴퓨터 그래픽스 논문 Lagae, A., Lefebvre, S., Cook, R., DeRose, T., Drettakis, G., Ebert, D. S., … Zwicker, M. (2010). A survey of procedural noise functions. Computer Graphics Forum, 29(8), 2579–2600. https://doi.org/10.1111/j.1467-8659.2010.01827.x ==Abstract== 절차적 노이즈는 그 가벼움과 생산성으로 게임등에서 많이 사용된다. 우리는 절차적 노이즈에 대해서 기본적인 아웃라인을 잡으려 한다. ==Introduct...)
- 2023년 3월 24일 (금) 11:58 Ahn9807 토론 기여님이 분류:컴퓨터 그래픽스 논문 문서를 만들었습니다 (새 문서: 분류: 컴퓨터 그래픽스)
- 2023년 3월 24일 (금) 11:58 Ahn9807 토론 기여님이 Recent Advances in Adaptive Sampling and Reconstruction for Monte Carlo Rendering 문서를 만들었습니다 (새 문서: 분류: 컴퓨터 그래픽스 논문 Lehtinen, J., Soler, C., Moon, B., Yoon, S.-E., Zwicker, M., Jarosz, W., … Rousselle, F. (2015). Recent Advances in Adaptive Sampling and Reconstruction for Monte Carlo Rendering. Computer Graphics Forum, 34(2), 667–681. https://doi.org/10.1111/cgf.12592 ==Abstract== 그리디 알고리즘을 이용해서 지역적으로 최적화된 가우시안 필터 크기를 찾고 그 결과에 따라 샘플링 정도를 다르게 해보았다....)
- 2023년 3월 24일 (금) 11:57 Ahn9807 토론 기여님이 POST (HTTP) 문서를 만들었습니다 (새 문서: 분류:애플리케이션 계층 == 개요 == 컴퓨팅에서 POST(포스트)는 월드 와이드 웹에 사용되는, HTTP가 지원하는 요청 방식이다. 설계상 POST 요청 방식은 웹 서버가 요청 메시지의 본문에 감싸있는 데이터를 받아들일 것을 요청하며 이러한 정보를 저장할 가능성이 높다.[1] 파일을 업로드할 때나 완성된 웹 폼을 제출할 때 종종 사용된다. == 웹 폼 == 잠재적으로 중복...)
- 2023년 3월 24일 (금) 11:57 Ahn9807 토론 기여님이 HTTP 문서를 만들었습니다 (HyperText transfer protocol 문서로 넘겨주기) 태그: 새 넘겨주기
- 2023년 3월 24일 (금) 11:56 Ahn9807 토론 기여님이 HyperText transfer protocol 문서를 만들었습니다 (새 문서: 분류:애플리케이션 계층 == 개요 == '''H'''yper'''T'''ext '''T'''ransfer '''P'''rotocol 또는 '''H'''yper'''T'''ex'''T''' '''P'''rotocol[* '''H'''yper'''T'''ex'''T''' '''P'''rotocol로 읽는 사람들이 가끔 있는데, 그렇다고 틀린 것은 아니다.]의 약자. 하이퍼텍스트를 빠르게 교환하기 위한 프로토콜의 일종으로 즉, HTTP는 서버와 클라이언트의 사이에서 어떻게 메...)
- 2023년 3월 24일 (금) 11:56 Ahn9807 토론 기여님이 세션 문서를 만들었습니다 (새 문서: 분류:애플리케이션 계층 == 개요 == 세션이란 서버가 해당 서버로 접근한 클라이언트를 식별하는 방법을 말한다. 서버는 접근한 클라이언트에게 쿠키를 설정하는 방식으로 클라이언트 식별자인 session-id (임의의 긴 문자열)을 발행한다. 서버로부터 발행된 session-id는 해당 서버와 클라이언트메모리에 저장된다. 나중에 클라이언트는 위에서 부여받은 session-id를...)
- 2023년 3월 24일 (금) 11:56 Ahn9807 토론 기여님이 몽구스 문서를 만들었습니다 (새 문서: 분류:오픈소스 프로젝트 ==개요== 몽구스는 직관적이고 Schema가 중심이 되는 라이브러리로써, MongoDB를 자바스크립트와 연동시켜서, 확실하고 SQL같은 느낌으로 MongoDB를 사용할 수 있게 하는 라이브러리이다. == 사용 방법 == === 패키지 설치 === npm install mongoose === 몽고DB에 연결 === var mongoose = require('mongoose'); mongoose.connect('mongodb://localhost/test', {useNewUrlParser: true})...)
- 2023년 3월 24일 (금) 11:55 Ahn9807 토론 기여님이 Express 문서를 만들었습니다 (새 문서: 분류:오픈소스 프로젝트 == 개요 == Express는 Javasciprt환경에서 간단한 웹페이지 구축을 위해 사용되는 프레임워크이다. == 설치 == npm init express == Hello World == const express = require('express') // express 모듈을 사용할 것이다. const app = express() const port = 3000 // 사용할 포트는 300번 app.get('/', (req, res) => res.send('Hello World!')) HTTP의 방식은 크게 GET과 POST로 나뉘어...)
- 2023년 3월 24일 (금) 11:54 Ahn9807 토론 기여님이 Node.js 문서를 만들었습니다 (새 문서: 분류:오픈소스 프로젝트 == 개요 == Node.js는 확장성 있는 네트워크 애플리케이션(특히 서버 사이드) 개발에 사용되는 소프트웨어 플랫폼이다. 작성 언어로 자바스크립트를 활용하며 Non-blocking I/O와 단일 스레드 이벤트 루프를 통한 높은 처리 성능을 가지고 있다. 내장 HTTP 서버 라이브러리를 포함하고 있어 웹 서버에서 아파치 등의 별도의 소프트웨어 없이...)
- 2023년 3월 24일 (금) 11:54 Ahn9807 토론 기여님이 분류:통계 해석 문서를 만들었습니다 (새 문서: 분류: 수학)
- 2023년 3월 24일 (금) 11:53 Ahn9807 토론 기여님이 카이제곱 검정 문서를 만들었습니다 (새 문서: 분류: 통계 해석 == 개요 == '''카이제곱 검정'''(chi-squared test) 은 카이제곱 분포에 기초한 통계적 방법으로, 관찰된 빈도가 기대되는 빈도와 의미있게 다른지의 여부를 검증하기 위해 사용되는 검증방법이다. 자료가 빈도로 주어졌을 때, 특히 명목척도 자료의 분석에 이용된다. 카이제곱 값은 χ<sup>2</sup> = Σ (관측값 - 기댓값)<sup>2</sup> / 기댓값 으로 계산한다....)
- 2023년 3월 24일 (금) 11:53 Ahn9807 토론 기여님이 사다리꼴 공식 문서를 만들었습니다 (새 문서: 분류:수치 해석 == 개요 == 함수의 정적분을 해석적인 방식으로 구하는 것이 아니라 구간을 아주 작게 분할해서 근사값을 구하는 방법중 하나로써, 함수의 구간을 사다리꼴 형식으로 나눈다. == 정의 == 닫힌구간 <math>[t_0,t_N]</math> 위의 적분 가능 함수 :<math>f\colon [t_0,t_N]\to \mathbb R</math> 및 수열 :<math>t_0 \le t_1 \le \dotsc \le t_{N-1} \le t_N</math> 이 주어졌다고 하자....)
- 2023년 3월 24일 (금) 11:52 Ahn9807 토론 기여님이 분류:수치 해석 문서를 만들었습니다 (새 문서: 분류: 수학)
- 2023년 3월 24일 (금) 11:52 Ahn9807 토론 기여님이 심슨법 문서를 만들었습니다 (새 문서: 분류:수치 해석 == 개요 == 수치해석에서 해석적으로 적분 가능한 함수를 심슨법에서는 2차 함수로 근사하여 적분한다. == 단구간에서의 적분 == 심프슨 공식은 <math>P(x)</math>라는 이차방정식을 이용해 <math>f(x)</math>의 근사값을 구한다. 이때 <math>P(x)</math>는 ''a'', ''b'', 그리고 둘의 중간값 <math>m = \textstyle \frac{a+b}2</math>에서 <math>f(x)</math>와 같은 값을 갖는 근사...)
- 2023년 3월 24일 (금) 11:52 Ahn9807 토론 기여님이 이분법 문서를 만들었습니다 (새 문서: 분류: 수치 해석 == 개요 == 수학에서 이분법은 근이 반드시 존재하는 폐구간을 이분한 후, 이 중 근이 존재하는 하위 폐구간을 선택하는 것을 반복하여서 근을 찾는 알고리즘이다. 간단하고 견고하며 해의 대략적 위치를 안다면 일정 오차 내에 있는 1개의 해는 무조건 도출이 가능하나, 상대적으로 느린 방식이다. 이분법은 근이 존재한다는 것 자체를 전제로...)
- 2023년 3월 24일 (금) 11:51 Ahn9807 토론 기여님이 수치 적분 문서를 만들었습니다 (새 문서: 분류:수치 해석 == 개요 == 수치 적분이란 해석적으로 적분가능한 함수를 컴퓨터를 이용하여 수치적으로 적분하는 것을 말한다. == 분류 == === 뉴턴-코우트 (Newton-Cotes) === 구간을 같은 간격으로 분할한다. # 중점법 # 사다리꼴 공식 # 심슨 적분법 === Chebyshev === 간격이 같지 않은 구간과 일정한 가중 계수를 이용한 공식이다. === 가우스 공식 === 간격이 같...)
- 2023년 3월 24일 (금) 11:51 Ahn9807 토론 기여님이 가우스 소거법 문서를 만들었습니다 (새 문서: 분류:수치 해석 선형대수학에서, '''가우스 소거법'''은 연립일차방정식을 풀이하는 알고리즘이다. 풀이 과정에서, 일부 미지수가 차츰 소거되어 결국 남은 미지수에 대한 선형 결합으로 표현되면서 풀이가 완성된다. 가우스 소거법은 보통 행렬을 사용하며, 첨가 행렬을 그와 풀이가 같은 더 간단한 행렬로 변환하여 풀이를 완성한다. 가우스 소...)
- 2023년 3월 24일 (금) 11:49 Ahn9807 토론 기여님이 Shell sort 문서를 만들었습니다 (새 문서: 분류:정렬 == 개요 == 삽입 정렬은 정렬의 편차가 매우 심하다. 좋은 경우 n 만에 수행 하지만 최악의 경우 n^2 이 수행된다. 이 단점을 보완하기 위해서, 배열을 "어느정도" 정렬된 상태로 만들고 삽입 정렬을 시행하는 방식이다. Divide and Conquer의 한 방식으로 우선 배열을 정해진 개수만큼 나눈뒤, 삽입정렬을 수행하고 다시 합치면서 삽입정렬을 수행해 나간다....)
- 2023년 3월 24일 (금) 06:13 Ahn9807 토론 기여님이 EBPF verifier 문서를 만들었습니다 (새 문서: 분류: EBPF == 개요 == eBPF프로그램의 안정성은 두 가지 단계를 통해서 확보된다. 첫번째로는 DAG체크를 통해서 루프를 허용하지 않는 것이며, CFG체크이다. CFG는 도달할 수 없는 코드가 eBPF에 있는지를 검사한다. 두번째 단계는 첫번째 Instruction에서 모든 가능한 경로를 탐색하는 것이다. 이는 모든 명령어를 실제 가상의 Verifier내부에서 시뮬레이션 하여서 레...)
- 2023년 3월 23일 (목) 07:13 Ahn9807 토론 기여님이 Strata: A Cross Media File System 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 == 개요 == Strata는 다양한 스토리지 하드웨어의 Need를 맞추기 위해서 Log를 유저레벨에서 작성하고 커널에서 Digest하는 방식을 제시하여 성능 향상을 이룬 논문이다. == Motivation == 서버에서 사용하는 스토리지 디바이스의 Diversification이 점차 심해지는 상황에서 이들의 요구를 만족시키면서 빠른 속도를 보장하는 File system이 없었다. 현재 서버...)
- 2023년 3월 22일 (수) 06:43 Ahn9807 토론 기여님이 High Velocity Kernel File Systems with Bento 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Samantha Miller, Kaiyuan Zhang, Mengqi Chen, Ryan Jennings, Thomas Aderson 19th USENIX Conference on File and Storage Technologies (FAST 21) == 개요 == 벤토는 리눅스 커널 파일시스템을 작성하면서 Error-prone할 수 있는 커널 코드 수정을 Rust를 통해서 쉽고 빠르고, 안전하게 작성 할 수 있도록 한 프레임 워크를 제한하였다. == Motivation == 새로운 하드웨어가 계속 해서 쏟아지...)
- 2023년 3월 22일 (수) 05:53 Ahn9807 토론 기여님이 파일:Bento Figure 1.png 문서를 만들었습니다
- 2023년 3월 22일 (수) 05:53 Ahn9807 토론 기여님이 파일:Bento Figure 1.png 파일을 올렸습니다
- 2023년 3월 22일 (수) 03:39 Ahn9807 토론 기여님이 Shadow page table 문서를 만들었습니다 (Shadow paging 문서로 넘겨주기) 태그: 새 넘겨주기
- 2023년 3월 22일 (수) 03:39 Ahn9807 토론 기여님이 Hardware-based virtualization 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == 하드웨어 기반 가상화 (Hardware-based virtualization)이란 하드웨어의 도움을 통해서 가상의 컴퓨팅 환경을 가상머신에 제공하는 방법을 의미한다. Intel-VT 혹은 AMD-V와 같은 기술이 대표적으로서, CPU내부적으로 가상의 vCPU를 만들 수 있는 기능을 제공함으로서, 기존의 Binary translation이나 Para virtualization과 같은 OS의 수정이 없는 Full vi...)
- 2023년 3월 21일 (화) 11:14 Ahn9807 토론 기여님이 Memory mapped I/O 문서를 만들었습니다 (새 문서: 분류: CPU 분류: 주변장치 == 개요 == Memory mapped I/O는 메인 메모리와 입출력 장치를 위해서 사용하는 역역이 같은 경우를 말한다. PIO처럼 전용 Instruction을 사용하는 방식과는 다르게 MMIO에서는 입출력 장치의 메모리와 레지스터가 마치 메모리의 특정영역에 있는 것처럼 생각할 수 있다. 예를 들어서 메모리의 0xFF에 접근하면 입출력 장치의 특정 레지스터값이...)
- 2023년 3월 21일 (화) 10:38 Ahn9807 토론 기여님이 EPT 문서를 만들었습니다 (Extended page table 문서로 넘겨주기) 태그: 새 넘겨주기
- 2023년 3월 21일 (화) 10:36 Ahn9807 토론 기여님이 Paravirtualization 문서를 만들었습니다 (반가상화 문서로 넘겨주기) 태그: 새 넘겨주기
- 2023년 3월 21일 (화) 10:35 Ahn9807 토론 기여님이 Full virtualization 문서를 만들었습니다 (전가상화 문서로 넘겨주기) 태그: 새 넘겨주기
- 2023년 3월 21일 (화) 10:23 Ahn9807 토론 기여님이 Hardware virtualization 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == 하드웨어 가상화는 다양한 운영체제를 하나의 하드웨어 위에서 돌리기 위해서 하드웨어를 가상화하는 것을 말한다. 가상화는 물리적인 컴퓨터의 특징을 가상화하여서 추상화된 하나의 하드웨어로 운영체제가 인식할 수 있도록 한다. 이를 통해서 사용자는 다양한 운영체제를 마치 여러개의 하드웨어위에서 돌리는 것처럼 하나의 하드웨...)
- 2023년 3월 21일 (화) 04:03 Ahn9807 토론 기여님이 특수:Badtitle/NS500:Asdfasdf 문서를 만들었습니다 (새 블로그 글을 만들었습니다.)
- 2023년 3월 21일 (화) 04:00 Ahn9807 토론 기여님이 특수:Badtitle/NS500:Asdf 문서를 만들었습니다 (새 블로그 글을 만들었습니다.)
- 2023년 3월 21일 (화) 03:35 Ahn9807 토론 기여님이 축차 탐색 문서를 만들었습니다 (Linear search 문서로 넘겨주기) 태그: 새 넘겨주기
- 2023년 3월 21일 (화) 03:35 Ahn9807 토론 기여님이 Linear search 문서를 만들었습니다 (새 문서: 분류: 탐색 ==개요== 축차 탐색은 배열에 저장된 데이터를 앞에서부터 하나씩 차례로 검사하다가 원하는 부분이 발견되면 그 시점에서 탐색을 중지하는 간단한 탐색법이다. == 알고리즘== #배열의 처음부터 시작한다. #만약 원하는 것이 발견되면 멈추고 그 값을 리턴한다.)
- 2023년 3월 21일 (화) 03:34 Ahn9807 토론 기여님이 Bubble sort 문서를 만들었습니다 (새 문서: 분류: 정렬 == 개요 == 인접하는 두 항을 비교해서 뒷 항이 앞 항보다 작으면 두 항을 교환하는 과정을 반복한다. 쉽게 생각하면, 우선 제일 큰거 맨 위로 올리고, 그다음 큰거 맨 위로 올리를 모든 항이 정렬될 때까지 반복하는 것이다. == 예제 == 오름차순으로 정렬하는 거품정렬의 과정은 다음과 같다. <span style="color:#0000FF">'''55 07'''</span> 78 12 42 초기값[파란색...)
- 2023년 3월 21일 (화) 03:33 Ahn9807 토론 기여님이 Insertion sort 문서를 만들었습니다 (새 문서: 분류: 정렬 프레임없음|가운데 == 개요 == 부분 데이터 <math>a_i ~ a_n </math> 이 주어진 경우 그중에서 최소항을 찾아서 그 값과 <math>a_i</math> 와 교화하는 과정을 처음 부터 끝가지 시행하는 방식을 직접 선택법이라 한다. == 알고리즘 == i 가 0~n-1 인 상황에서, # 대상 항 i 를 0 부터 n-2 까지 옮기며 다음을 반복한다. # 대상 항을 최소값의 초기값...)
- 2023년 3월 21일 (화) 03:33 Ahn9807 토론 기여님이 Shaker sort 문서를 만들었습니다 (새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 버블 소트 에서 부분 데이터가 오름차순으로 정렬되어 있어도 무조건 비교를 반복함으로 효율이 떨어진다. 따라서 데이터의 원쪽부터 검사를 시작해서 마지막으로 교환한 것이 i 와 i + 1 의 위치라면 i + 1 ~ n - 1 까지는 데이터가 정렬되어 있는 것임으로 다음부터는 검사하지 않아도 된다. 따라서 마지...)
- 2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 Selection sort 문서를 만들었습니다 (새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 선택 정렬은 현재 소팅되어 있다 가정된 배열 에서 최소의 값을 집어 넣어서 정렬하는 방식이다. 좀더 풀어서 말하자면, 가장 작은 수를 select 한 다음 현재 배열에 넣는 작업이라고 생각하면 된다. 어찌보면, 인간이 사용하는 정렬 방식과도 닮았다. 우선 제일 작거나 큰거를 선택해서 그것을 먼저 정렬하...)
- 2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 Merge sort 문서를 만들었습니다 (새 문서: 분류:정렬 섬네일|가운데 == 개요 == 폰 노인만에 의해서 개발된 Merge Sort 는 안정적으로 nlogn 만에 배열을 정렬할 수 있도록 해준다. 기본 원리는 배열을 일단 최소 단위까지 쪼갠후 최소 단위부터 조금씩 맏추면서 올라가는 방식이다. 분할 정복 알고리즘의 좋은 예시이다. 성능은 퀵 정렬보다 전반적으로 뒤떨어지고, 데이터 크기만한 메...)
- 2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 정렬 문서를 만들었습니다 (새 문서: 분류: 정렬 == 개요 == 정렬 (sort)는 데이터를 특정 규칙에 따라 재배열하는 것을 말한다. 1, 5, 11 처럼 작은 수부터 나열한 것을 오름차순, 반대를 내림 차순이라 한다. 정렬에 필요한 시간은 주로 비교 횟수와 교환 횟수에 의해 정해진다. 이 횟수는 수열 데이터가 어떻게 나열되어 있는지와 기기에 따라 다르다. 그러나 이 횟수는 방식에 따라서 엄청난 차이가 존...)
- 2023년 3월 21일 (화) 03:31 Ahn9807 토론 기여님이 암호화 해시 함수 문서를 만들었습니다 (새 문서: 분류: 네트워크 보안 분류: 탐색 == 암호화 해시 함수 == 암호화 해시 함수는 해시 함수에 의해 보호되는 어떤 메시지를 대신할 다른 메시지를 찾아내는 일이 실행 불가능한 정도의 계산을 요구해야 한다. == 종류 == MD5<br> SHA-1<br>)
- 2023년 3월 21일 (화) 03:31 Ahn9807 토론 기여님이 해시 함수 문서를 만들었습니다 (새 문서: 분류: 네트워크 보안 분류: 탐색 == 개요 == '''해시 함수'''는 임의의 길이를 갖는 임의의 데이터에 대해 고정된 길이의 데이터로 매핑하는 함수를 말한다. 이러한 해시 함수를 적용하여 나온 고정된 길이의 값을 해시값이라고 한다. 이 값은 또한 해시 코드, 해시섬(sum), 체크섬[* 의미는 살짝 다르지만 해시가 체크섬과 동일한 목적으로 사용되는 경우도 많기는...)
- 2023년 3월 21일 (화) 03:30 Ahn9807 토론 기여님이 Binary search 문서를 만들었습니다 (새 문서: 분류: 탐색 ==개요 == 이진 검색 알고리즘(binary search algorithm)은 오름차순으로 정렬된 리스트에서 특정한 값의 위치를 찾는 알고리즘이다. 처음 중간의 값을 임의의 값으로 선택하여, 그 값과 찾고자 하는 값의 크고 작음을 비교하는 방식을 채택하고 있다. 처음 선택한 중앙값이 만약 찾는 값보다 크면 그 값은 새로운 최댓값이 되며, 작으면 그 값은 새로운 최솟값...)