질문 → 모델 → 가설 → 실험 → 반례 → 수정
계산복잡도 이론의 핵심 문제인 P vs NP와 3-SAT 구조를 탐구한다.
가설을 세우고 작은 사례에서 계산 실험과 반례 탐색을 수행한다.
초냉각 액체에서 나타나는 relaxation slowdown과 유리 전이 현상을 탐구한다.
Rule 30 셀룰러 오토마톤의 중앙열 장기 거동을 탐구한다.
핵심 질문:
Rule 30의 중앙열은 항상 비주기적인가?
계산 실험과 패턴 분석을 통해 반복 구조와 반례 가능성을 조사한다.
일반적인 비주기성 증명을 완료했다고 주장하지 않는다.
미시적인 상호작용으로부터 거시적인 물리 현상이 어떻게 나타나는지 탐구한다.
미해결 문제를 작은 경우부터 계산하고 구조와 반례를 탐색한다.
QUESTION → MODEL → HYPOTHESIS → TEST → COUNTEREXAMPLE → REVISION
증명되지 않은 아이디어를 증명된 사실처럼 기록하지 않는다.
청소년의 온라인 대화를 더 정확하게 표현하도록 돕는 AI 커뮤니케이션 지원 서비스.
Python과 프로그래밍을 더 쉽게 배우고 사용할 수 있도록 실험하는 프로젝트.
Messenger Bot R 기반 자동화와 기능 구현을 실험하는 프로젝트.
프론트엔드부터 백엔드까지 직접 설계하고 구현한다.
연구 과정과 실험 기록을 하나의 아카이브로 관리한다.
시스템 구조와 취약점을 이해하고 방어 관점에서 보안을 연구한다.
FIND → UNDERSTAND → VERIFY → FIX
Developer · Researcher
직접 만들면서 이해한다.
당연하다고 생각되는 것에도 질문을 던진다.
반례와 실패를 통해 아이디어를 검증한다.
실패를 기록하고 다시 만든다.
P vs NP · Glass Transition · Rule 30 · Statistical Physics