본문 바로가기

전체 글

 (351)
[SWEA] D4. 준환이의 양팔저울 https://swexpertacademy.com/main/code/problem/problemDetail.do?contestProbId=AWAe7XSKfUUDFAUw&categoryId=AWAe7XSKfUUDFAUw&categoryType=CODE SW Expert Academy SW 프로그래밍 역량 강화에 도움이 되는 다양한 학습 컨텐츠를 확인하세요! swexpertacademy.com 1. 해결방법 완전 탐색 DFS로 해결해야하는 것은 금방 눈치챘다. 무게 추가 순서에 맞게 가지는 경우를 리스트로 구하고, 왼쪽과 오른쪽 무게 추를 비교해서 나온 경우의 수를 answer에 +1한다. 하지만, 최대한의 가지치기를 했음에도 21게 테스트 중에 고작 1개의 케이스에서 시간초과가 걸렸다. 순열 부분을 per..
[SWEA] Computational Thinking 논리와 증명 / 수와 표현 문제풀이 (3) - 귀류법 1. 귀류법 https://ko.wikipedia.org/wiki/%EA%B7%80%EB%A5%98%EB%B2%95 귀류법 - 위키백과, 우리 모두의 백과사전 위키백과, 우리 모두의 백과사전. ko.wikipedia.org 귀류법 : 명제의 부정이 맞다고 가정해서 명제가 모순임을 보이는 방법. 2. 문제 문제 15 : 유리수와 무리수의 합은 무리수임을 증명하라 어떤 유리수 a와 무리수 b의 합이 유리수 c가 된다고 가정한다 a+b = c, b = c-a인데 c-a는 유리수의 성질에 의해 유리수여야 하지만 이는 가정에 모순된다 따라서 유리수와 무리수의 합은 무리수이다 문제 16 : √2 ​는 무리수임을 증명하라 2​가 유리수라 가정하고 이를 기약분수로 나타내면 b/a이고 a와 b는 서로소이고 a는 0이 아..
[SWEA] Computational Thinking 논리와 증명/수와 표현 문제 (2) 문장 뿐만 아니라 수를 이용해서 명제를 증명할 수도 있다. https://ko.wikipedia.org/wiki/%EC%88%98%ED%95%99_%EA%B8%B0%ED%98%B8 수학 기호 - 위키백과, 우리 모두의 백과사전 위키백과, 우리 모두의 백과사전. 수학 기호(數學記號)는 수학에서 쓰는 기호이며 수, 계산, 논리 등 수학의 개념을 간결하게 표현하기 위해 사용한다. 흔히 사용하는 기호로 사칙연산의 + (더하 ko.wikipedia.org ∀ : 모든 것에 대하여(모든 수가 만족한다) ∃ : 존재한다(만족하는 어떤 것이 있다) 1. 문제 문제에 들어가기 앞서 위의 수학 기호를 이해하고 있어야 하고, 주어진 명제를 증명하기 굉장히 까다롭다고 느낀다면 서슴없이 대우를 통해 그 명제를 증명해내야 한다...
[SWEA] Computational Thinking 논리와 증명/수와 표현 문제 (1) 1. 명제식 번호이름공식 1 항등 법칙 p∧T = p , p∨F = p 2 지배 법칙 p∨T = T , p∧F = F 3 멱등 법칙 p∨p = p , p∧p = p 4 이중 부정 법칙 ~(~p) = p 5 교환 법칙 p∧q = q∧p , p∨q = q∨p 6 결합 법칙 (p∨q)∨r = p∨(q∨r) 7 분배 법칙 p∨(q∧r) = (p∨q)∧(p∨r) 8 드 모르간의 법칙 ~(p∨q) = ~p∧~q 9 흡수 법칙 p∨(p∧q) = p , p∧(p∨q) = p 10 부정 법칙 p∨~p = T , p∧~p = F 2. 문제 문제 1 : 다음 명제들이 항진명제라는 것을 진리표를 이용해서 보이시오 (~p∨q)∨(p∧~q) -> 항진명제 문제 2 : 다음 명제들이 모순명제라는 것을 진리표를 이용해서 보이시오 (..
[SWEA] SWEA Computational Thinking 프로그래밍과 논리/수학 https://swexpertacademy.com/main/learn/course/subjectDetail.do?courseId=AVuPCwCKAAPw5UW6&subjectId=AV1lGbkqAAQCFAb_ SW Expert Academy SW 프로그래밍 역량 강화에 도움이 되는 다양한 학습 컨텐츠를 확인하세요! swexpertacademy.com 프로그래머가 기본으로 가지고 있어야 할 논리와 수학적인 생각을 공부한 내용을 정리한 글이다. 프로그래머는 어떤 문제를 하드 논리적으로 해결할 수 있어야 하며, 해결하기 어렵기에 논리적으로 해결하는 연습을 해야한다. 문제 1. 다음을 명제식으로 쓰고 참인지 거짓인지 판단하시오. 1번. 만약 0이 홀수라면, 미국에서 2080년 월드컵이 열린다. 가정이 거짓(F)이..
[Java] int와 Integer는 뭐가 다를까? 최근에 자바를 공부하고 있는데, 공부하면서 이상한 점을 발견했다. 파이썬에서는 고민조차 안했던 건데;;; int와 Integer는 대체 무슨 차이일까? 자바 코드 아키텍처도 살짝 다르게 작성하던데 왜 굳이 저거처럼 다르게 쓸까? 의미는 똑같아 보이는데;; 1. int 먼저, Int는 Primitive 자료형이다. 즉, 변수의 타입(data type) 이다. Primitive - 데이터를 가지는 자료형을 뜻하는 원시적이 자료형. - 메소드를 가지지 못한다. 앞서 변수의 타입으로 표현하였는데. 변수는 값을 저장할 수 있는 메모리 상의 공간을 의미한다. int a = 3; char firstName = "H"; 에서 a나 firstName은 변수가 되는 것이다. 그리고 그 앞에 적힌 int나 char가 변수의..
[SSAFY] 츄르 먹으면서 적는 싸피 9기 전공자 합격 후기 1. 9기 모집 일정 2022. 10. 24 ~ 2022. 11. 07 : 싸피 9기 에세이 접수 2022. 11. 20 : 전공자 코딩테스트 2022. 11. 29 (15:00) : 전공자 코딩테스트 결과 발표 2022. 12. 12(월) ~ 2022. 12. 16(금) : 인터뷰 기간 2022. 12. 22 (목) : 인터뷰 결과 발표 2. 스펙 정말 보잘 것 없습니다. ㅠㅠㅠ 그나마 어필할 수 있는게 프로젝트 경험으로 밀고 나가는 것 밖에 없네요 3. 에세이 향후 어떤 SW 개발자로 성장하고 싶은지 SW 관련 경험을 토대로 기술하고, SSAFY에 지원하신 동기에 대해서도 작성 바랍니다. - SW 관련 경험 : SW 개발, SW 프로젝트 및 SW 경진대회 경험(참여, 수상 등), IT 관련 자격증 취..
[ELK] Elasticsearch nori 형태소 분석기의 stoptags 한글 품사 0. 문제점 앞의 글에서 버킷 집계에 대하여 정리하였다. 하지만 인덱스를 생성하는 세팅에서 문제점을 발견했다. 짜잘한건 냅두고 가장 큰 문제점은 한글 형태소 분석기의 품사 태크를 설정하지 않아서 아래처럼 문장이 이상하게 분리되었다. "aggregations" : { "term_aggs" : { "doc_count_error_upper_bound" : 0, "sum_other_doc_count" : 0, "buckets" : [ { "key" : "ᄇ니다", "doc_count" : 1 }, { "key" : "가", "doc_count" : 1 }, { "key" : "애국", "doc_count" : 1 }, { "key" : "이", "doc_count" : 1 } ] } } 1. stoptags 품..

티스토리툴바