연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
회의 참가자마다 알고 있는 내용이 다릅니다. “모든 참가자가 누군가의 참석을 안다”는 말을 어떻게 적고 검사할까요? 사람을 가리키는 변수 두 개를 사용해, 이런 조건을 만족하는 상황이 가능한지 따지는 연구를 읽습니다.
Anantha Padmanabha · R. Ramanujam, Two Variable Fragment of Term Modal Logic (2019)
판단의 정도를 0, 1/3, 2/3, 1의 네 단계로 정했다고 합시다. “1/3 이상인가?”, “2/3 이상인가?”, “1인가?”에 답하면 어느 단계인지 알 수 있습니다. 이 답들을 정확히 한 단계를 표시하는 방식으로 바꾸며 모이실 논리의 연구를 읽습니다.
Denisa Diaconescu · Ioana Leuștean, Mutually Exclusive Nuances of Truth in Moisil Logic (2015)
지오제이슨(GeoJSON, 지도 위치를 적는 데이터 형식)은 경도, 위도 순서를 씁니다. 두 수와 읽는 순서를 바꾸며 좌표 범위와 위치 해석을 비교합니다.
마크다운(Markdown, 간단한 기호로 문서 모양을 정하는 방식)의 링크는 보이는 글과 실제 이동 주소를 따로 저장합니다. 두 값을 바꾸며 목적지가 일치하는지 확인합니다.
같은 높이로 올릴 때 긴 경사로는 필요한 힘을 줄이지만 이동 거리를 늘립니다. 상자 질량·높이·경사로 길이·효율을 바꾸며 힘과 일을 나누어 봅니다.
76–80 / 2419편
