===计算法律学===
:蔡维德教授在其[[数字社会]]（Digital 蔡维德教授在其数字社会（Digital Society)课件开篇这样说道：
我们正在步入数字社会，在这我们可以做到合法交易。
这是一个新的研究领域，它涉及到许多学科，例如[[计算机]]、法律和商业。、[[法律]]和商业。
数字社会是一个[[计算]]构架，这种构架是可以运行的。
它涉及到现实生活中的实体。
*2015年6月22日，IBM宣布她将运用Watson软件来分析法律契约合同
*“Watson律师”将出现
*智能合约最初由Nicholas Szabo研发，它有法律和计算机的背景Szabo研发，它有法律和计算机的[[背景]]计算法律学需要做的是如何让电脑识别判断法律条文，进而替代人来执行法律。而我们这里所说的识别与人类的[[认知]]相似，都可以看做是一种[[学习]]过程。我们从智能合约4项原则（储存在区块链中的所有资产项目必须合法且有效，运行的单位或个人在法律上鼻血拥有合法的所有权。智能合约的程序必须是被法律认同的程序，以使它具有法律效力。执行正确。智能合约的结果储存具有法律约束力）可以看出计算机可以理解并应用法律的程度。过程。我们从智能合约4项原则（储存在区块链中的所有资产项目必须合法且有效，运行的单位或个人在法律上必须拥有合法的所有权。智能合约的程序必须是被法律认同的程序，以使它具有法律效力。执行正确。智能合约的结果储存具有法律约束力）可以看出计算机可以理解并应用法律的程度。
===参考文献===