ภาษาการเขียนโปรแกรมแปลงกฎหมายเป็นโค้ดคอมพิวเตอร์ที่ 'พิสูจน์ได้ว่าถูกต้อง'

Credit: Sergii Gnatiuk/Shutterstock

ความพยายามร่วมกันของนักวิจัยจาก National Institute for Research in Digital Science and Technology  (Inria) ของฝรั่งเศส และ Microsoft Research ทำให้เกิด Catala ซึ่งเป็นภาษาเขียนโปรแกรมที่ออกแบบมาเพื่อเก็บ และดำเนินการตามอัลกอริทึมทางกฎหมาย ผู้สร้างกล่าวว่า Catala แปลกฎหมายเป็นรหัสคอมพิวเตอร์ที่ถูกต้อง ซึ่งสามารถนำไปใช้ได้อย่างโปร่งใส ซึ่งสิ่งนี้น่าจะส่งเสริมความไว้วางใจของสาธารณต่อระบบ ที่บางครั้งถูกปกปิดและเกี่ยวข้องกับโค้ดที่คลุมเครือและถูกปรับแต่งหลายบรรทัด  Denis Merigoux จาก  Inria และเพื่อนร่วมงานของเขากล่าวว่า มันสามารถเอาชนะปัญหาหลัก ๆ ที่เกิดจากความแตกต่างทางวัฒนธรรมระหว่างชุมชนด้านกฎหมายและชุมชนการเขียนโปรแกรม

อ่านข่าวเต็มได้ที่: Discover

เพิ่มเติมเสริมข่าว: ใครที่อยากดูว่าโค้ดภาษาโปรแกรมหน้าตาเป็นยังไง ดูได้จาก GitHub นี้ ครับ ถ้าใช้ได้จริง นำมาใช้กับกฎหมายไทย ไม่รู้จะกำจัดพวกเนติบริกรไปได้บ้างหรือเปล่า