통합검색

용수철의 늘어난 길이가 두 배면 저장 에너지도 두 배일까?

늘어난 길이에 따라 달라지는 힘을 살펴보고, 같은 거리를 더 당기는 두 구간에서 필요한 일을 비교합니다.

메아리가 0.2초 뒤 돌아오면 벽은 얼마나 멀리 있을까?

소리가 벽까지 갔다가 돌아오는 경로를 따라가며 전체 이동 거리와 벽까지의 거리를 구별합니다.

같은 결론을 말해도, 전제의 종류가 다르면 같은 논증일까요?

10t 한계 교량과 8t 차량의 교육용 사례에서 정의와 판단, 추론의 형식과 전제 재료를 분리합니다. 하데르의 논문을 따라 논증·변증·수사·시·궤변의 목적과 근거가 어떻게 달라지는지 살펴봅니다.

Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)

한 메모리 칸을 바꿀 때, 떨어진 칸이 그대로임을 어떻게 증명할까요?

주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.

John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)

진자의 줄을 네 배 길게 하면 한 번 왕복하는 시간도 네 배가 될까?

줄 길이와 추의 질량을 따로 바꾸어 진자의 왕복 시간을 비교하고, 길이의 제곱근이 시간에 나타나는 까닭을 살핍니다.