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