第5节 定型理论