How to Speak

이 과정은 보안 컴퓨터 시스템의 설계 및 구현에 중점을 두며, 다양한 위협 모델과 보안 기술을 탐구합니다. 학습자는 최근 연구 논문의 통찰력을 바탕으로 운영 체제 보안, 네트워크 프로토콜, 하드웨어 보안과 같은 주제를 다루게 됩니다.

이 과정은 컴퓨터 과학에서 데이터 구조의 근본적인 역할을 탐구하며, 효율적인 알고리즘 개발에 있어 데이터 구조의 중요성을 강조합니다. 학습자들은 동적 그래프, 메모리 계층 구조, 해싱을 포함한 심화 주제를 공부하는 동시에, 해당 분야의 최신 연구 방향을 접하게 됩니다.

이 과정은 컴파일러 설계와 최적화 기법에 초점을 맞추어 고급 프로그래밍 언어 구현의 복잡한 세부 사항을 깊이 있게 다룹니다. 학습자들은 Java®를 사용하여 MIPS 실행 머신 코드를 생성하는 컴파일러를 직접 구축하는 실습 프로젝트에 참여하게 됩니다.

이 과정은 고전적 접근 방식과 현대적 접근 방식 모두에 초점을 맞춘 시스템 엔지니어링에 대한 포괄적인 입문을 제공합니다. 학습자는 이해관계자 분석, 요구사항 정의, 시스템 아키텍처 및 설계 최적화와 같은 핵심 개념을 탐구하고 이러한 원칙을 실제 프로젝트에 적용하게 됩니다.

이 과정은 포커 이론의 복잡성과 투자 관리 및 트레이딩에서의 포커 분석 활용법을 탐구합니다. 학습자들은 포커와 금융 환경 모두에 대한 이해를 높일 수 있는 의사결정 프레임워크와 전략을 심도 있게 다루게 됩니다.

이 과정은 특정 문제들을 효율적으로 해결할 수 없음을 증명하는 실무적인 측면을 탐구하며, 다양한 복잡도 클래스에 걸쳐 계산적 난해함을 입증하기 위한 환원(reduction)과 기법들에 초점을 맞춥니다. 학습자들은 흥미로운 문제들을 접하며 알고리즘적 한계에 대한 깊은 이해를 기르게 됩니다.

이 과정은 대화형 증명(interactive proofs), 다중 증명자 대화형 증명(multi-prover interactive proofs), 그리고 확률적으로 검사 가능한 증명(probabilistically checkable proofs)에 초점을 맞추어 컴퓨터 과학에서 증명의 진화를 탐구합니다. 학습자들은 암호학을 활용하여 이러한 고급 증명 시스템을 계산적으로 건전한 비대화형 인수(SNARGs)로 변환하는 방법을 배우게 됩니다.

이 과정은 이론과 응용을 모두 포함하여 딥러닝의 기초를 다룹니다. 주제에는 신경망 구조(MLP, CNN, RNN, 그래프 신경망, 트랜스포머), 딥러닝의 기하학 및 불변성, 오차 역전파 및 자동 미분, 고차원에서의 학습 이론 및 일반화, 그리고 컴퓨터 비전, 자연어 처리, 로보틱스에 대한 응용이 포함됩니다.

이 과정은 핵심 개념과 그 상호 연결성에 초점을 맞춘 선형대수학 교육의 혁신적인 접근 방식을 제시합니다. 학습자는 매력적인 영상 콘텐츠를 통해 기초 주제를 탐구하고 선형대수학의 구조와 응용에 대한 통찰력을 얻을 수 있습니다.

이 과정은 계산 문제의 수학적 모델링과 이를 해결하기 위해 사용되는 일반적인 알고리즘, 알고리즘 패러다임 및 데이터 구조를 소개합니다. 알고리즘과 프로그래밍 간의 관계를 강조하며, 기본 성능 측정 및 분석 기법을 소개합니다.

이 과정은 과학 및 공학을 위한 기초 이산수학을 다루며, 컴퓨터 과학에 유용한 수학적 도구와 증명 기법에 초점을 맞춥니다. 학습자는 논리 기호, 집합, 관계, 그래프 이론, 상태 머신 및 알고리즘과 같은 주제를 탐구하게 됩니다.

이 과정은 비정형 데이터를 포함하는 복잡한 문제를 해결하기 위한 실용적인 모델 구축에 초점을 맞추어, 딥러닝을 빠르게 학습할 수 있도록 안내합니다. 학습자들은 심층 신경망, 합성곱 신경망, 트랜스포머, 그리고 ChatGPT 및 Midjourney와 같은 생성형 모델을 탐구하게 됩니다.

이 과정은 그래프 이론과 가법 조합론의 고전적 및 현대적 발전을 다루며, 두 주제를 연결하는 주제와 테마에 중점을 둡니다. 또한 현재 연구 주제와 미해결 문제에 대한 소개도 포함됩니다.

이 과정은 행렬 미적분학의 필수 개념을 깊이 있게 다루며, 머신러닝 및 대규모 최적화에서의 응용에 초점을 맞춥니다. 학습자는 행렬의 도함수와 그 분해를 이해하고 계산하는 기술을 탐구하여, 현대 컴퓨팅의 복잡한 수학적 연산을 해결하는 능력을 향상시킬 수 있습니다.

이 과정은 계산 가능성과 계산 복잡성 이론에 중점을 두고 있습니다. 학습자는 정규 언어, 문맥 자유 언어, 결정 가능 및 비결정 가능 문제, 재귀 함수 이론 등을 다루게 됩니다.

이 과정은 컴퓨터 과학과 공학을 위한 기초 이산 수학을 다룹니다. 수학적 정의와 증명, 그리고 적용 가능한 방법에 중점을 두며, 논리 기호, 증명 방법, 집합, 관계, 그래프 이론 등 다양한 주제를 학습합니다.

이 과정은 비디지털 게임의 설계 및 분석에 대한 실질적인 교육을 제공합니다. 학생들은 스포츠, 게임 쇼, 확률 게임, 카드 게임, 골목 게임, 보드 게임, 롤플레잉 게임 등 다양한 장르에 걸쳐 게임 디자인을 분석하고 비교하기 위한 텍스트, 도구, 참고 자료 및 역사적 맥락을 다룹니다.

이 과정은 조합론과 이론 컴퓨터 과학의 근본적이고 강력한 기법인 확률론적 방법론에 대한 대학원 수준의 입문 과정입니다. 학습자들은 조합론적 대상의 존재를 증명하는 방법과 양의 확률을 가진 무작위 구조를 검증하는 방법을 탐구하게 됩니다.

이 수업은 인간 언어의 본질에 관한 기초적인 질문들에 대한 해답을 제공합니다. 학습자들은 과정을 통해 인간의 언어가 복잡하면서도 규칙에 의해 지배되는 정신 체계로서 어떻게 기능하는지 살펴보고, 언어 습득, 역사적 언어 변화, 언어 멸종 위기와 같은 주제들을 탐구하게 됩니다.

이 과정은 시장 기회를 식별하고 정량화한 후, 기술 기반의 새로운 기업을 구상, 계획 및 창업하는 과정을 다룹니다. 학생들은 스타트업을 위한 상세한 사업 계획서를 작성합니다.

이 과정은 예술과 사회적 책임의 교차점을 탐구하며, 의도적인 균열이 어떻게 억압의 체제에 도전할 수 있는지에 초점을 맞춥니다. 학습자들은 창의적 실천과 교육적 전략을 통해 자원 접근성 및 글로벌 물 위기와 같은 비판적 문제들에 참여하게 됩니다.

이 과정은 도널드 쇤(Donald Schön)이 개발한 성찰적 실천(Reflective Practice) 접근법을 소개하며, 전문가들이 자신의 지식을 실제 상황과 효과적으로 결합하는 방법에 초점을 맞춥니다. 학습자들은 인지적 자원을 강화하고 전문적 실무를 개선하기 위해 학습 및 혁신 이론을 탐구하게 됩니다.