Claude Corps

한스롭(Anthropic)이 미국 전역의 커뮤니티에 AI의 혜택을 확장하기 위해 1,000명의 펠로우를 지원하는 전국 펠로우십 프로그램인 'Claude Corps'를 시작한다고 발표했습니다.

이 프로그램은 초기 경력자들에게 Claude 사용법을 교육하고, 이들을 미국 내 비영리단체에 배치하여 1년간 풀타임으로 AI 기술을 활용해 조직의 목표를 달성하도록 돕는 것을 목표로 합니다. 이는 AI 기술의 혜택을 사회적으로 공유하고, 변화하는 경제 환경 속에서 AI의 잠재력을 실현하기 위한 모델을 구축하려는 목적이 있습니다.

Claude Corps는 Anthropic, CodePath(교육), Social Finance(평가) 세 조직의 파트너십으로 운영되며, 펠로우들은 12개월간 85,000달러의 급여와 멘토링, Claude 토큰 예산을 지원받으며 실무 경험을 쌓게 됩니다. 이 프로그램은 AI 인재를 실제 사회 문제 해결에 적용하여 실질적인 변화를 이끌어내는 데 중점을 두고 있으며, 향후 더 큰 규모로 확장하고 오픈 소스 기술을 공개하는 것을 목표로 합니다.

How TimescaleDB compresses time-series data

요약 품질이 낮아 기본 표시에서 숨겼습니다.
요약 원문 보기
이 글은 TimescaleDB가 시간 순서 데이터(time-series data)를 어떻게 효율적으로 처리하기 위해 고급 데이터 구조와 쿼리 최적화를 활용하는지에 대한 매우 상세하고 통찰력 있는 기술적 설명입니다.

다음은 제공된 텍스트의 핵심 내용과 분석을 구조화한 요약입니다.

---

## 핵심 개념 요약

이 텍스트는 TimescaleDB의 아키텍처와 성능 이점을 설명하며, 시간 순서 데이터를 관리하는 방식에 초점을 맞춥니다.

### 1. 하이퍼테이블(Hypertables)과 시간 순서 최적화
TimescaleDB는 **하이퍼테이블(hypertables)**을 사용하여 시간 순서 데이터를 효율적으로 저장합니다. 이 구조는 시간 기반으로 특화된 인덱싱 및 청킹(chunking)을 허용하며, 이는 시간 기반 데이터의 빠른 수집 및 쿼리 검색에 매우 중요합니다.

### 2. 분할(Segmentation, 청킹)의 역할
데이터는 "청크(chunks)"로 분할됩니다. 이러한 분할은 효율적인 저장 및 검색의 기반이 되며, 쿼리가 전체 데이터셋이 아닌 관련 시간 세그먼트만 스캔할 수 있게 합니다.

### 3. 고급 인덱싱 및 쿼리 계획
이 시스템은 데이터의 시간적 특성을 이해함으로써 쿼리를 최적화하도록 설계되어, 계획기(planner)가 관련 없는 데이터 블록을 건너뛸 수 있게 합니다.

### 4. 행 수준 최적화의 힘 (예시)
**분할 및 데이터 레이아웃** (암시적으로 `segmentby` 사용)에 대한 상세한 예시는 데이터의 물리적 조직이 성능에 직접적인 영향을 미친다는 것을 보여줍니다.

### 5. 세그먼트 수준 최적화 (두 번째 예시)
두 번째, 더 복잡한 예시는 시스템이 어떻게 추가적으로 최적화될 수 있는지 심층적으로 다루며, 고급 데이터베이스 시스템(제공된 텍스트의 맥락에서 논의된 행 수준 최적화와 유사한 고급 파티셔닝/세그멘테이션 기술)에서 발견되는 개념과 유사점을 찾습니다.

### 6. 데이터 분포의 중요성 (마지막 예시)
마지막 섹션은 **분할** (예: `segmentby`를 포함하는 가상의 예시)과 **데이터 분포** (예: `segmentby` 절)가 복잡한 조인이나 특정 필터링 패턴을 처리할 때 성능에 어떻게 영향을 미치는지에 중점을 둡니다.

---

## 분석 및 심층 통찰

제공된 텍스트는 고수준의 아키텍처 개념(하이퍼테이블)에서 시작하여 물리적 저장 선택이 쿼리 성능으로 어떻게 전환되는지에 대한 매우 세밀하고 실용적인 시연으로 이동합니다.

### 설명의 강점:

* **실용적인 적용:** 이론적인 데이터베이스 개념을 넘어 특정 시스템(TimescaleDB)에서 이러한 개념이 *어떻게* 구현되는지를 보여줍니다.
* **정량화된 결과:** 구체적인 예시(특히 마지막 성능 비교)를 사용하여 추상적인 개념을 실질적으로 만질 수 있게 만듭니다.
* **실제 시나리오에 초점:** 시간 순서 데이터의 과제(높은 볼륨, 시간 기반 쿼리)를 직접적으로 다룹니다.

### 데이터베이스 설계자를 위한 핵심 시사점:

1. **분할이 핵심이다 (Segmentation is King):** 시간 순서 데이터의 경우, 데이터를 청크하고 분할하는 방식의 결정이 성능에 있어 가장 중요한 요소입니다.
2. **인덱스 대 저장소:** 인덱스는 중요하지만, 물리적 저장 레이아웃(분할)이 시스템이 읽어야 하는 데이터의 양을 결정하므로, 저장소 최적화가 가장 중요합니다.
3. **맥락의 중요성:** 성능 향상은 쿼리 패턴이 물리적 분할과 일치할 때 실현됩니다. 시간으로 쿼리한다면 시스템은 탁월한 성능을 발휘합니다.

### 다른 시스템과의 유사점:

이 논의는 **PostgreSQL의 파티셔닝**이나 전문 시간 순서 데이터베이스와 같은 시스템이 사용하는 원칙을 강력하게 반영하며, 효율적인 시간 순서 처리는 단순히 표준 B-트리 인덱스만으로는 충분하지 않으며, **시간 인식 물리적 조직**이 필요함을 강조합니다.

---

## 결론

제공된 텍스트는 TimescaleDB의 성능 메커니즘에 대한 훌륭하고 심층적인 기술 분석입니다. 이는 이론적인 데이터베이스 설계와 시간 순서 워크로드에 대한 실질적이고 측정 가능한 성능 결과 사이의 간극을 성공적으로 연결합니다. 이는 왜 전문화된 시간 순서 데이터베이스가 필요한지에 대한 강력한 근거를 제공합니다.

Typst 0.15.0

이 문서는 제공된 텍스트의 변경 사항과 정보를 상세히 요약한 것으로, 소프트웨어 프로젝트(LaTeX/Markdown과 유사한 기능의 맥락에서 문서 조판 또는 문서 생성 도구일 가능성이 높음)의 릴리스 노트 또는 변경 로그로 보입니다.

다음은 주요 주제와 구체적인 업데이트 사항입니다.

### 1. 파일 및 경로 처리
* **파일 경로:** 파일 경로에 대한 언급이 있으며, 이는 파일 참조 방식에 대한 변경 또는 명확화 사항을 시사합니다.

### 2. 핵심 기능 및 구문 변경
* **수학/표기법:** 텍스트는 수학 조판 또는 표기법 처리에 관련된 업데이트를 강력하게 암시합니다.

### 3. HTML/콘텐츠 렌더링 변경 (주요 초점)
가장 광범위한 섹션은 콘텐츠가 어떻게 렌더링되는지에 대한 변경 사항, 특히 HTML 및 문서 구조와 관련하여 자세히 설명합니다.
* **단락 그룹화 및 흐름:** 콘텐츠 흐름의 변경 사항, 특히 인라인 요소와 블록 요소 간의 상호 작용에 중점을 둡니다.
* **HTML 구조 및 의미론:** HTML 요소가 어떻게 해석되는지에 대한 업데이트, 특히 인라인 콘텐츠와 블록 콘텐츠 간의 상호 작용에 관한 내용입니다.
* **블록 대 인라인 콘텐츠:** 블록 요소(예: `<div>`)가 인라인 콘텐츠와 상호 작용하는 방식에 대한 상세 규칙입니다.
* **HTML 콘텐츠 흐름 규칙:** 중첩된 요소를 다룰 때 콘텐츠 흐름을 규정하는 특정 규칙입니다.

### 4. 파일 및 경로 처리 (재검토)
* **파일 경로:** 파일 경로에 대한 구체적인 언급은 파일 관리 또는 참조에 대한 변경 사항을 시사합니다.

### 5. 사용 중단 및 제거 (암시적)
명시적인 "제거" 목록은 아니지만, 상세한 변경 사항은 이전 방식이나 동작이 더 새롭고 강력한 방식(예: 번호 매기기, 파일 경로, HTML 구조와 관련된 변경 사항)으로 대체되고 있음을 암시합니다.

### 6. 버전 관리 및 마이그레이션
이 구조는 이 업데이트가 더 큰 버전 업데이트의 일부이며 사용자들을 새로운 표준으로 마이그레이션하는 데 중점을 두고 있음을 시사합니다.

### 주요 요약:

이번 릴리스는 **문서 구조, 수학 표기법, 그리고 HTML 렌더링 처리**를 개선하는 데 중점을 두며, 특히 인라인 콘텐츠와 블록 콘텐츠가 상호 작용하는 방식에 대해 보다 예측 가능하고 정확한 출력을 보장합니다. 또한 **파일 경로** 및 **언어/표기법 표준**과 관련된 특정 기술 업데이트도 포함되어 있습니다.

Nobody clicks your share buttons

웹사이트에 내장된 소셜 공유 버튼은 실제 사용자 클릭률이 매우 낮다는 연구 결과가 나왔습니다. 영국 정부의 연구와 모바일 세션 분석 결과, 페이지뷰나 모바일 사용자 중 소셜 공유 버튼을 클릭하는 비율은 평균 0.21% 내외로 매우 미미하며, 사용자들은 대신 URL을 복사하여 붙여넣거나 브라우저의 기본 공유 기능을 사용하는 경향이 있습니다. 이는 공유 버튼이 클릭을 유도하는 데 비효율적임을 시사하며, 사용자 경험(UX) 디자인 시 클릭 유도 대신 직접적인 링크 공유 방식을 고려해야 함을 의미합니다.

Launch HN: Drafted (YC P26) – Models for residential architecture

Drafted는 구조적 설계 제약 조건으로부터 주거 건축물을 생성하는 AI 모델을 훈련하여, 비용이 많이 들고 접근성이 낮은 주거 건축 과정을 혁신하고자 합니다. 이 모델은 사용자가 면적, 형태, 경계 등 간단한 입력만으로 완전한 평면도와 외관을 생성하고 2D/3D 탐색, 내부 꾸미기, 파일 내보내기까지 즉시 수행할 수 있게 하여, 누구나 자신에게 맞는 물리적 공간을 상상하고 만들 수 있도록 돕습니다.

20 years of Intel Macs: Why Apple switched, and why it switched again

Intel Mac 시대의 막이 내리는 과정에서, macOS 26의 출시가 Intel Mac 역사의 마지막 장이 될 것입니다. 마지막 몇몇 모델은 보안 및 Safari 업데이트를 2년 더 받을 수 있으며, Apple Silicon Mac에서 Intel 코드를 실행하는 Rosetta 호환성 계층의 일부 요소도 일정 기간 유지될 예정입니다. 이는 Intel Mac 생태계의 지원 종료 시점과 관련하여 개발자들이 알아야 할 중요한 맥락입니다.

Good news—we have extra time before the Sun ends life on Earth

장기적인 관점에서 지구 생명체의 생존 가능성에 대한 연구는 태양이 붉은 거성으로 진화하는 과정에서 생명체가 어떤 시기에 위치하게 될지를 다루며, 이는 단순히 방사선 문제 이상의 지질학적 메커니즘에 의해 결정된다는 점을 시사합니다.

지구의 생존은 태양의 열뿐만 아니라, 대기 중 이산화탄소(CO2)가 암석의 풍화 작용을 통해 탄산염으로 변환되어 해저로 가라앉고, 판 구조 운동을 통해 맨틀로 침강한 후 화산을 통해 다시 대기로 순환하는 지구 내부의 탄소 순환(weathering and the weather)에 크게 의존한다는 것이 핵심입니다.

TinyWind: A pixel pirate sailing game with real wind physics (380k+ kms sailed)

픽셀 해적 항해 게임인 TinyWind는 실제 바람 물리(real wind physics)를 구현하여 38만 킬로미터 이상을 항해할 수 있는 게임입니다. 이는 게임 디자인에서 물리 시뮬레이션을 적용하는 구체적인 사례를 보여주며, 개발자들에게 물리 기반 게임 구현에 대한 흥미로운 참고 자료가 될 수 있습니다.

Boot Naked Linux

이 글은 최소한의 사용자 공간 프로그램 로딩에 중점을 두고, 부팅 과정, 파티셔닝, 그리고 커스텀 운영체제 환경을 구축하는 과정을 깊이 있게 탐구하는 흥미로운 내용입니다.

다음은 텍스트에서 제시된 핵심 주제와 기술 개념에 대한 요약 및 분석입니다.

### 핵심 주제

1. **부팅 과정 및 초기화:** 전체 서사는 컴퓨터가 시작되는 방식, 즉 BIOS/부트로더 단계에서 시작하여 커스텀 환경을 로드하는 과정에 초점을 맞춥니다.
2. **최소화 및 사용자 정의:** 목표는 불필요한 복잡성을 제거하고 시스템을 처음부터 구축하여 전체 시스템에 대한 제어권을 강조하는 것입니다.
3. **하드웨어 상호작용:** 이 과정은 디스크 파티션을 직접 조작하고, 파일 시스템을 설정하며, 하드웨어 장치(예: 하드 드라이브)와 상호작용하는 것을 포함합니다.
4. **실행으로의 경로:** 궁극적인 목표는 새로 구축된 시스템에서 간단한 C 프로그램(Hello World에 해당)이 실행되도록 하는 것입니다.

### 주요 기술 개념 설명

* **부트로더/커널 (Bootloader/Kernel):** 과정은 부트로더가 커널을 로드하는 것으로 시작하며, 커널은 운영체제의 핵심입니다.
* **파티셔닝 및 파일 시스템:** 텍스트는 운영체제 파일과 프로그램을 담을 디스크 구조를 설정해야 함을 시사합니다.
* **프로그램 로드:** 마지막 단계는 컴파일된 실행 파일을 메모리에 로드하고 실행하는 것입니다.
* **하드웨어 접근 (I/O):** 예시는 시스템이 저장 장치와 상호작용하여 데이터를 읽고 쓰는 방식을 보여줍니다.

### 예제의 여정

텍스트는 부팅 가능한 환경을 생성하는 실질적인 단계를 독자에게 안내하며, 간단한 프로그램 실행으로 마무리합니다.

1. **환경 설정:** 필요한 파티션과 파일 시스템을 생성합니다.
2. **코드 작성:** 간단한 프로그램을 컴파일합니다.
3. **코드 실행:** 새로 생성된 환경에서 프로그램이 실행되도록 합니다.

### 전반적인 인상

이 글은 매우 기술적이고 실습 중심적인 튜토리얼이거나 운영체제를 만드는 철학에 대한 성찰처럼 읽힙니다. 이는 고수준 프로그래밍과 하드웨어 및 시스템 아키텍처의 저수준 현실 사이의 간극을 연결합니다. 추상적인 코드에서 구체적인 물리적 실행으로 나아가는 여정입니다.

Show HN: machine0 – Persistent NixOS VMs You Control from the CLI

machine0은 NixOS나 Ubuntu 기반의 영구적인 가상 머신(VM)을 CLI(Command Line Interface)를 통해 생성, 프로비저닝, 스냅샷 기능을 제공하는 서비스입니다.

이는 NixOS의 '코드로서의 OS' 및 Flakes를 활용하여 환경의 재현성(reproducibility)을 극대화하면서, VPS처럼 정적 IP와 리소스(vCPU, RAM, GPU)를 할당받아 웹 애플리케이션이나 자율 에이전트 구동 환경을 쉽게 구축하고 관리할 수 있게 해줍니다.

핵심은 개발 환경을 코드(Nix Flakes)로 정의하여 빌드와 환경 구성을 완벽하게 보장하며, 사용량에 따라 분 단위로 과금되는 유연한 인프라 제공 방식입니다.

Cybersecurity vets protest ‘dangerous’ US government ban on Anthropic’s most powerful models

다수의 사이버 보안 전문가 그룹이 Anthropic의 Fable 및 Mythos 모델에 대한 수출 통제 제한을 백악관에 해제해 줄 것을 촉구했습니다. 이들은 현재의 수출 통제 조치가 사이버 보안 방어자들이 소프트웨어와 제품을 안전하게 보호할 수 있는 능력을 제한할 것이라고 주장하며, AI 모델 접근성에 대한 보안적 맥락을 강조했습니다.

F1 in Spain: An old-fashioned strategy fight can still be thrilling

스페인에서 열린 F1 경기는 다운포스, 에너지 관리, 그리고 타이어 마모를 중심으로 한 전략 싸움이 흥미로웠습니다. 트랙의 특성상 타이어 마모 속도(랩당 0.2~0.3초)를 활용하는 언더컷 전략이 중요하며, 이는 피트 스톱 시간보다 더 큰 변수로 작용할 수 있습니다. 따라서 F1에서 에너지 관리와 타이어 상태를 최적화하는 것이 승패를 가르는 핵심 요소가 됩니다.

Iroh 1.0

Iroh 1.0은 IP 주소 대신 키(Key)를 기반으로 작동하는 새로운 인터넷 네트워킹 라이브러리이며, 이는 장치 위치에 관계없이 안전하고 효율적인 연결을 제공하는 근본적인 기술 변화를 목표로 합니다. 이 기술은 QUIC, NAT 통과, 로컬 우선 구성 등을 구현하여 연결 보안과 효율성을 극대화하며, Python, Node.js, Swift, Kotlin 등 다양한 언어 지원과 WASM 컴파일을 통해 개발자들이 애플리케이션에 쉽게 통합할 수 있도록 합니다.

* **무엇이 일어났는지:** Iroh의 첫 번째 안정 버전인 1.0이 출시되었으며, 이는 IP 주소가 아닌 키를 기반으로 하는 'Dial Keys, not IPs'라는 새로운 인터넷 아키텍처를 확립합니다.
* **왜 중요한지:** IP 주소의 불안정성 문제를 해결하고, 키를 통해 연결을 보안하며, 데이터 전송을 직접화(95% 데이터 직접 전송)하여 네트워크 효율성을 높이고, 다양한 장치에 안전하게 연결할 수 있는 기반을 제공합니다.
* **주의할 점 또는 맥락:** Iroh는 오픈 표준을 기반으로 하며, QUIC 멀티패스, NAT 통과 등을 구현했습니다. 1.0 버전은 안정성을 보장하지만, 향후 와이어 프로토콜 변경은 주요 릴리스와 동반될 것이며, 특정 마이너 버전(0.35x)에 대한 지원 종료 일정이 명시되어 있습니다.

How Many Elementary Particles Are There, Really?

**주요 주제:** 이 기사는 표준 모형(Standard Model)의 예를 사용하여 물리학에서 자유도의 근본적인 수를 결정하는 복잡성을 탐구하고, 이러한 자유도를 계산하는 것의 수학적 함의를 깊이 있게 다룹니다.

**논의된 핵심 개념:**

* **자유도 (Degrees of Freedom):** 핵심 개념은 물리 시스템을 기술하는 독립적인 변수가 몇 개인지에 관한 것입니다.
* **표준 모형 (The Standard Model):** 이는 기본 힘과 입자를 설명하는 입자 물리학의 표준 모형을 암시하는 맥락입니다.
* **수학적 계산:** 기사는 이러한 자유도를 세는 복잡한 수학적 과정을 다룹니다.
* **결과 (암시):** 논의는 표준 모형의 자유도와 관련된 특정하고 복잡한 결과로 이어집니다.

**심층 분석 (수학적 결론):**

본문의 후반부는 자유도와 관련된 매우 기술적인 계산에 초점을 맞춥니다.

* **계산 과정:** 텍스트는 필드(fields)의 수와 그에 따른 제약 조건(constraints)을 고려하여 자유도를 계산하는 방법을 상세히 설명합니다.
* **최종 수치:** 이 계산은 표준 모형의 구조에서 도출된 특정 수치로 이어집니다.

**전반적인 어조 및 결론:**

이 기사는 매우 학술적이고 기술적입니다. 일반적인 물리 개념에서 시작하여 매우 구체적이고 복잡한 수학적 결과로 나아갑니다. 이는 알려진 물리 법칙의 모든 자유도를 완전히 설명하는 데 필요한 어려움과 복잡성을 강조합니다.

Memory safety CVEs differ between Rust and C/C++

Rust와 C/C++ 간의 메모리 안전 CVE 차이는 Rust가 `unsafe` 키워드를 통해 메모리 안전성을 실질적으로 더 엄격하게 관리하는 방식에서 비롯됩니다. C/C++에서는 라이브러리 API의 계약(contract)이 불명확하여 사용자의 실수로 인해 잠재적 취약점이 많이 보고되지만, Rust에서는 안전한 코드 내에서 메모리 버그가 발생하면 라이브러리 자체의 결함(soundness bug)으로 간주되어 CVE 보고의 초점이 달라집니다.

이는 단순히 코드 라인 수로 CVE 수를 비교하는 것이 오해를 불러일으킬 수 있으며, Rust의 메모리 안전성이 실제 환경에서 어떻게 작동하는지를 이해하는 데 중요합니다.

Fox Is Buying Roku

Fox Corp이 Roku를 인수하는 TV 스트리밍 합병에 대한 기사입니다.

- **무엇이 일어났는지:** Fox Corp이 Roku를 인수하는 거래가 이루어졌습니다.
- **왜 중요한지:** 이 TV 스트리밍 합병으로 인해 관련 주식 가격이 하락했습니다.
- **주의할 점 또는 맥락:** 해당 기사는 TV 스트리밍 합병이 시장에 미치는 영향과 인수 거래의 결과를 다루고 있습니다. (구체적인 세부 내용은 원문 기사를 참조해야 합니다.)

Copper transport drug restores memory and clears toxic Alzheimer's proteins

구리 수송 약물이 기억을 회복시키고 독성 알츠하이머 단백질을 제거하는 효과를 보였다는 연구 결과가 발표되었다. 이는 알츠하이머병 치료 및 기억 회복에 있어 구리 기반의 새로운 치료 접근법이 가능함을 시사하며, 신경 질환 치료에 대한 새로운 연구 방향을 제시한다는 점에서 중요하다.

Ask HN: Has anyone replaced Claude/GPT with a local model for daily coding?

한두 문장으로 핵심 요약.

**무엇이 일어났는지**
사용자들이 일상적인 코딩 작업에 Claude나 GPT 대신 로컬 모델을 주된 도구로 완전히 대체하는 실험을 진행하고 있으며, 이에 대한 설정과 성능(예: tok/s)을 공유하고 있습니다.

**왜 중요한지**
로컬 모델 사용은 데이터 프라이버시와 비용 통제 측면에서 중요하지만, 실제 사용 시에는 모델의 성능, 추론 속도, 그리고 정렬(RLHF) 문제 등 기술적인 제약에 직면하고 있습니다.

**주의할 점 또는 맥락**
로컬 모델의 성능은 사용자의 하드웨어(VRAM, RAM)와 모델 크기에 크게 의존하며, 클라우드 모델 대비 추론 속도(tokens/s)가 낮을 수 있습니다. 또한, 모델의 행동을 사용자의 습관에 맞게 조정하는 과정(RLHF)에서 예측하기 어려운 행동이 나타날 수 있다는 우려가 제기됩니다.

SpaceX’s biggest-ever IPO just grew to $85.7 billion raised

SpaceX의 역사적인 IPO 자금 조달액이 $857억 달러로 증가했습니다. 이는 투자자들이 최대 주식 매입 옵션을 행사하면서 달성되었으며, 이 자금은 레거시 부채(X 및 xAI 관련)를 청산하고, AI 컴퓨팅 인프라 확장, 발사 인프라 개선, Starlink 향상에 사용될 계획입니다. 이 IPO를 통해 SpaceX는 2조 달러 이상의 기업 가치를 기록했으며, 일론 머스크는 세계 최초의 조 달러 자산가가 되었습니다.

Google Chrome update will close the door on ad blockers

Google Chrome이 확장 프로그램의 Manifest V3로의 전환을 마무리하면서, 기존의 Manifest V2 기반 확장 프로그램(광고 차단기 포함)을 허용했던 기술적 허점을 완전히 닫고 관련 기능을 제거할 예정입니다. 이는 보안 위험과 기술 부채를 이유로 MV2 확장 프로그램 지원을 중단하는 조치이며, Chrome 150 및 151 업데이트를 통해 관련 플래그들이 제거될 예정이므로, 개발자는 이 변경 사항에 따른 확장 프로그램 호환성 문제를 미리 점검해야 합니다.