Feng’s blog

是的，我在读村上的《当我谈跑步时，我在谈些什么》。

去年已经听道长介绍过了，一直没有去读，也许是没有想去读。也许是一时兴起，也是就是个ghost，或是daemon，总之我要读它了，我也在跑步。

那就从这句开始吧，“Pain is inevitable,Suffering is optional”.

另外，今天天气不错，但是我没有时间享用。

运行Django Step by Step第二节的例子，出现如下错误，解决方法是：修改settings.py，添加‘django.middleware.csrf.CsrfResponseMiddleware’，最后结构如下：

MIDDLEWARE_CLASSES = (
‘django.middleware.common.CommonMiddleware’,
‘django.contrib.sessions.middleware.SessionMiddleware’,
‘django.contrib.auth.middleware.AuthenticationMiddleware’,
‘django.middleware.csrf.CsrfViewMiddleware’,
‘django.middleware.csrf.CsrfResponseMiddleware’,
)

403 Forbidden

CSRF verification failed. Request aborted.

Help

Reason given for failure:

    CSRF token missing or incorrect.
    

In general, this can occur when there is a genuine Cross Site Request Forgery, or when Django’s CSRF mechanism has not been used correctly. For POST forms, you need to ensure:

• The view function uses RequestContext for the template, instead of Context.
• In the template, there is a {% csrf_token %} template tag inside each POST form that targets an internal URL.
• If you are not using CsrfViewMiddleware, then you must use csrf_protect on any views that use the csrf_token template tag, as well as those that accept the POST data.

You’re seeing the help section of this page because you have DEBUG = True in your Django settings file. Change that to False, and only the initial error message will be displayed.

You can customize this page using the CSRF_FAILURE_VIEW setting.

（图片来自Wikipedia）

2010年7月2日，著名德国数学家、计算机科学家Carl Adam Petri与世长辞，享年83岁。他在计算机科学方面的主要成就，是提出了用于描述和建模分布式并发系统的Petri网模 型和以此模型为基础发展出来的网论（net theory），在软件设计（尤其是模型驱动设计）、工作流管理、流程控制、协议验证、机械工程等领域都有广泛应用。

与其他工业标准如UML活动图、BPMN不同的是，Petri网既有严格的数学表述方式，也有直观的图形表达方式。Petri网的模拟能力已被证明 与图灵机是等价的。但Petri网也有所建模型容易变得非常庞大等缺点。

按Wikipedia中文版的描述：

经典的Petri网是简单的过程模型，由两种节点：库所（place）和变迁（transition）、有向弧以及令牌 （token）等元素组成的。

【人物小传】

1926年7月12日Petri生于德国莱比锡。根据好 友的回忆，Petri的父亲是一位数学家，给他讲过许多数学家的故事，因此他从小就对数学发生了兴趣。而且由于父亲的关系，他得以很早就读到爱因 斯坦的著作，当时这些书在德国还是禁书。

1939年，他13岁那年，为了描述化学过程而产生了Petri网（这个名字当然是后来其他人命名的）的最初想法。但这一想法直到1962年他写作 博士论文“Kommunikation mit Automaten”（用自动机通信）才第一次以文献形式公诸于世。（Petri的文章）

1941年，父亲给他介绍了德国计算机先驱Konrad Zuse的工作，立即引起了他对计算机的兴趣。除了计算机理论研究之外，他甚至自己设计了一台小的模拟计算机。

1944年他刚刚高中毕业，就被迫加入了纳粹德军。后被英军俘虏，监禁在英国，直到1949年才被释放。（Wilfried Brauer, Wolfgang Reisig）在此期间，他一直在思考计算的本质，模拟计算和数字计算的差异等重大课题。他发现，已有的计 算机理论如自动机和形式语言不适合描述物理系统，缺乏重要的并发概念。

1950年，他返回德国，在汉诺威工业大学（ Technical University Hannover）学习数学，并曾在IBM接受一年培训。1956年获得学位，并留校任教。1959年转到波恩大学任教并攻读博士学位。

1962年他在达姆施塔特工业大学获得博士学位。此后的科研生涯中，他创建了波恩大学的计算中心，并担任过德国国家数学与计算中心主任等职。

1989年他当选欧洲科学院院士。2008年他荣获计算机领域最高荣誉之一IEEE计算机先驱奖。他对计算机科学的贡献，可以在Milner 1991年图灵奖获奖演讲中的话得到充分证明：

“一直以来我叙述的许多内容，其实Petri在1960年代已经想到了，他是离散并发系统的科学建模的先驱。他的工作是并发理论 的源头。”

应该说，Petri网是超越时代的，虽然在学术界一直有一些影响，但工业界注意到它的重要性，还是近年的事情。此前多年，Petri本人一直比较寂 寞。但终其一生，他都在并发理论不断前行，硕果累累。

尽管去做——无压工作的艺术

《高效能人士的七个习惯》(中文版)..pdf

Getting_Real.chm

readyforanything

争取点滴。

华灯纵博，雕鞍驰射，谁记当年豪举？酒徒一半取封候，独去作江边渔父。

轻舟八尺，低逢三扇，占断苹洲烟雨。镜湖元自属闲人，又何必官家赐与！