3.1 从功能型到矩阵型