Reduxの思想ってStateから全体のViewへの数学的な意味での写像を表現することなのか。今更理解した。