Z세대 문과생에서 소프트웨어 엔지니어가 되기까지, 챗GPT와 함께한 작지만 특별한 100일의 기록 인스타그램을 보던 중 우연히 광고에서 이 책을 보게 되었다. 인문대생으로 코딩을 배우며 GPT와 함께 살아가고 있는 나는 이 제목을 그냥 지나칠 수 없었다. 따라서 망설임 없이 서평단에 지원했고, 운 좋게 선정되어 가제본 도서를 받아보게 되었다. 책은 대학생활을 흘러가듯 하던 주인공이 수업을 통해 우연히 ChatGPT를 활용하게 되는 이야기로 시작된다. 수업 과제를 수행하기 위해 ChatGPT에게 파이썬 코드를 요청했던 주인공은 순식간에 결과물이 완성되는 모습에 놀라게 된다. 이를 계기로 과거에 접했던 오셀로 게임을 직접 만들어 보고자 ChatGPT의 도움을 받게 되고, 그 과정에서 흥미를 느껴 본격적인 ..

전제(presupposition)하나의 문장이 의미적 정당성(진리치)을 갖기 위하여, 이미 참임을 보장된 다른 명제 ex) p: 영서가 창수와 결혼한 것을 후회한다.ex) q: 영서가 창수와 결혼했다.p는 단언으로, 참일 수도 거짓일 수도 있다. 그러나 p의 진리치를 결정하기 위해 q가 참임이 보장되어야 한다p는 q를 전제(presuppose)하고, q는 p의 전제(presupposition)이다.전제하는 문장은 진리치(T or F)만 가지면 된다. 전제인 문장만 T면 된다.부정을 붙여도 전제는 유지가 된다. (취소 x) 전제의 진리표p qT->TF->T T V FT?(T V F)F전제가 거짓이라면, 전제하는 문장은 진리치를 따질 수 없다.전제의 생성 전제 유발 표현(presupposition trigg..

명제(proposition)문장이 세상에 대해 말하는 것을 참/거짓으로 지정자연언어에서 명제는 진술문(statement), 평서문(declarative sentence)참/거짓을 따질 수 있는 진리치를 지닌다.진리치를 결정하기 위해서는문장의 의미를 알아야 한다실제 세계의 상황과 대응해봐야 한다. 진리조건(truth-condition)문장(명제)의 진리치가 참이 될 수 있는 조건ex) "It is raining"true: 실제 비가 옴false: 실제 비가 오지 않음 함의(entailment)어떤 문장의 의미 속에 포함된 다른 의미 ex) p: 철수가 유리창을 깨뜨렸다 / q: 유리창이 깨졌다.어떤 사람이 p를 말하고 그것을 우리가 사실로 믿는다면 말을 하지 않아도 q가 사실임을 알 수 있다.p가 참이면..

문장의 구조와 의미문장성분: 문장을 구성하는 요소들주성분(필수성분): 문장구성에 필수적으로 참여하는 성분주어, 서술어, 목적어, 보어 : 논항 구성 요소부속성분(수의적 성분): 주성분에 딸린 성분관형어, 부사어독립성분: 다른 말에 부속되지 않고 단독으로 쓰이는 성분 서술어(predicate)어휘적 특성에 따라 필수적 성분의 수가 달라진다ex) 꽃이 피었다(1항 술어), 철수가 책을 샀다(2항 술어), 김박사는 철수를 사위로 삼았다(3항 술어)서술어의 선택 제약: 서술어로 쓰이는 동사와 명사가 특정한 종류의 명사 논항을 취하는 것선택제약: 선택 자질에 의해 특정한 단어를 결합하는 현상ex) 개 가 짖는다. 논항과 의미역논항(argument): 서술어가 요구하는 필수적 성분 / 통사적 개념서술어의 자릿 수 ..

언어변화시간이 지남에 따라 언어의 형태나 내용이 바뀌어 달라지는 현상. 음운, 어휘, 문법, 의미 등 모든 부분에서 일어남 의미 변화어떤 말의 중심의미가 새로 생겨난 다른 의미와 함께 사용되다가 다른 의미로 바뀌는 현상 A에서의 B로의 의미변화, 의미 A, B가 공존하는 과도기가 존재(다의어)즉 중심의미 A가 다의관계에 있는 A와 B의 중간단계를 거쳐 B로 바뀌는 현상 의미변화의 원인 1. 언어적 원인음운, 단어의 형태, 문장의 구조와 같은 언어적 요소에 기인하는 의미변화의 원인 전염(감염): A에 B의 의미가 전이되는 현상ex) 별로(긍/부정) + 부정 의미의 술어 -> 별로(부정)#이 커피숍의 커피 맛이 별로 좋구나생략: 병렬 구조속의 단어 A가 생략되어도 남은 단어 B에 생략된 A의 의미가 전이ex..

1. infer란?페이스북에서 개발한 정적 분석기로, Java, ObjC/C/C++ 등의 언어 분석을 지원한다. 정적 분석기인만큼 프로그램을 실행하지 않고 소스 코드를 분석하여 오류를 탐지한다. infer는 구조적으로 앞단과 뒷단으로 구성된다. 앞단에서는 분석 대상 프로그램을 infer가 이해할 수 있는 중간 언어인 SIL 또는 HIL로 변환하고, 뒷단에서는 변환된 코드를 기반으로 다양한 체커들이 오류를 탐지한다. 이때 체커는 infer 내부에서 특정 오류를 탐지하기 위해 설계된 독립적인 분석 모듈로, 각각 고유한 분석 기법을 사용하여 변환된 프로그램을 분석하는 역할을 한다. 자바 코드에서 널 포인터 접근을 방지하는 Nullsafe, 멀티스레드 환경에서 발생할 수 있는 레이스 컨디션을 분석하는 Racer..