劉東亮

西安交通大學(xué) 法學(xué)院，陜西 西安 710049

一、“計算思維”：計算法學(xué)皇冠上被忽視的“明珠”

工欲善其事，必先利其器。出于精確化研究的需要，不單是自然科學(xué)，社會科學(xué)也早在科技史學(xué)家Kuhn 正式提出“范式”（paradigm）理論之前，突破了傳統(tǒng)的定性研究的框架，開始了向定量研究轉(zhuǎn)型的探索，并由此促進(jìn)了20世紀(jì)初即開始萌芽的學(xué)科融合與知識融通。20世紀(jì)以來，從1926年“計量經(jīng)濟學(xué)”（econometrics）的產(chǎn)生，到第二次世界大戰(zhàn)后定量社會科學(xué)獲得快速發(fā)展，再到2009 年“計算社會科學(xué)”（computational social science）作為一個學(xué)科群的誕生［1］，社會科學(xué)的方法論在嘗試和摸索中不斷演化與創(chuàng)新。

一向被認(rèn)為態(tài)度“保守”而總是對社會新問題反應(yīng)遲滯的法律界其實并沒有自甘落后。從1949 年美國學(xué)者Loevinger 率先提出“法律計量學(xué)”（jurimetrics）的概念，倡導(dǎo)運用科學(xué)方法解決法律問題［2］，到1977 年瑞典法學(xué)家Seipel 出版專著《計算法學(xué)》（Computing Law：Perspectives on a New Legal Discipline），預(yù)言其將成為一門新興法律學(xué)科［3］，再到近年來斯坦福大學(xué)成立CodeX研究中心、麻省理工學(xué)院推出線上連續(xù)出版物《MIT計算法學(xué)報告》（MIT Computational Law Report），對計算法學(xué)的研究已成為法學(xué)及相關(guān)學(xué)科關(guān)注的前沿問題。

與國外相比，我國法學(xué)界的研究也不遜色。早在1983年，龔祥瑞等［4］即對發(fā)達(dá)國家借助計算機技術(shù)對法律現(xiàn)象進(jìn)行定量研究和系統(tǒng)分析的情況作了詳細(xì)介紹，并呼吁我國盡快著手法律工作計算機化的研究和準(zhǔn)備。其后，“數(shù)量法學(xué)”“計量法學(xué)”“計算法學(xué)”等概念陸續(xù)譯介入我國，并有很多學(xué)者展開了深入研究。不過，我國學(xué)界對“數(shù)量法學(xué)”“計量法學(xué)”的研究基本上還停留在定量研究的范疇。盡管這種研究方法跳出了純粹的價值判斷和規(guī)范分析之樊籠，與傳統(tǒng)定性研究相比在方法論上值得肯定，但“數(shù)量法學(xué)”“計量法學(xué)”的理論意義還不夠突出。因為，即使不采用數(shù)量法學(xué)、計量法學(xué)的概念也不影響在實際工作中采取定量研究方法。例如，北京大學(xué)白建軍教授雖未明確采用此類概念，但其對刑法問題的定量實證研究仍然為學(xué)界高度認(rèn)可。研究計量法學(xué)的學(xué)者亦坦承，從法律現(xiàn)象的性質(zhì)上來分析，并非所有的法律現(xiàn)象都具有數(shù)量變化關(guān)系，或者現(xiàn)有的物質(zhì)和技術(shù)條件尚不能完全實現(xiàn)法律現(xiàn)象的數(shù)學(xué)化，因而計量法學(xué)的研究對象僅僅包括具有數(shù)量變化關(guān)系的法律現(xiàn)象［5］。簡言之，“數(shù)量法學(xué)”“計量法學(xué)”在研究范圍上仍有明顯的局限性。

應(yīng)該說，與早年的“數(shù)量法學(xué)”“計量法學(xué)”相比，近年來興起的“計算法學(xué)”有很大進(jìn)步。計算法學(xué)是計量法學(xué)進(jìn)入大數(shù)據(jù)時代的產(chǎn)物，它典型地表征了法學(xué)研究在大數(shù)據(jù)時代呈現(xiàn)出的新發(fā)展、新路徑與新范式［6］。但是，現(xiàn)有研究仍然主要將計算法學(xué)作為定量研究方法中一種處理數(shù)據(jù)的方法，認(rèn)為計算法學(xué)目前的價值集中體現(xiàn)在讓計算機自動提取、處理大量數(shù)據(jù)上。雖然也有學(xué)者指出，計算法學(xué)是“融入計算思維研究法律問題，利用計算方法開展法律大數(shù)據(jù)分析，以及結(jié)合計算技術(shù)研究法律科技的一門學(xué)科”［7］，“計算法學(xué)的核心思想是計算思維與法學(xué)思想的深度融合”［8］，但對什么是“計算思維”，如何利用計算思維解決法律問題，計算思維在法律領(lǐng)域究竟有何功能與作用，仍然語焉不詳。無疑，這在一定程度上會影響計算法學(xué)的未來發(fā)展，使計算法學(xué)可能止步于過去“數(shù)量法學(xué)”“計量法學(xué)”僅僅關(guān)注定量研究的老路，淪落為法律領(lǐng)域純粹從事數(shù)據(jù)挖掘和數(shù)據(jù)處理的技術(shù)，從而導(dǎo)致舍本逐末、“術(shù)”“道”失衡。易言之，如果丟棄了計算思維這顆現(xiàn)代科學(xué)皇冠上的“明珠”，計算法學(xué)的研究將是“入寶山而空回”。

二、計算思維的源流：理論由來及其核心特征

（一）計算思維理論的起源

“計算思維”原本是計算機科學(xué)上的一個概念。盡管在現(xiàn)實生活中的應(yīng)用由來已久，但這個概念產(chǎn)生的歷史并不長。2003年11月，曾擔(dān)任美國計算機學(xué)會主席的Denning 撰文呼吁，計算機科學(xué)應(yīng)當(dāng)著力扭轉(zhuǎn)外界長期以來僅將其視為編程（programming）的誤解。Denning強調(diào)，事實上，計算機科學(xué)絕不限于算法設(shè)計、數(shù)據(jù)挖掘、軟件工程等應(yīng)用性技術(shù)，在編程等技術(shù)層之下，蘊藏著許多“偉大的計算原理”（the great principles of computing），這些原理提供了觀察世界的窗口、發(fā)現(xiàn)新知的途徑和解決問題的方法［9］。

在《偉大的計算原理》一文中，Denning 將計算原理劃分為五個類別：計算（computation）、通信（communication）、協(xié)作（coordination）、自動化（automation）和記憶（recollection）。他指出，如果將不同學(xué)科領(lǐng)域存在的問題視為一個計算問題，從計算的角度揭開這些問題的神秘面紗，就有可能推動這些領(lǐng)域的發(fā)展，比如生命科學(xué)、化學(xué)、金融學(xué)甚至是法律，而計算原理正是推動這些發(fā)展的關(guān)鍵。Denning 的論述初步勾勒了包括計算思維在內(nèi)的計算原理的基本框架和輪廓。

2006年3月，時任卡內(nèi)基梅隆大學(xué)計算機科學(xué)系教授的周以真（Jeannette M.Wing）在《美國計算機學(xué)會通訊》上發(fā)表《計算思維》（Computational Thinking）一文，正式提出了“計算思維”的概念與理論。Wing［10］指出，計算思維是每個人都具有的一項基本技能，而不限于計算機科學(xué)家。的確，計算思維無人不有，無處不在：在生活中，對周圍的幾乎所有事物，例如食物、房子、金子、珠寶、畫作、股票、服務(wù)，甚至是他人，我們都會賦予其一個價值（有時候直接貼上價格的標(biāo)簽）。為什么會這樣？神經(jīng)生物學(xué)家的回答是：基于生存需要和生存質(zhì)量的考慮［11］42-44。著名未來學(xué)家Negroponte 也曾說：“計算不只和計算機有關(guān)，它決定著我們的生存?！保?2］61哲學(xué)家Hobbes講得更為形象：“推理就是計算，我們在無聲的思維中加加減減?！保?3］7中國成語中的“掐指一算”“神機妙算”等，實質(zhì)上說的也都是計算思維。

Wing［10］指出，計算思維是運用計算機科學(xué)的基礎(chǔ)概念進(jìn)行問題求解、系統(tǒng)設(shè)計以及人類行為理解等涵蓋計算機科學(xué)之廣度的一系列思維活動。在解決某個特定問題時，我們會問：解決這個問題有多難？最好的解決辦法是什么？為了有效解決問題，我們會進(jìn)一步追問：一個近似解是否足夠好？是否可以利用隨機選擇？是否允許容錯性？計算思維將看似困難的問題通過還原、嵌入、轉(zhuǎn)換或者模擬轉(zhuǎn)化為一個我們知道如何解決的問題。

計算思維不僅僅是數(shù)學(xué)思維，而且還融合了工程思維。首先，計算機科學(xué)與數(shù)學(xué)思維密不可分，因為它與所有科學(xué)一樣，其基礎(chǔ)都依賴數(shù)學(xué)。其次，計算機科學(xué)也離不開工程思維，因為我們需要建立與現(xiàn)實世界相互作用的系統(tǒng)。底層計算設(shè)備（the underlying computing device）的約束條件迫使計算機科學(xué)家運用工程思維，而不僅僅是數(shù)學(xué)思維。計算思維是人類解決問題的方法，而非試圖使人像計算機那樣“思考”。計算機是沉悶、乏味的；人類是聰明、富有想象力的，是人類使計算機變得神奇。易言之，計算思維是要人們像計算機科學(xué)家一樣思考。這種思維方法不止能夠為計算機編程，它還需要多層次的抽象思維以及能實現(xiàn)問題解決方案的工程思維和程序思維等。因此，周以真呼吁，大學(xué)應(yīng)該為新生開設(shè)一門“像計算機科學(xué)家一樣思考的方法”（ways to think like a computer scientist）的課程，使非計算機專業(yè)的學(xué)生也能學(xué)習(xí)這門課，而不限于計算機專業(yè)的學(xué)生。此外，還應(yīng)當(dāng)讓中小學(xué)生接觸計算方法和模型，并激發(fā)公眾對這一領(lǐng)域進(jìn)行智力探索的興趣，使計算思維成為人們的常識。

（二）計算思維的兩個核心特征：“抽象”和“自動有效執(zhí)行”

2008 年7 月，周以真在《英國皇家學(xué)會哲學(xué)匯刊》撰文《計算思維和關(guān)于計算的思維》［14］，對計算思維的內(nèi)涵和本質(zhì)作了進(jìn)一步闡釋。

周以真指出，計算思維的本質(zhì)是抽象（abstraction）和自動化（automation）。在計算中，我們對觀念的抽象超越了物理的時空維度。這里的抽象是高度普遍化（extremely general），其中，數(shù)字抽象只是一種特例。抽象不僅定義了計算對象，還為實施各種操作提供了條件。而自動化意味著由某種形式的計算機來解釋抽象、處理信息。最典型的計算機是一臺機器，即一種具有處理、存儲信息并具有通信能力的物理裝置。事實上，計算機可以是機器，也可以是人：人處理信息，人進(jìn)行計算。易言之，計算思維的主體不必然是機器。當(dāng)我們將人機組合作為一臺計算機看待時，我們可以利用人和機器的聯(lián)合處理能力。

2010年11月，周以真對計算思維又作了重新表述：“計算思維是明確表達(dá)（formulating）問題及其解決方案，并使解決方案以信息處理主體能夠有效執(zhí)行（be effectively carried out）的方式予以表達(dá)的思維過程。”①Jeannette M.Wing.Computational thinking：what and why［EB/OL］.［2021-08-07］.https：//www.cs.cmu.edu/～CompThink/resources/TheLinkWing.pdf.在這個定義中，她再次強調(diào)，對計算思維而言，最重要、最高層次的思維過程是抽象。抽象給予我們衡量、處理復(fù)雜性的能力。同時，將原來的“自動化”特征發(fā)展為“自動有效執(zhí)行”（與Denning 原先概括的“自動化”相比，含義更加明確）?！白詣佑行?zhí)行”的主體，即信息處理主體，可以是人，也可以是機器，或者人機組合。周以真將“計算思維”稱為人們在21 世紀(jì)必須具備的新的讀寫能力（the new literacy）。

（三）計算思維理論對實踐的廣泛影響

計算思維理論的提出，對科學(xué)界和教育界均產(chǎn)生了顯著影響，并很快促成美國國家科學(xué)基金會（National Science Foundation，NSF）兩個重大計劃“振興本科計算機教育的途徑”（CISE pathways to revitalized undergraduate computing education，CPATH）和“網(wǎng)絡(luò)賦能發(fā)現(xiàn)與創(chuàng)新”（cyber-enable discovery and innovation，CDI）的出臺［15］2-3。前者于2007年啟動，希望借助計算思維的培養(yǎng)扭轉(zhuǎn)一度陷入蕭條的美國計算機科學(xué)研究，從根本上改變美國大學(xué)計算機教育的現(xiàn)狀。后者是2008 年啟動的涉及所有學(xué)科的以計算思維為核心的國家重大科研計劃，旨在將計算思維拓展到各個研究領(lǐng)域。NSF希望通過這兩個計劃，使人們在科學(xué)與工程領(lǐng)域及社會經(jīng)濟技術(shù)領(lǐng)域的思維范式發(fā)生根本性轉(zhuǎn)變。NSF 確信，這種思維范式的轉(zhuǎn)變可以為社會創(chuàng)造更多的財富，并最終提高人民的生活質(zhì)量。

2011年，NSF啟動了“21世紀(jì)的計算機教育”（the computing education for the 21st century，CE21）計劃。該計劃建立在2007 年CPATH 成功經(jīng)驗的基礎(chǔ)上，目的是提高K-14（中小學(xué)和大學(xué)一、二年級）教師與學(xué)生的計算思維能力。2015 年12 月10 日，奧巴馬簽署“讓每一個學(xué)生取得成功法案”（Every Student Succeeds Act，ESSA），將以培養(yǎng)計算思維為核心的計算機科學(xué)教育提高到與數(shù)學(xué)、英語同等重要的地位，并投入巨資在全美廣泛推行。

計算思維理論同樣引起了我國計算機科學(xué)界和政府的高度重視。2010 年7 月，九校聯(lián)盟（C9）在西安交通大學(xué)舉辦了首屆“九校聯(lián)盟（C9）計算機基礎(chǔ)課程研討會”。會后發(fā)表的《九校聯(lián)盟（C9）計算機基礎(chǔ)教學(xué)發(fā)展戰(zhàn)略聯(lián)合聲明》旗幟鮮明地把“計算思維能力”的培養(yǎng)列為計算機基礎(chǔ)教育的核心任務(wù)。2012 年，教育部批準(zhǔn)設(shè)立22 個以計算思維為切入點的大學(xué)計算機課程改革項目，明確要求大學(xué)計算機課程要像大學(xué)數(shù)學(xué)、大學(xué)物理一樣，成為大學(xué)的基礎(chǔ)課程。此后，計算思維能力的培養(yǎng)在我國中小學(xué)信息技術(shù)教育中開始全面推行。

三、計算思維在法律領(lǐng)域的功能與作用

計算思維正滲透到各個學(xué)科，并潛移默化地影響著社會實踐。具體到法律領(lǐng)域，計算思維有著什么樣的功能與作用呢？如前所述，計算思維是數(shù)學(xué)思維和工程思維等多種思維方法的融合，核心特征是“抽象”和“自動有效執(zhí)行”。在法律領(lǐng)域，計算思維的功能體現(xiàn)為對待解法律問題進(jìn)行恰當(dāng)抽象，并使解決方案能夠由執(zhí)法主體（人、機器或者人機組合）通過恰當(dāng)?shù)某绦蜃詣拥靡詧?zhí)行。概言之，其功能是保障科學(xué)立法和有效執(zhí)行。其具體作用則表現(xiàn)在立法和執(zhí)法兩個方面。

（一）計算思維在立法領(lǐng)域的作用

抽象是人腦具有的基礎(chǔ)能力之一。在紛繁復(fù)雜的世界中，人類對事物的認(rèn)識離不開抽象，即舍棄事物的非本質(zhì)屬性，將其本質(zhì)屬性抽取出來，這是簡化問題、降低事物復(fù)雜度的有效途徑。抽象因此成為計算思維的最重要特征。在立法過程中，也需要對復(fù)雜的規(guī)范對象進(jìn)行簡化和抽象。而抽象是分層次的，立法中的抽象層次是否恰當(dāng)，既影響到立法的科學(xué)性，也影響著立法能否自動有效執(zhí)行。

1.抽象的層次是否恰當(dāng)影響立法的科學(xué)性

抽象的層次如何選擇是抽象方法中非常重要但又比較難以掌握的技巧。一方面，從信息表達(dá)的能力角度來說，抽象層次越高，具體信息越少，概括能力就越強；抽象層次越低，具體信息越多，概括能力就越弱。但是，如果抽象層次過高，信息量過少，操作時又會產(chǎn)生新的困難（信息量不足而無法執(zhí)行）。另一方面，我們所處的（抽象出來的）層次越低，越傾向于關(guān)注、糾纏更多的細(xì)枝末節(jié)，從而可能為信息的洪流所淹沒。人腦對信息的處理能力是有限的，超過了一定限度，人就會失去對事物的理解能力①研究表明，1 秒鐘內(nèi)人腦只能處理約50 比特的信息量。參見西蒙《管理行為》，詹正茂譯，機械工業(yè)出版社2016 年版，第215 頁。。因此，在分析事物的過程中，選擇恰當(dāng)?shù)某橄髮哟问种匾诔橄髮哟蔚倪x擇主要與待解問題的復(fù)雜度相關(guān)。也就是說，對于簡單的問題，可采用較低的抽象層次；反之，則應(yīng)采用較高的抽象層次。參見譚云杰《大象：Thinking in UML》，中國水利水電出版社2012 年版，第475 頁。。

有學(xué)者指出，根據(jù)中國傳統(tǒng)的法律觀念，正式的國家規(guī)范“宜粗不宜細(xì)”，這樣就能為執(zhí)法和司法的臨機應(yīng)變、酌情裁量留下必要的回旋空間，從而使決定和判斷更切合實際情況［16］。這種“宜粗不宜細(xì)”的傳統(tǒng)觀念至今仍在影響著今天的立法，很多法律因太過抽象和籠統(tǒng)而無法實際執(zhí)行。比如，屈茂輝等［17］研究發(fā)現(xiàn)，在土地征收補償方面，我國沒有制定統(tǒng)一的土地征收法或不動產(chǎn)征收法，《中華人民共和國土地管理法》對征收補償標(biāo)準(zhǔn)的規(guī)定過于簡單，主要是授權(quán)地方細(xì)化和明確具體補償標(biāo)準(zhǔn)。因而，地方立法中的征收補償條款對征收補償標(biāo)準(zhǔn)起著直接決定作用。而地方立法文本關(guān)于征收補償標(biāo)準(zhǔn)的規(guī)定具有很大的模糊性。在研究者搜索到的83 個地方立法中，能夠直接作為依據(jù)計算具體補償數(shù)額的立法文本只有11 個，占比為13.3%。地方立法文本中存在大量授權(quán)性立法規(guī)定，甚至是層層授權(quán)。還有很多立法文本直接回避了補償標(biāo)準(zhǔn)問題，僅規(guī)定“按照有關(guān)規(guī)定執(zhí)行”，即使是某些關(guān)于征收的專項立法對補償標(biāo)準(zhǔn)的規(guī)定都是空白③2009 年以來，《中華人民共和國土地管理法》和《中華人民共和國土地管理法實施條例》幾經(jīng)修訂，但情況并沒有根本改觀。。

進(jìn)一步分析可以發(fā)現(xiàn)，除了傳統(tǒng)觀念的影響，“宜粗不宜細(xì)”的立法思路亦與改革開放之初特定的歷史背景有關(guān)?！耙舜植灰思?xì)”是鄧小平同志倡導(dǎo)的處理重大歷史問題的態(tài)度和方法。其基本精神是：“評價人物和歷史，要提倡全面的科學(xué)的觀點，防止片面性和感情用事。對過去的事情做個基本的總結(jié)……這個總結(jié)宜粗不宜細(xì)?？偨Y(jié)過去是為了引導(dǎo)大家團(tuán)結(jié)一致向前看?！保?8］291-292“宜粗不宜細(xì)”是實踐證明行之有效的處理歷史問題的正確態(tài)度和方法。但是，將其適用于面向未來的立法并不恰當(dāng)。

在實踐中，“宜粗不宜細(xì)”的負(fù)面作用非常突出。尤其是，受此立法思路的影響，立法機關(guān)對立法的抽象層次把握失衡，致使最高人民法院不得不進(jìn)行“法律續(xù)造”，出臺了大量司法解釋。此種“法律續(xù)造”是否構(gòu)成對立法權(quán)的“篡奪”值得商榷。即便如此，最高法院發(fā)布的司法解釋也大多存在不具體、不明確、可操作性不強等問題。也就是說，司法解釋仍需要進(jìn)一步解釋。而解釋難免存在個人主觀性，法官在解釋過程中可能因文化、經(jīng)歷、認(rèn)知水平等差異對客觀的法律文本得出不同的解釋結(jié)論，這無疑是不能容忍的法治之殤［19］。

從計算思維的視角來看，“宜粗不宜細(xì)”的立法觀念缺乏科學(xué)性：立法需要恰當(dāng)?shù)某橄?，而不是太過原則的抽象。抽象的層次既不能太低，又不能過高，太低會變成“個案立法”，過高則流于空泛和模糊?？辗汉湍：姆勺匀粺o法得到有效執(zhí)行。正如“控制論之父”維納所說：“有些想法很好，但就像老鼠想給貓掛上鈴鐺一般。無疑，對我們這些老鼠來說，給這個世界上所有掠奪性的貓都掛上鈴鐺是極為可喜的，但是，誰去掛呢？”［20］122

因而，在立法觀念上，需要適時實行由粗放向細(xì)膩或者說抽象層次上“細(xì)粒度”的轉(zhuǎn)變。不僅如此，在立法環(huán)節(jié)，立法者還要有“把事情做成”的工程思維，即通過程序機制實現(xiàn)法律的“自動有效執(zhí)行”。

2.通過程序機制實現(xiàn)法律的“自動有效執(zhí)行”

眾所周知，我國的社會主義法律體系已經(jīng)基本形成，但法律的實施效果與人們的期望還存在不小的差距，其重要原因之一是很多法律缺乏得以“自動有效執(zhí)行”的機制，導(dǎo)致法律不能發(fā)揮實際的效用。

“徒法不足以自行”，法律當(dāng)然不能自動執(zhí)行自身。法律的執(zhí)行離不開執(zhí)法主體——人、機器或者人機組合的操作。無論由哪種主體來操作，法律都需要確保其“自動有效執(zhí)行”的機制。這種機制，可以是法律程序，也可以是法律智能系統(tǒng)中的計算機程序。

其一，通過法律程序?qū)崿F(xiàn)“自動有效執(zhí)行”。自20世紀(jì)90 年代初季衛(wèi)東教授發(fā)表《法律程序的意義》一文以來，中國學(xué)界對程序法的研究高潮迭起。但是，少有論者將其視為保障信息處理主體“自動有效執(zhí)行”法律的一種機制。

維納指出，在某種意義上，人腦就是一個控制和計算的裝置［20］149。而法律程序好比是在執(zhí)法主體的大腦這種計算裝置中運行的軟體。易言之，法律程序的運行可以被抽象地看作一個計算過程，輸入特定的法律信息后就能輸出相應(yīng)的結(jié)論。雖然法律程序和計算機程序存在明顯差異，但二者也有共同點，它們都是實現(xiàn)預(yù)定目標(biāo)的一系列步驟，且都可以通過代碼予以表達(dá)，即“程序的代碼化”。網(wǎng)絡(luò)法學(xué)界有一句名言：“代碼即法律”（code is law）。實際上，這句話反過來也能成立。法律，特別是程序法規(guī)則，能夠很方便地編譯到代碼中去。

馬克思曾言：“程序是法律的生命形式，是法律內(nèi)在生命的表現(xiàn)?！保?1］178法律的實施離不開程序性規(guī)定。如果缺乏能使其“自動有效執(zhí)行”的程序機制，法律就成為一紙空文。在一定程度上，確實可以說：“法即程序?！保?2］也正是注意到程序與法律密不可分的關(guān)系，梅因爵士才聲稱，普通法是“從程序的縫隙中滲透出來的”［23］300。雖然人們常說古代中國“重實體、輕程序”，但實際上，歷代王朝法典中的程序性內(nèi)容和法典外的“則例”（政府各部門的職責(zé)、辦事規(guī)程）疊床架屋、名目繁多，司法審判中的程序問題也都有相當(dāng)嚴(yán)格的規(guī)定①關(guān)于南宋、清代縣衙司法中的程序問題，參見劉馨珺《明鏡高懸：南宋縣衙的獄訟》，北京大學(xué)出版社2007 年版；那思陸《清代州縣衙門審判制度》，中國政法大學(xué)出版社2006 年版。此外，故宮博物院編有“清代各部院則例”（56 種共66 冊，故宮珍本叢刊，海南出版社2000 年版），有興趣的讀者可以參閱。感謝西安交通大學(xué)杜軍強老師提供該研究線索。。

從整體而言，我國現(xiàn)行法律體系中的程序性要素仍然較為稀薄。以憲法為例，在實體方面，我國憲法與其他任何國家的憲法相比都不遜色，無論是公民基本權(quán)利的規(guī)定，還是國家機關(guān)之間的權(quán)力分工與制約，很多方面都有自己的特色。然而，人們的印象卻一直是，憲法的實施效果還有提升空間。為什么存在這種情況？蓋因憲法自身缺乏保障其“自動有效執(zhí)行”的機制，即憲法中的程序性條款數(shù)量過少，規(guī)定粗疏，缺陷較多，以致直接影響到憲法的實施②參見呂尚敏《憲法中的程序和程序中的憲法》，浙江大學(xué)2000 年碩士學(xué)位論文。。很多重要的憲法性法律也存在同樣的問題。例如，《中華人民共和國村民委員會組織法》第三條規(guī)定：“村民委員會的設(shè)立、撤銷、范圍調(diào)整，由鄉(xiāng)、民族鄉(xiāng)、鎮(zhèn)的人民政府提出，經(jīng)村民會議討論同意，報縣級人民政府批準(zhǔn)?！比欢瑱z視該法授權(quán)各省、自治區(qū)、直轄市制定的實施辦法，基本上都是照抄這一條款，而沒有明確規(guī)定批準(zhǔn)的期限。這就使得該條款面臨著一個類似計算機科學(xué)上的“停機問題”③通俗地說，停機問題就是判斷一個程序能否在有限時間內(nèi)結(jié)束運行的問題。程序若不能在有限時間內(nèi)結(jié)束運行，就無法實現(xiàn)“停機”，就得不出需要的計算結(jié)果。，問題的解決遙遙無期。

因此，要確保法律得到有效執(zhí)行，就必須全面補充、完善相關(guān)的程序性規(guī)定。而且，為了保證法律能由執(zhí)法主體“自動有效執(zhí)行”，即一旦法定條件與具體場景相匹配即可啟動相應(yīng)的法律程序，必須處理好法律用語的模糊性問題。雖然法律語言學(xué)的研究表明，模糊性和明確性都是法律語言的固有屬性，法律語言無法實現(xiàn)徹底的去模糊化，但必須著力消除那些可能導(dǎo)致歧義和含混的模糊性用語。歧義和含混的語言常常會干擾清晰的思維。因而，明確定義——通過對常規(guī)意義的限制減少一個詞項的模糊性，在構(gòu)建可操作的法律條款時非常重要。易言之，應(yīng)當(dāng)盡可能地減少法律條文中本可以避免的不確定因素④我國很多行政法律中確立的“概括式罰款”實際上無法執(zhí)行。例如，1987 年制定后經(jīng)5 次修訂的《中華人民共和國海關(guān)法》，在法律責(zé)任一章有10 個關(guān)于罰款的條款，但無一例外均為“可以并處罰款”“并處罰款”“可以處以罰款”等概括式規(guī)定。。即便對那些人們通常認(rèn)為含義非常明確的數(shù)字（如“12月31日之前”），也必須采取能有效消除歧義的立法技術(shù)措施⑤例如，在1985 年的“美國訴洛克案”（United States v.Locke）中，聯(lián)邦法律規(guī)定，土地權(quán)利人應(yīng)當(dāng)進(jìn)行初始登記并每年進(jìn)行更新登記。關(guān)于年度更新時間，法律規(guī)定，權(quán)利人應(yīng)當(dāng)在每年“12 月31 日之前”（prior to December 31）向州政府土地管理局提交年度更新登記申請，如果權(quán)利人未能滿足這些要求，其不合要求的行為“應(yīng)當(dāng)不容置疑地被認(rèn)為是權(quán)利所有人放棄了采礦權(quán)”。洛克家族向土地管理局提交了初始登記，以后也按照要求每年進(jìn)行更新登記。但是，1980 年，他們在12 月31 日提交了年度更新申請——按照土地管理局的說法，遲了一天。由于登記申請遲延，政府通知洛克家族其權(quán)利被放棄，并隨后宣布礦山被沒收。這一案件后來上訴到聯(lián)邦最高法院。參見United States v.Locke，471 U.S.84（1985）.。

其二，通過計算機程序?qū)崿F(xiàn)“自動有效執(zhí)行”。不難理解，法律也需要與時俱進(jìn)，需要適應(yīng)并跟上現(xiàn)代科技特別是人工智能技術(shù)的發(fā)展。要做到這一點，在立法時就應(yīng)當(dāng)考慮人機皆可處理的方式；對部分法律進(jìn)行重新設(shè)計或改進(jìn)時也必須牢記自動化。目前，各種法律智能系統(tǒng)主要借助知識表示與處理、大數(shù)據(jù)分析技術(shù)等發(fā)揮作用。這就要求立法應(yīng)當(dāng)盡可能體現(xiàn)為計算機易于處理的知識表示，或者盡可能體現(xiàn)為關(guān)于現(xiàn)實世界的可計算模型。易言之，立法應(yīng)當(dāng)易于轉(zhuǎn)化為表達(dá)規(guī)范、關(guān)聯(lián)性強的數(shù)據(jù)，為實現(xiàn)法律的代碼化和法律工作的計算機化創(chuàng)造條件。

（二）計算思維在執(zhí)法領(lǐng)域的作用

“無論一個問題多么復(fù)雜，如果能以正確的方法看待，它都會變得簡單起來?！保?4］17這里的“看待”，實際上就是計算思維中的“抽象”。例如，在“曹沖稱象”的故事中，用小秤稱大象，看似困難無解。然而，曹沖將這一問題抽象為：如何稱出與一頭大象的體重相同的一堆石頭的重量？這一困難即迎刃而解。通過恰當(dāng)抽象尋找等價關(guān)系，把復(fù)雜、難解的問題轉(zhuǎn)化為一個容易解決的等價問題，是計算思維的重要體現(xiàn)［25］10。

類似的抽象方法亦可用來解決具體的法律問題。比如，2016 年的“八達(dá)嶺老虎傷人案”曾經(jīng)引起社會廣泛關(guān)注，對于動物園是否需要承擔(dān)老虎傷人后果的賠償責(zé)任，似乎很難從法律規(guī)定上直接找到答案。但是，如果將該問題抽象為：對于損害的發(fā)生，哪一主體采取預(yù)防措施的成本最低？那么，不需要通過具體計算也可以知道，游客不貿(mào)然下車的成本最?。ń茷?），而要求園方面面俱到地加強防護(hù)和安保，并時刻監(jiān)督每一入園車輛和人員的成本則很高。兩相比較，誰有過錯，答案立可知曉。

可能會有人質(zhì)疑，這豈不是使用經(jīng)濟分析方法？的確，此處使用的是經(jīng)濟分析方法，進(jìn)一步說，是確定過失責(zé)任的“漢德公式”（Hand formula）的運用。熊秉元［26］49指出：“經(jīng)濟分析的精髓，在于其慧見而非技巧?！币籽灾?，經(jīng)濟分析就是一種有效的抽象方法。“計算機之父”馮·諾伊曼曾言，按照我們的思維習(xí)慣和表達(dá)思維的習(xí)慣，如果想要表達(dá)任何真正復(fù)雜的情況而不依賴公式和數(shù)字，是極其困難的。但是，人類神經(jīng)系統(tǒng)對精確度的要求并不高。人腦的語言并不是數(shù)學(xué)的語言，而是統(tǒng)計學(xué)的語言［27］71-77。按照現(xiàn)代認(rèn)知科學(xué)的說法，人腦信息處理的主要類型是多元變量統(tǒng)計，大多數(shù)人在大多數(shù)時候?qū)Ω怕实墓浪愣际侵饔^的而不是分析性的［28］116。經(jīng)濟分析并不意味著必須進(jìn)行精確的數(shù)學(xué)運算，而是對待解問題進(jìn)行恰當(dāng)?shù)某橄筇幚?，即熊秉元教授所稱之“慧見”。

再如，在交通事故損害賠償案件中，法官常常需要根據(jù)交通執(zhí)法部門認(rèn)定的“全責(zé)、主要責(zé)任、次要責(zé)任、同等責(zé)任、無責(zé)任”等五種情形之一確定具體的責(zé)任分擔(dān)比例。其中，“全責(zé)、同等責(zé)任、無責(zé)任”比較容易處理，“主/次責(zé)任”則因其語義的模糊存在很大的不確定性。在解決這一問題時，可以根據(jù)責(zé)任雙方涉及機動車、非機動車或者行人的情況，將責(zé)任比例抽象為一個模糊集合｛6∶4，7∶3，8∶2，9∶1｝，一個簡單的四元素有限集，然后再根據(jù)具體案情選擇某種責(zé)任分擔(dān)比例并進(jìn)行適當(dāng)調(diào)整（綜合考慮受傷程度、違法情節(jié)、車輛投保、當(dāng)事人履行能力等因素）。這種過程性知識并不見諸任何成文法規(guī)范，在實踐中卻常常為法官所用。當(dāng)然，大多數(shù)法官并沒有明確意識到其運用的是計算思維中的模糊推理和模糊邏輯。這種推理方法，可以歸結(jié)為“模糊邏輯之父”Zadeh提出的“軟計算”（soft computing）［29］395-396?！败浻嬎恪睂嶋H上是計算思維的另一種表達(dá)，其本質(zhì)即人類的心智。

除了上述兩個具體的例子，各個部門法普遍存在的不確定法律概念，諸如“情節(jié)嚴(yán)重”“顯失公平”“夜間”（《中華人民共和國行政強制法》禁止夜間采取強制執(zhí)行措施）等問題，都可以嘗試用這種“計算思維”的方法予以解決。

四、結(jié)語

必須承認(rèn)，無論是“數(shù)量法學(xué)”“計量法學(xué)”還是“計算法學(xué)”，它們關(guān)注的定量研究都具有不可忽視的重要價值。特別是借助大數(shù)據(jù)分析，可以發(fā)現(xiàn)海量數(shù)據(jù)背后隱藏的人類肉眼無法企及的規(guī)律。事實上，早在大數(shù)據(jù)技術(shù)興起之前，數(shù)學(xué)就已經(jīng)將其觸角深入到了法律領(lǐng)域。由于使用數(shù)學(xué)解釋法律現(xiàn)象具有客觀性，數(shù)學(xué)方法因而能夠成為法律論證的重要方法。

不過，在實踐中，法律的數(shù)量規(guī)定性往往被簡單地理解為數(shù)額、數(shù)量，如刑期的長短、犯罪所得的多少、犯罪率、發(fā)案數(shù)等。其實，法律的量的一面，具有遠(yuǎn)比此更豐富的內(nèi)涵。數(shù)學(xué)的本質(zhì)是“化繁為簡”，或者說數(shù)學(xué)的妙用是把復(fù)雜的問題變得簡單［30］30-39。而在法律領(lǐng)域，數(shù)學(xué)的功能在于對待解問題進(jìn)行恰當(dāng)?shù)爻橄蟛⒖紤]抽象后的操作和實現(xiàn)（即融合了工程思維的數(shù)學(xué)思維）。也就是說，我們決不能把數(shù)學(xué)方法狹隘地理解為加減乘除的數(shù)值運算，而必須上升到思維方法的轉(zhuǎn)換和法學(xué)范式創(chuàng)新的層面。在復(fù)雜性問題越來越多的信息技術(shù)時代，法學(xué)研究不能滿足于只考慮合法還是非法的二元編碼，而必須要有“問題解決進(jìn)路”（problem resolving approach）的思維方法［31］，此即“計算思維”。

如前所述，早在“計算思維”概念產(chǎn)生之前，人們已經(jīng)在運用這種思維指導(dǎo)自身的行動，但那大多是一種自發(fā)狀態(tài)，并非理論上的自覺?！皼]有革命的理論，就不會有革命的運動?！痹谟嬎阋殉蔀槔碚摵蛯嶒炛饪茖W(xué)研究的“第三條腿”的時代背景下，加強計算思維的研究與運用勢在必行。目前，計算思維在社會科學(xué)研究中還處于初始階段。觀念的滯后、理論的零散、方向的模糊、多學(xué)科背景復(fù)合型人才的匱乏，都是制約計算社會科學(xué)發(fā)展的障礙［6］。而探索計算思維在法律領(lǐng)域的功能和作用，對長期習(xí)慣于規(guī)范分析和價值判斷等傳統(tǒng)研究方法的法律學(xué)人來說，更是一個新課題和新挑戰(zhàn)。