jaca学习lecture5