Lee Sihoo

Lee Sihoo

KSA of KAIST
KSA 25th batch. Loves coding, cats, and coffee.
폭발은 예술이다(Principle of Explosion)

폭발은 예술이다(Principle of Explosion)

Introduction 수학의 기반은 공리계이다. 기원전 300년 경, 유클리드의 『원론』에서는 기하학의 기초가 되는 5개의 공리와 5개의 공준을 정립하였다. 여기서 잠깐, 공리를 증명하려는 시도는 하지 말자. 공리는 수학의 베이스가 되는, 증명 없이 참으로 받아들이는 것들을 말하기 때문이다. 근데, 만약 공리가 허술해서 모순이 발생하게 되면 무슨 일이 일어날까? 대참사가 일어난다. 오늘은 만약
Lee Sihoo
CS - 뫼비우스 함수

CS - 뫼비우스 함수

Introduction 혹시 궁금해하는 사람을 위해 미리 말해두지만, 이 뫼비우스가 아니다. 이분이다. 이름 자체는 수학 함수의 대부분이 그렇듯이 만든 사람 이름 따온 별거 아닌 것 같지만, 그 효과만큼은 대단하다. 오늘은 뫼비우스 함수, 그리고 그것을 확장한 뫼비우스 반전 공식을 살펴보자. Before We Begin.. 시작하기 전에, 함수들이 어떻게 생겼는지 정도만 알아보고 가자. 뫼비우스
Lee Sihoo
Pollard's Rho Algorithm

Pollard's Rho Algorithm

❗이 글에는 Miller-Rabin 소수판별법에 대한 선행 지식이 필요합니다. 혹 이에 대해 잘 모르는 독자들은 임한결 작가의 Miller-Rabin 소수판별법에 관한 글을 읽어보는 것을 추천합니다. Introduction 소인수분해. 개념만 들어서는 중학교 1학년때 잠시 배우고 지나간, 굳이 수학의 길로 들어서지 않는다면 영원히 모르고 살아도 될 것 같은 느낌이 드는 개념이다. 혹여나 이런 생각을 하는
Lee Sihoo
2025 KSASF

2025 KSASF

Intro 2025 KSASF가 7월 첫째 주 동안 진행되었다. 도우미는 그 전 주부터 열심히(?) 준비했다. 이번 글에서는 그 2주간의 여정을 간략히 요약하고자 한다. KSASF에는 정말 많은 부서가 참여하고, 각 부서만의 특별한 일정과 과제들이 있었으므로 참가한 각 사람의 의견을 최대한 담고자 노력하였다. -7일차 6.23 (월) 임한결 어제 한과영 도착. 오늘 까지는
Lim Hangyeol, Lee Sihoo, Na Gian, Rieh Woojin