Justin Kim

이전 글에서 C 언어의 메모리 관리 문제와 GLib의 자동 정리 매크로를 통한 해법을 다루었습니다. 그때의 결론은 “우리는 답을 찾을 것이다. 늘 그랬듯이.”였죠. 그로부터 2년이 지난 지금, 코드를 작성하는 방식 자체가 달라지고 있습니다. AI 코딩 어시스턴트가 일상의 도구가 된 시대에, 한 가지 질문이 떠올랐습니다: C가 그렇게 위험할까? Claude Code와 함께 코딩한다면,...

지난 글 Askitect를 위한 청사진: RDF로 대화 모델링하기에서 저는 LLM과 지식 그래프를 결합한 뉴로-심볼릭 대화 아키텍처의 설계도를 그려보았습니다. 사용자의 자연어를 RDF 트리플로 변환하고, 심볼릭 엔진이 누락된 정보를 감지하며, 다시 LLM이 자연스러운 질문을 생성하는 순환 루프였습니다. 설계는 제시했지만 구현체는 제시하지 못하고 있었죠. “실제로 동작하는가?”라는 질문에 답하기 위해, 이번 글을 작성하게 되었습니다....

최근 제가 주저자로 작성한 논문 “Intent-Driven UAM Scheduling: An Explainable Hybrid AI Framework”가 국제 학술지인 Aerospace에 게재 승인(Accept)되었습니다. (물론 저는 이미 UAM 분야를 떠난 지 오래되었습니다만, 기록 차원에서 정리해 둡니다.) UAM(도심 항공 모빌리티) 환경에서 수많은 기체의 운항을 조율하는 스케줄링(Scheduling) 과정은 안전과 효율을 결정짓는 핵심적인 요소입니다. 본 연구는 복잡한 도심 환경...

최근 인공지능(AI) 뉴스는 온통 딥러닝(Deep Learning)과 거대언어모델(LLM)에 대한 이야기로 가득합니다. 마치 딥러닝이 AI의 전부인 것처럼 느껴지기도 하죠. 하지만 AI의 역사를 거슬러 올라가면, 딥러닝과는 전혀 다른 철학을 가진 거대한 산맥을 만나게 됩니다. 바로 기호주의(Symbolism), 혹은 고전적 AI(GOFAI: Good Old-Fashioned AI)입니다. AI가 점점 더 강력해질수록, 역설적으로 우리는 다시 이 ‘오래된 미래’인 기호주의를...

논리 프로그래밍(Logic Programming)이라는 거대한 숲에 들어서면, 우리는 종종 유사한 형태를 지닌 두 가지 거목을 마주하게 됩니다. 바로 Datalog와 ASP(Answer Set Programming)입니다. 둘은 모두 Prolog라는 공통된 조상에서 파생되었고, 겉보기에는 문법도 매우 유사합니다. 사실상 Datalog 프로그램은 유효한 ASP 프로그램이기도 하기 때문입니다. 이 때문에 처음 접하는 사람들은 “과연 무엇이 다른가?” 혹은 “ASP가 Datalog의...