오늘 한 일 코딩 봉사 이산수학 강의 과제 복습 내일 할 일 모각코 회의 계산이론 강의 이산수학 + 계산이론 예제 풀기 스위프트 강의 책 읽기 ------------------------------- 비형식적 증명 : 알만한 것들은 일일이 적지 않고 그냥 넘김. action : 증명할 수 없다. 참이라고 전제한다. 보조정리(lemma) : 다른 결과를 증명하는 데 도움이 되는 정리 계(corollary) : 증명된 정리로부터 직접적으로 귀결 가설(conjecture) 전칭한정사를 생략할 때가 종종 있다. 전칭예시화 : 정의역에 속하는 임의의 수 C가 참이면 참. P(C) -> Q(C) trivial : 결론이 참임이 자명 vacuos : 공허한 증명. 가정이 거짓. 모순에 의한 증명 : ㄱp -> q :..

와신상담에서 와신은 장작에 누워 잔다는 의미이고, 상담은 쓸개를 맛본다는 이야기이다. 둘 모두 복수를 이루기 위하여(목표를 이루기 위하여) 잊지 않고 노력한다는 의미이다. 여기서 부차와 구천이 와신상담한 것은 노력하기 위함이 아니라, 노력하기 위해 그 '계기를 잊지 않기 위해'가 더 맞는 말일 것이다. 현재 카네기 인간관계론이라는 책을 읽고 있다. 그런데 읽다 보면 뻔한 생각이라는 말이 든다. 다른 사람의 입장에서 생각해서 그 사람이 원하는 걸 해 주어라. 즉 니즈와 원츠를 잘 파악해서 행동하라. 이러한 말들이라는 생각이 든다. 그렇담 왜 우리는 그러한 것들을 이루지 못할까? 사실 행동하기 전에 한 번씩 생각하고 행동하면 될텐데. 나는 우리가 그렇게 행동하지 못하는 이유도 자꾸 잊어서라고 생각한다. 아무..

오늘 한 일 계산이론 강의 이산수학 강의 해커톤 예선 자료 끝 과제 봉사 자료 확인 복습 내일 할 일 봉사 준비 + 봉사 이산수학 강의 계산이론 강의 과제 복습 --------------------------------------------- 람다 : null String |w| : 스트링 w의 길이 uv에서 접두사 u 접미사 v xuy에서 부분 스트링 u 시그마* : closure. 시그마 기호를 0번 이상 연결하여 만든 스트링의 집합 시그마+ : 시그마 기호를 1번 이상 연결하여 만든 스트링의 집합. 언어 : 시그마의 클로저의 부분집합 G = (V, T, S, P) V = 변수 = N T = 단말 심벌. 객체들의 집합 = 시그마 S = V에 속함. 시작 변수 P = 생성 규칙 L(G1) = L(G2)..

오늘 할 일 이산수학 강의 계산이론 강의 자연어처리 공부 스위프트 강의 강의 내용 복습 (+과제) 파이썬 공부 해커톤 문서 작성 해커톤이랑 과제에 생각보다 시간을 많이 뺏겼다...

오늘 할 일 이산수학 강의 계산이론 강의 리액트 강의 자연어처리 공부 강의 내용 복습 자소서 확인 모각코 + 해커톤 모임 내일 할 일 이산수학 강의 계산이론 강의 자연어처리 공부 스위프트 강의 강의 내용 복습 (+과제) 파이썬 공부 해커톤 문서 작성 ------------------------------------------------------ 자연어 : 우리가 일상 생활에서 사용하는 언어. 자연어 처리 : 자연어의 의미를 분석, 컴퓨터가 처리할 수 있도록 하는 일. 젠심 : 머신 러닝을 사용하여 토픽 모델링, 자연어 처리 등을 수행해주는 오픈소스 라이브러리 NLTK : 자연어 처리를 위한 파이썬 패키지 KoNLPy : 한국어 자연어 처리를 위한 형태소 분석기 패키지 판다스의 데이터 구조 1. 시리즈 ..

오늘 할 일 : 계산이론 과제 oss 신청 swift 강의 파이썬 공부 내일 할 일 : 바텀업 모임 파이썬 공부 리액트 강의 병원 예약 ------------------------------------------------------------------------------------ 콜렉션 타입과 많이 사용 // for item in ites { // code // } var integers = {1, 2, 3} let people = {"yagom": 10, "eric": 15, "mike": 12} for integer in integers { print(integer) } // dictionary의 item 자리에 key와 value로 된 튜플로 들어감. for (name, age) in peo..