Jonghun Choi / 최종훈
Independent Researcher · 2nd-Year Student at Inha Technical College
About the Research
I am an independent researcher and a second-year student at Inha Technical College, conducting a long-term research program on Structure Recognition — the study of how humans discover structure, assign meaning to it, and generate new research questions from what they observe.
My research began with a simple empirical observation: certain patterns in 4-variable Karnaugh maps — like the checkerboard formed by XOR/XNOR functions — feel visually distinct from other Boolean function patterns. That intuition evolved into a series of interconnected investigations into structural invariance, topological equivalence under variable permutations, and the cognitive mechanisms underlying mathematical insight.
Research Question: When the 65,536 functions are classified by axis-swap symmetry and gate generators, how many distinct equivalence classes result? This question bridges group theory and combinatorics. It was first explored in the archived Paper 6 (Boolean Function Space Theory) and is now treated in the current Paper 7, a standalone paper on the group-theoretic classification of 4-variable Boolean function spaces on Karnaugh maps.
Research Philosophy: Humans discover structure through visual and spatial intuition; AI expands the explanation space. The collaboration between human structural insight and AI's capacity for systematic combinatorial exploration is itself an object of rigorous study — not merely a convenience.
The Unified Research Program
Layers of archived early research notes (Papers 1–6) connect empirical observation to cognitive formalization and mathematical extension; the current work is the two standalone Papers 7 and 8.
Central Hub Documents
Root documentation, operational protocols, and formal definitions consolidating the research program.
program/, theory/, ai-workspace/ 하위 폴더 문서들이 아래 루트 파일들로 체계적으로 통합되었습니다.
SESSION_START.md
- AI 단일 진입점 (v5.4) — 프로그램 전체 구조 & AI 운영 원칙
- Active Queue & Repository Health (작업 현황 종합)
- Critical Workflow Rules & Program Architecture (B; Papers 1–6 archived, Papers 7–8 current)
- Session completion records (Sessions 45–49, 2026-06) and the 2026-10 update note
StructureRecognitionTheory_Unified.md
- Formal Definitions 3.1–3.3 (Structure · Attention · Explanatory Significance)
- H1–H10 Hypotheses — Research Generation + Concept Evolution
- Q1–Q15 Question Hierarchy (Level 0–8), OP-01–OP-09
HumanAICollaborationProposal_Outline.md
- Human-AI 협업 연구 제안서 개요
- 협업 모델 · 연구 질문 생성 구조 · 장기 프로그램 설계
Peer Repositories
KMap Structure Invariance
Structural invariance of Karnaugh map checkerboard patterns under geometric transformations.
Symmetric Boolean Functions
Hamming-weight layers and concentric ring structures in symmetric Boolean function patterns.
Rearrangement Invariance
Equivalence classes and symmetry preservation across input variable permutations.
Structure Recognition Theory
Meta-theoretical framework synthesizing Hypotheses H1–H10 on structure discovery and concept evolution.
Human-AI Collaboration
HARCT framework, distributed research memory, AI handover, and multi-session continuity.
Boolean Function Space Theory
Orbit classification of the affine, monotone and self-dual subspaces of the 4-variable Boolean functions, and gate universality.
Group-Theoretic Classification of Boolean Function Spaces
Classification of 4-variable Boolean function spaces on Karnaugh maps, readable without the earlier papers: variable-arrangement classes, S₄ orbits, and the signed permutation group B₄ (order 384).
Structural Thinking and Human-AI Collaboration
Framework proposal (SRT, HARCT), readable without the earlier papers, on human structural cognition and human-AI research, with a single-case study and educational implications.
Concept Genealogy
The sequence below records the actual developmental path of the research program — tracing discovery from intuition to formalization.