115.7 RNN 기반 인코더-디코더 구조의 수학적 정형화와 조건부 확률 분해