한국논리학회, 2026년 여름 정기학술대회 개최
‘AI와 논리: 수학에서의 증명 자동화’ 주제로 8월 18일 고등과학원에서 열려 한국논리학회가 오는 8월 18일 **「AI와 논리: 수학에서의 증명 자동화」**를…
김소월, 니 불
니 불 김소월 구룸이 기라 머리, 향그른 니불, 펴놋나니 오늘밤도, 그대 緣연하여 푸른 너츨 눈앞에 버더자는 니불, 송이송이 흰구술이…




![[기고문] 혹한기훈련 소감문](https://www.jheynetwork.co.kr/wp-content/uploads/2023/03/예비군-269x192.png)