연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
나무가 언제 쓰러질지 모를 때 look·chop·store 행동을 반복 계획으로 묶습니다. 실제 F=3 실행 기록부터 N₁ 생성·N₂ 시험, 단순한 문제 조건과 N+2 정리의 적용 범위까지 살펴봅니다.
Hector J. Levesque, Planning with Loops (2005)
프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.
Amir Pnueli, The Temporal Logic of Programs (1977)
세 연구의 대상·비교 활동·검사 시점·결과 유형을 골라 포함 연구와 허용되는 해석을 바꾸고, 서로 다른 설계를 한 수치로 섞지 않는다.
Test-Enhanced Learning: Taking Memory Tests Improves Long-Term Retention
로짓과 온도를 바꾸어 확률 간격을 직접 계산하고, 양의 온도 조정이 확신 표현은 바꾸지만 같은 로짓의 1위 답은 바꾸지 않는 이유를 확인합니다.
On Calibration of Modern Neural Networks
무작위 유행어로 만든 문장에 깊은 뜻을 부여하는 경향을 조사한 연구를 읽으며, 낯선 표현을 무조건 배척하지 않으면서도 의미와 검증 조건을 요구하는 법을 살핀다.
사이비 심오함의 수용과 탐지(On the Reception and Detection of Pseudo-Profound Bullshit)
1–5 / 147편
