摘要：
使用命名组合来解析结构化的文本数据 有时候我们拿到的数据是以文本的形式逐条列出，而在输出文本时为了增加可读性，可能会将数据元素的描述信息写入进去，这样的结构化数据方便人工识别，但是对于数据的二次利用远不如csv,json等结构化数据好用，为了提取其中有用的信息，可以使用python正则库中命名组合的 阅读全文
摘要：
Python面向对象程序设计进阶 继承自Object类的四个特殊方法 __init__() 在创建对象时（比如p = Shape.Point()），首先调用特殊方法__new__()来创建该对象，之后调用特殊方法__init__()对其进行初始化。 __eq__() 默认情况下，自定义类的所有实例都 阅读全文
摘要：
proof-theoretic ways to derive facts bottom up: starting from the known facts and deriving all possible new facts technique: fixpoint top-down: starti 阅读全文