대탈출/1~2화 조건문 블레이드 러너 2049/등장인물 논리학 관련 정보 취추바이 미즈하라 가나 명제 논리 자싱시 이등변삼각형 비오-사바르 법칙 동치관계 쿠도 신이치 필요조건과 충분조건 완전수 오시노 시노부 세금계산서 헴펠의 까마귀 同