PL 분야의 전문 지식을 알기 쉽게 그림으로 나타낸 작품을 전시하는 미술관입니다.
KAIST의 프로그램 논증과 프로그램 분석 수강생들은 2022년부터 인공지능 (DALL-E)을 이용하여 수업시간에 배운 개념을 그림으로 표현하고 있습니다. 복잡한 개념을 수학 기호 하나 쓰지 않고 어떻게 아름다운 그림으로 표현했을까요? 아래 링크에서 감상하실 수 있습니다.
각 년도별 수상작들은 아래에서 볼 수 있습니다. 학생들이 제출한 설명을 강의 담당 교수가 풀어 쓴 해설도 덧붙였습니다. 그림을 클릭하면 해당 학생이 제출한 원본을 볼 수 있습니다.
멀리서 소녀를 따스하게 비추는 별.
언제 끝날지 모르는 불확실한 삶,
그동안 변함 없이 소녀를 비추는 별.
종료 여부를 완벽히 판단할 수 없는 프로그램,
실행되는 동안 변함없이 참인 식.
별밤을 거니는 로보트와
물에 비친 그 모습.
푸른별 아래 붉은 별,
그 아래 로보트.
푸른 물결 아래 붉은 물결,
그 아래 물귀신.
실제 세상의 순서를 비추는
요약 세상의 순서.
요약 세상의 순서로 엿보는
실제 세상의 순서.