述語論理を理解していないに10000ばかす