算法与法律的冲突及其化解

我国的算法扩张在实践中往往偏离法治轨道,算法这一智能社会的“超级力量”并没有在法治实践中被“驯服”,造成这一悖反现象的根本原因在于算法与法律之间的内在冲突。一方面,人们期待法律能够对算法进行转化,使其从陌生的、可能有危险的技术蜕变为能够融入现代文明和日常生活之物。另一方面,现有法治体系又无法满足这一期待。智能社会中算法的日益纵深渗透和创新突破进一步激化了算法与法律的紧张关系,进而可能引致更多的法律风险和理论难题。算法的法律治理不能就法治谈法治,亦不能就算法谈算法,须以描述性理论为指导,回归算法与法律关系命题。在算法扩张一般逻辑和基本法治框架范围内,将算法与法律统一于治理理论之项下,进而基于算法和法律的有机嵌合进行治理创新,推动算法在法治的轨道上健康、有序、繁荣发展,以真正实现算法治理服务于人类社会更加美好未来之终极目的。

AUTOMATED DERIVATION OF THE CONSERVATION LAWS FOR NONLINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS

Based on Wu＇s elimination method and ＂divide-and-conquer＂ strategy, the undetermined coefficient algorithm to construct polynomial form conservation laws for nonlinear differential-difference equations （DDEs） is improved. Furthermore, a Maple package named CLawDDEs, which can entirely automatically derive polynomial form conservation laws of nonlinear DDEs is presented. The effective- ness of CLawDDEs is demonstrated by application to different kinds of examples.