MLt: 항등원 없는 단조 논리
MLt: 항등원 없는 단조 논리 MLt: An identity-less monotone logic 가장 기본적인 준구조 논리 GL은 잔여 항등원을 갖는…
상식모음
장기상비예비군, 내 아이와 함께한 부대개방행사
훈련이 끝나고, 부대개방행사가 다가왔다. 올해는 딸과 함께 오고 싶어서 보안심의를 올렸는데, 다행히 통과되었다. 당일날, 딸과 함께 통과하는 위병소는 뭔가…
부사관 호국영웅
