Lâm mặc tỉnh lại sau chuyện thứ nhất, là mở ra máy tính kiểm tra tối hôm qua viết số hiệu.
Dàn giáo không thành vấn đề, logic không thành vấn đề, công cụ có thể bình thường vận hành.
Nhưng hắn biết, này xa xa không đủ.
Ở lần thứ ba trong trò chơi, hắn hoa rất nhiều thời gian nghiên cứu quy tắc tầng dưới chót logic, nhưng trước sau có một cái vấn đề không có giải quyết —— quy tắc nơi phát ra là cái gì?
Quy tắc không phải trống rỗng sinh ra. Mỗi một cái quy tắc đều là “Người nào đó” viết. Mà “Người nào đó” viết quy tắc thời điểm, nhất định tuần hoàn theo nào đó ngữ pháp, nào đó logic, nào đó mã hóa thói quen.
Nếu có thể tìm được loại này “Mã hóa thói quen”, hắn là có thể đoán trước quy tắc.
Lâm mặc mở ra một cái tân hồ sơ, bắt đầu sửa sang lại hắn ở lần thứ ba trong trò chơi thu thập đến sở hữu quy tắc hàng mẫu.
Hắn từ trong trí nhớ lấy ra lần thứ ba trong trò chơi hệ thống tuyên bố tiền ba mươi điều quy tắc, trục điều phân tích chúng nó kết cấu:
Quy tắc 1: “Cấm ở trong nhà sử dụng minh hỏa.”
· tầng dưới chót mệnh lệnh: PROHIBIT(action=USE_FIRE, condition=LOCATION_INDOOR)
· vi phạm quy định phán định: IF (USE_FIRE AND INDOOR) THEN PUNISH
Quy tắc 2: “Mỗi ngày cần thiết hút vào ít nhất 500 ml thủy.”
· tầng dưới chót mệnh lệnh: REQUIRE(action=DRINK_WATER, quantity>=500, period=DAY)
· vi phạm quy định phán định: IF (TOTAL_WATER_INTAKE_PER_DAY < 500) THEN PUNISH
Quy tắc 3: “Cấm ở đêm khuya lúc không giờ di động.”
· tầng dưới chót mệnh lệnh: PROHIBIT(action=MOVE, condition=TIME=00:00:00)
· vi phạm quy định phán định: IF (MOVE AND TIME==00:00:00) THEN PUNISH
Lâm mặc nhìn chằm chằm đệ tam điều quy tắc tầng dưới chót mệnh lệnh, đột nhiên phát hiện vấn đề.
TIME=00:00:00
Ở lập trình viên logic, TIME=00:00:00 là một cái chính xác xứng đôi —— nó chỉ xứng đôi lúc không giờ 0 điểm linh giây này một cái nháy mắt. 0 điểm 0 điểm linh một giây không xứng đôi, 0 điểm 0 điểm lẻ loi điểm năm giây cũng không xứng đôi.
Nhưng hệ thống ở phán định hắn vi phạm quy định thời điểm, dùng chính là TIME>=00:00:00 && TIME<00:00:01.
Nói cách khác, hệ thống thực tế phán định logic cùng quy tắc tầng dưới chót mệnh lệnh không nhất trí.
Này không phải bug.
Đây là có người cố ý viết.
Lâm mặc phía sau lưng đột nhiên toát ra một tầng mồ hôi lạnh. Hắn ý thức được một cái đáng sợ sự thật ——
“Thần phạt trò chơi” quy tắc, không phải từ một bộ thống nhất phán định động cơ chấp hành. Mỗi một cái quy tắc đều có chính mình phán định số hiệu, mà này đó số hiệu là bất đồng người viết.
Có người viết code thực nghiêm cẩn, biên giới điều kiện xử lý đến tích thủy bất lậu.
Có người viết code thực thô ráp, nơi nơi đều là lỗ hổng.
Có người viết code thích lưu cửa sau.
Mà cái kia ở “Đêm khuya lúc không giờ di động” quy tắc lưu lại <00:00:01 mà không phải <=00:00:00 người, hoặc là là tay mơ, hoặc là là cố ý.
“Nếu quy tắc là bất đồng người viết……” Lâm mặc lẩm bẩm tự nói, “Kia ‘ thần phạt trò chơi ’ liền không phải một cái chỉ một trình tự, mà là một cái ngôi cao —— một cái cho phép nhiều người ( hoặc nhiều thật thể ) ở nó mặt trên biên soạn quy tắc ngôi cao.”
Mà những cái đó “Biên soạn quy tắc người”……
Lâm mặc nhớ tới những cái đó phù văn số hiệu.
“Bọn họ chính là cái gọi là ‘ thần ’ sao?”
Không, không đúng. Ở lần thứ ba trong trò chơi, hắn đã ở nhật ký tầng thấy được chân tướng một góc —— “Thần phạt trò chơi” tầng dưới chót là một cái kêu “Trọng tài quan” siêu cấp AI. Những cái đó phù văn số hiệu không phải “Thần” viết, mà là “Trọng tài quan” từ chỗ nào đó thêm tái.
Có lẽ, “Trọng tài quan” bản thân chính là một cái thượng cổ văn minh lưu lại biên dịch khí. Nó biên dịch không phải C++ hoặc Python, mà là những cái đó phù văn số hiệu.
Phù văn số hiệu biên dịch lúc sau, liền biến thành “Quy tắc”.
Mà tu tiên công pháp, chính là phù văn số hiệu một loại khác biên dịch kết quả.
Lâm mặc hít sâu một hơi, đem này đó điên cuồng ý niệm tạm thời áp xuống đi. Hắn hiện tại yêu cầu chính là thực dụng tin tức, không phải triết học tư biện.
Hắn trở lại quy tắc phân tích thượng, tiếp tục sửa sang lại hàng mẫu.
Đến giữa trưa 12 giờ, hắn đã sửa sang lại xong rồi lần thứ ba trong trò chơi trước 50 điều quy tắc. Hắn phát hiện mấy cái quan trọng quy luật:
1. Quy tắc tuyên bố trình tự không phải tùy cơ. Tiền mười điều quy tắc toàn bộ là về “Cơ bản sinh tồn” ( đồ ăn, thủy, giấc ngủ, độ ấm ), trung gian hai mươi điều là về “Hành vi hạn chế” ( cấm nào đó động tác ), sau hai mươi điều là về “Nhân tế quy tắc” ( cấm phản bội, cấm ăn cắp chờ ). Này thuyết minh hệ thống có một cái “Quy tắc ưu tiên cấp” thuật toán.
2. Nào đó quy tắc chi gian tồn tại “Ỷ lại quan hệ”. Tỷ như quy tắc 17 “Cấm ở ban đêm ra ngoài” cùng quy tắc 23 “Ban đêm cần thiết ở chỗ tránh nạn nội” là mâu thuẫn —— nếu ban đêm không thể ở chỗ tránh nạn ngoại, kia “Cần thiết ở chỗ tránh nạn nội” chính là nhũng dư. Loại này mâu thuẫn ám chỉ “Bất đồng quy tắc biên soạn giả chi gian không có câu thông”.
3. Quy tắc “Trừng phạt lực độ” cùng “Quy tắc nghiêm trọng trình độ” kém xa. Có chút nhìn như rất nhỏ quy tắc ( tỷ như “Cấm dẫm đến đệ tam cấp bậc thang” ) trừng phạt là trực tiếp mạt sát, mà có chút nghiêm trọng quy tắc ( tỷ như “Cấm giết người” ) trừng phạt chỉ là thân thể cơ năng tạm thời đánh mất. Này thuyết minh trừng phạt lực độ không phải từ quy tắc nội dung quyết định, mà là từ biên soạn quy tắc người cá nhân yêu thích quyết định.
Lâm mặc đem này đó quy luật toàn bộ viết vào hắn quy tắc phân tích động cơ.
Hiện tại, hắn công cụ có thể làm được:
· phân tích tân quy tắc tầng dưới chót logic
· thí nghiệm quy tắc chi gian xung đột cùng ỷ lại
· đoán trước quy tắc trừng phạt lực độ
· tìm ra quy tắc biên giới điều kiện cùng ngoại lệ tình huống
“Không sai biệt lắm.” Lâm mặc nhìn thoáng qua thời gian.
2086 năm ngày 18 tháng 10, buổi chiều 1:00.
Khoảng cách trò chơi bắt đầu còn có 47 giờ.
Hắn còn có hai việc phải làm.