AI 코딩 시대, 왜 다시 '형식화 방법론'인가? (제인 스트리트의 통찰) | 스타트업스쿨