可逆

这是我于 2014 年 8 月 9 日在加利福尼亚州伯克利举行的祖先健康研讨会上的演讲视频和幻灯片。我很高兴见到参加会议的许多人。我建议先观看视频，也许可以在单独的窗口中观看上传的幻灯​​片，因为这样可以更方便地查看参考资料和其他详细信息。 （注意：您会注意到视频和幻灯片版本中的一些细微差别，因为 AV 团队无意中投......

跳转至导航跳转至搜索可逆计算是一种计算模型，其中计算过程在某种程度上是时间可逆的。在使用从抽象机的一种状态到另一种状态的确定性转换的计算模型中，可逆性的必要条件是，从（非零概率）状态到其后继项的映射关系必须是一对一的。可逆计算是非常规计算的一种形式。 为此，有两种特别重要的密切相关的可逆性类型：物理可逆性和逻辑......

Jl(DSLLang)，是一种允许程序回到过去的可逆域特定语言(逆)。 现在，函数数据视图由x|>；双射指定，例如，在可逆上下文中，先前的grad(X)现在应该写为x|>；grad。 可逆计算之所以奇怪，主要是因为我们缺乏使用它的经验。--亨利·贝克(Henry Baker，1992)。 对i=1：lengt......