Quest Ladder
TeachFORGE.ai
Quest Ladder / Xem trước và xác minh
Xem trước, ví dụ mới và xác minh kết xuất
Xem người học thực sự sẽ nhận gì, nhiều lần, trước khi ai khác nhận.
Một kiểu bạn chưa lấy mẫu là kiểu bạn chưa viết.
Xem trước và tinh chỉnh
Trường Rà soát giai đoạn mở trên Xem trước và tinh chỉnh AI: một phiên bản thật được sinh của kiểu bạn, kết xuất như người học sẽ thấy.
- Làm mới xem trước kết xuất lại mẫu hiện tại sau chỉnh sửa.
- Ví dụ mới lấy mẫu giá trị mới, để bạn thấy phiên bản khác. Được gắn nhãn Ví dụ 1, Ví dụ 2 và cứ thế.
- Một công tắc chuyển giữa mẫu có token và xem trước đã giải khớp góc nhìn học sinh.
Nhấn Ví dụ mới ít nhất năm lần trước khi xuất bản bất kỳ thứ gì tham số. Tổ hợp xấu ẩn: phép chia ra số nguyên bốn lần và khó chịu lần thứ năm, sơ đồ chỉ chồng khi hai biến đều lớn. Một mẫu không chứng minh gì.
Xác minh kết xuất
Xác minh kết xuất kiểm tra mọi phần của kiểu thực sự vẽ: LaTeX biên dịch, sơ đồ kết xuất, biểu đồ có dữ liệu, không khối nào thất bại. Huy hiệu báo một trong bốn trạng thái.
| Huy hiệu | Nghĩa là |
|---|---|
| Đã xác minh — sạch | Mọi thứ đã kết xuất. |
| Cần xác minh lại | Nó sạch, rồi bạn sửa gì đó. Chạy lại. |
| {{count}} lỗi kết xuất | Gì đó không vẽ. Danh sách nói cái gì. |
| Chưa xác minh | Nó chưa bao giờ được kiểm. |
Đây là cổng, không phải cảnh báo. Xuất bản bị từ chối khi còn lỗi, và điều khiển nói vì sao: sửa lỗi xác minh kết xuất trước khi xuất bản.
Các lỗi thường là gì
Ba nguyên nhân chiếm hầu hết chúng.
- Biểu thức LaTeX hoặc TikZ có lỗi cú pháp, thường từ một dấu ngoặc thừa sau chỉnh sửa.
- Một token trỏ biến đã bị đổi tên hoặc xóa, nên không gì giải được.
- Một sơ đồ có tọa độ từ biến có thể tạo trường hợp suy biến — tam giác không diện tích, biểu đồ không khoảng.
Cái thứ ba đáng chú ý, vì nó vượt hầu hết mẫu. Một lần xác minh lấy mẫu nhiều bộ giá trị là điều tìm ra nó, và đúng là lỗi người học sẽ gặp một trên hai mươi.
Đánh dấu sẵn sàng
Đánh dấu sẵn sàng đặt trạng thái thành đã xuất bản một khi bạn hài lòng với xem trước đã lấy mẫu. Đó là lúc kiểu trở nên được liệt kê và có thể gán — xem Xuất bản, hủy xuất bản và các chip đầy đủ cho điều đó thay đổi gì.