한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과307건

검색 결과 제목

  1. 41인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?
  2. 42프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?
  3. 43A팀은 12건, B팀은 18건—건수만 보고 더 잘했다고 써도 될까?
  4. 44실험 키트가 세 개뿐인데 여섯 모둠을 멈추지 않고 돌리려면?
  5. 45내용을 잘 알아도 질문 속 틀린 이름을 놓칠 수 있을까?
초안에서 원칙 비판과 수정으로 이어지는 지도학습 단계, 응답 비교에서 선호모형과 강화학습으로 이어지는 단계를 나눈 절차도.

인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

초안에서 원칙 비판과 수정으로 이어지는 지도학습 단계, 응답 비교에서 선호모형과 강화학습으로 이어지는 단계를 나눈 절차도.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

Constitutional AI 공개본의 비판·수정과 AI 피드백 강화학습 절차를 구분하고, 원칙 선택과 평가의 남은 한계를 살핍니다.

Constitutional AI: Harmlessness from AI Feedback

게시 2026-09-23 · 약 10분해외 논리학 연구 해설 읽기 →
전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

Reynolds의 분리논리 해설을 따라 분리곱과 프레임 규칙이 서로 겹치지 않는 힙 영역에 대한 국소 추론을 어떻게 가능하게 하는지 살핍니다.

Separation Logic: A Logic for Shared Mutable Data Structures

게시 2026-09-23 · 약 10분해외 논리학 연구 해설 읽기 →
쓰기Principles of Epidemiology, Lesson 3 Section 1: Frequency Measures논리학 배우기
인간의 사고와 추론논리학 배우기 · 쓰기 · 일반

A팀은 12건, B팀은 18건—건수만 보고 더 잘했다고 써도 될까?

서로 다른 전체 건수에서 완료 건수와 완료 비율을 함께 계산하고, 분모를 숨긴 비교문을 범위가 드러나는 문장으로 고칩니다.

Principles of Epidemiology, Lesson 3 Section 1: Frequency Measures

게시 2026-09-23 · 약 30분논리학 학습 글 읽기 →
익숙한 질문이 전체 의미 경로와 이름 검증 경로로 갈라지고, 이름 검증을 생략하면 잘못된 인물을 놓치는 흐름도.

내용을 잘 알아도 질문 속 틀린 이름을 놓칠 수 있을까?

익숙한 질문이 전체 의미 경로와 이름 검증 경로로 갈라지고, 이름 검증을 생략하면 잘못된 인물을 놓치는 흐름도.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

내용을 잘 알아도 질문 속 틀린 이름을 놓칠 수 있을까?

모세 착각 연구는 익숙한 질문의 전체 뜻을 빠르게 파악할 때, 저장 지식과 어긋나는 단어 하나를 발견하지 못할 수 있음을 보여 줍니다.

Locus of the Moses Illusion: Imperfect Encoding, Retrieval, or Match?

게시 2026-09-22 · 약 9분해외 논리학 연구 해설 읽기 →

41–45 / 307편