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