“赵翔鹏的Blog” 的评论 http://www.zhaoxiangpeng.com Xiangpeng's Thinkpad Sat, 28 Aug 2010 13:20:36 +0000 http://wordpress.org/?v=2.9.2 hourly 1 崂山可乐 关于 五台游记 的评论 http://www.zhaoxiangpeng.com/2010/08/%e4%ba%94%e5%8f%b0%e6%b8%b8%e8%ae%b0/comment-page-1/#comment-163 崂山可乐 Sat, 28 Aug 2010 13:20:36 +0000 http://www.zhaoxiangpeng.com/2010/08/%e4%ba%94%e5%8f%b0%e6%b8%b8%e8%ae%b0/#comment-163 我也不知道你什么时候能再去 我也不知道你什么时候能再去

]]> 青 关于 点滴 的评论 http://www.zhaoxiangpeng.com/2010/07/%e7%82%b9%e6%bb%b4/comment-page-1/#comment-162 青 Thu, 12 Aug 2010 02:14:45 +0000 http://www.zhaoxiangpeng.com/2010/07/%e7%82%b9%e6%bb%b4/#comment-162 “用来在以后的时光里反复揣摩和回忆一座城市”，我们写博，大抵也是为此吧。在文字里追寻和在光影里追寻，回忆。 “用来在以后的时光里反复揣摩和回忆一座城市”，我们写博，大抵也是为此吧。在文字里追寻和在光影里追寻，回忆。

]]> Xiangpeng 关于 人能完全认识自己吗。。。 的评论 http://www.zhaoxiangpeng.com/2010/05/%e4%ba%ba%e8%83%bd%e5%ae%8c%e5%85%a8%e8%ae%a4%e8%af%86%e8%87%aa%e5%b7%b1%e5%90%97%e3%80%82%e3%80%82%e3%80%82/comment-page-1/#comment-160 Xiangpeng Fri, 16 Jul 2010 01:58:41 +0000 http://www.zhaoxiangpeng.com/2010/05/%e4%ba%ba%e8%83%bd%e5%ae%8c%e5%85%a8%e8%ae%a4%e8%af%86%e8%87%aa%e5%b7%b1%e5%90%97%e3%80%82%e3%80%82%e3%80%82/#comment-160 哈，总结得真好。谢谢~~~ 哈，总结得真好。谢谢~~~

]]> 崂山可乐 关于 人能完全认识自己吗。。。 的评论 http://www.zhaoxiangpeng.com/2010/05/%e4%ba%ba%e8%83%bd%e5%ae%8c%e5%85%a8%e8%ae%a4%e8%af%86%e8%87%aa%e5%b7%b1%e5%90%97%e3%80%82%e3%80%82%e3%80%82/comment-page-1/#comment-159 崂山可乐 Thu, 15 Jul 2010 16:38:19 +0000 http://www.zhaoxiangpeng.com/2010/05/%e4%ba%ba%e8%83%bd%e5%ae%8c%e5%85%a8%e8%ae%a4%e8%af%86%e8%87%aa%e5%b7%b1%e5%90%97%e3%80%82%e3%80%82%e3%80%82/#comment-159 这只猫咪坚毅中带着果敢，果敢中透着无辜，无辜里饱含辛酸，辛酸里透着幽默 喵了个咪的，画得好 潜水艇飘过~~~~~~~~~ 这只猫咪坚毅中带着果敢，果敢中透着无辜，无辜里饱含辛酸，辛酸里透着幽默
喵了个咪的，画得好

潜水艇飘过~~~~~~~~~

]]> Xiangpeng 关于 用VSTO 2008写一个Outlook 2007插件 的评论 http://www.zhaoxiangpeng.com/2008/09/howto-write-an-outlook-2007-addin-with-vsto-2008/comment-page-1/#comment-144 Xiangpeng Tue, 13 Jul 2010 06:58:09 +0000 http://www.zhaoxiangpeng.com/articles/%e7%94%a8vsto%e5%86%99%e4%b8%80%e4%b8%aa%e7%ae%80%e5%8d%95%e7%9a%84outlook%e6%8f%92%e4%bb%b6.html#comment-144 Wow. So you can read Chinese. ;D Wow. So you can read Chinese. ;D

]]> Xiangpeng 关于 近期形式化方法相关学术报告/课程 的评论 http://www.zhaoxiangpeng.com/2007/08/%e8%bf%91%e6%9c%9f%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e7%9b%b8%e5%85%b3%e5%ad%a6%e6%9c%af%e6%8a%a5%e5%91%8a%e8%af%be%e7%a8%8b/comment-page-1/#comment-143 Xiangpeng Tue, 13 Jul 2010 06:57:32 +0000 http://www.zhaoxiangpeng.com/articles/%e8%bf%91%e6%9c%9f%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e7%9b%b8%e5%85%b3%e5%ad%a6%e6%9c%af%e6%8a%a5%e5%91%8a%e8%af%be%e7%a8%8b.html#comment-143 形式化的书很多，方向也很多，好像是各个武功门派。可以从Tony Hoare的Communicating Sequential Processes (CSP)看起，http://www.usingcsp.com/ 或者看中文版的The B Book，裘老师翻译过。 数学主要是数理逻辑，我当时读了北京大学的《离散数学教程》（重点是数理逻辑部分），和科学出版社的《面向计算机科学的数理逻辑》。 但《面向计算机科学的数理逻辑系统建模与推理》应该更适合入门，外国人写的书一般比较生动易懂。http://book.douban.com/subject/1277302/ 而且这本书讲到了model checking等方法，是很现代的书。 还有Glynn Winskel 的Formal Semantics of Programming Languages，这个自己读起来恐怕比较费力，先读前面的吧。 形式化的书很多，方向也很多，好像是各个武功门派。可以从Tony Hoare的Communicating Sequential Processes (CSP)看起，http://www.usingcsp.com/
或者看中文版的The B Book，裘老师翻译过。

数学主要是数理逻辑，我当时读了北京大学的《离散数学教程》（重点是数理逻辑部分），和科学出版社的《面向计算机科学的数理逻辑》。
但《面向计算机科学的数理逻辑系统建模与推理》应该更适合入门，外国人写的书一般比较生动易懂。http://book.douban.com/subject/1277302/
而且这本书讲到了model checking等方法，是很现代的书。

还有Glynn Winskel 的Formal Semantics of Programming Languages，这个自己读起来恐怕比较费力，先读前面的吧。

]]> jdm 关于 近期形式化方法相关学术报告/课程 的评论 http://www.zhaoxiangpeng.com/2007/08/%e8%bf%91%e6%9c%9f%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e7%9b%b8%e5%85%b3%e5%ad%a6%e6%9c%af%e6%8a%a5%e5%91%8a%e8%af%be%e7%a8%8b/comment-page-1/#comment-128 jdm Mon, 12 Jul 2010 14:55:59 +0000 http://www.zhaoxiangpeng.com/articles/%e8%bf%91%e6%9c%9f%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e7%9b%b8%e5%85%b3%e5%ad%a6%e6%9c%af%e6%8a%a5%e5%91%8a%e8%af%be%e7%a8%8b.html#comment-128 赵博： 你好！ 我正在读你08年的博士论文，受益匪浅，因为我9月份去武汉大学软工所读博（也可以说成赌博吧），我大方向与你相似：面向服务的服务组合和协作之形式化。现在看分布式系统的书籍以入门，至于形式化自己几乎没有底子。希望赵博多指点，希望列一个形式化和数学基础方面书单，并希望赐教研究方向的高见。 jdm 赵博： 你好！
我正在读你08年的博士论文，受益匪浅，因为我9月份去武汉大学软工所读博（也可以说成赌博吧），我大方向与你相似：面向服务的服务组合和协作之形式化。现在看分布式系统的书籍以入门，至于形式化自己几乎没有底子。希望赵博多指点，希望列一个形式化和数学基础方面书单，并希望赐教研究方向的高见。

jdm

]]> Lars Eggert Pick up Artist 关于 用VSTO 2008写一个Outlook 2007插件 的评论 http://www.zhaoxiangpeng.com/2008/09/howto-write-an-outlook-2007-addin-with-vsto-2008/comment-page-1/#comment-127 Lars Eggert Pick up Artist Mon, 12 Jul 2010 02:33:49 +0000 http://www.zhaoxiangpeng.com/articles/%e7%94%a8vsto%e5%86%99%e4%b8%80%e4%b8%aa%e7%ae%80%e5%8d%95%e7%9a%84outlook%e6%8f%92%e4%bb%b6.html#comment-127 cool :-) cool :-)

]]> Xiangpeng 关于 做完了Web service，形式化方法再能做点啥？ 的评论 http://www.zhaoxiangpeng.com/2010/03/%e5%81%9a%e5%ae%8c%e4%ba%86web-service%ef%bc%8c%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e5%86%8d%e8%83%bd%e5%81%9a%e7%82%b9%e5%95%a5%ef%bc%9f/comment-page-1/#comment-125 Xiangpeng Thu, 08 Jul 2010 06:40:19 +0000 http://www.zhaoxiangpeng.com/2010/03/%e5%81%9a%e5%ae%8c%e4%ba%86web-service%ef%bc%8c%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e5%86%8d%e8%83%bd%e5%81%9a%e7%82%b9%e5%95%a5%ef%bc%9f/#comment-125 搜资料尽量不要搜中文吧，一般都没多少值得看的东西。不过，如果中文都能搜出一大堆，那这个问题肯定已经不需要再做了。 搜资料尽量不要搜中文吧，一般都没多少值得看的东西。不过，如果中文都能搜出一大堆，那这个问题肯定已经不需要再做了。

]]> Xiangpeng 关于 做完了Web service，形式化方法再能做点啥？ 的评论 http://www.zhaoxiangpeng.com/2010/03/%e5%81%9a%e5%ae%8c%e4%ba%86web-service%ef%bc%8c%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e5%86%8d%e8%83%bd%e5%81%9a%e7%82%b9%e5%95%a5%ef%bc%9f/comment-page-1/#comment-124 Xiangpeng Thu, 08 Jul 2010 06:39:00 +0000 http://www.zhaoxiangpeng.com/2010/03/%e5%81%9a%e5%ae%8c%e4%ba%86web-service%ef%bc%8c%e5%bd%a2%e5%bc%8f%e5%8c%96%e6%96%b9%e6%b3%95%e5%86%8d%e8%83%bd%e5%81%9a%e7%82%b9%e5%95%a5%ef%bc%9f/#comment-124 听起来不错。有机会的话跟你讨论一下…… 听起来不错。有机会的话跟你讨论一下……

]]>