G****t
发帖数: 1799 | 1 照见清净心 禅修入门指引
MEDITATION:ADVICE TO BEGINNERS
（本书已根据原版书校对，电子版请上 www.guanyin123.com 佛学网免费下载 南无观
世音菩萨）
作者：波卡仁波切（Bokar Rinpoche）
译者：吴嘉真 陈玲珑
审阅：丁乃竺
出版社：张老师文化
作者简介：
波卡仁波切（Bokar Rinpoche）
一九四〇年诞生于藏西地区的游牧家庭中，经第十六世大宝法王认证为上一世波卡仁波
切之转世。二十岁那年，随着其他上师由西藏……至印度，在印度受教于藏传佛教中最
伟大的上师之一卡卢仁波切（Kalu Rinpoche），在其指导下完成两次三年三个月的传
统严谨闭关。他是藏传佛教香巴噶举传承之法脉持有者，担任多所寺院之闭关总导师，
亦广受其他教派所推崇，……也时常邀请他互相交换心得及讨论。
封面推荐：
随着禅修的进步，缠心的念头会减少，即使念头仍然存在，也已失去了牵制力，不再是
痛苦的原因。我们的心会平静下来，升起愉悦的觉受；甚至我们的脸会变得开朗、和善
及欢喜。我们会变得平易近人；别人会希望时常看到我们。
波卡仁波切是噶举派首席禅修老师，在... 阅读全帖 |
|
L******g
发帖数: 1371 | 2 作者:张开基
（註：主文引用自「印顺法师」所着之「印度之佛教」一书，1985年「正闻出版社」出
版；「印顺法师」为近代中国佛教知名高僧，在此书中对佛教在印度覆亡原因之叙述尚
属客观公允，较少粉饰护短之情事，故引用来作为补充）
『……第一节 教难之概况及其由来
迦王之世（笔者註：指「阿育王」），佛教一跃而为印度之国教，远及异域，炳耀其悲
智之荣光。然诸行无常，迦王殁，不五十年而教难起；自尔以来，佛教退为印度文明之
波涛，不復为主流矣！迦王殁后，其子达摩婆陀那立。依耆那敌徒所传，王尝于五印度
广建耆那寺院；其子多车王，则为邪命外道造三洞窟精舍云。佛元二百零四年，多车王
不孚众望，大臣补砂蜜多罗，握兵权，得婆罗门国师之助，乃弑王而自立。于是冒狸王
朝亡，建熏迦王朝。补砂蜜多罗王，信婆罗门教，行迦王悬为厉禁之马祠，开始为毁寺
、戮僧之反佛教行为。佛教所受苦难之程度，传记多不详。『阿育王傅』，『舍利弗问
经』，极言其寺空、僧绝，有避入南山以仅存者。王殁，佛教乃稍稍復兴，然远非昔日
之旧矣。幸补砂蜜多罗王之排佛，仅及于中印（笔者註：指印度中土或印度中部地区）
，时西北印及南印，非其政力所及也。
... 阅读全帖 |
|
A****C
发帖数: 20 | 3 往期回顾：
1993年，安徽省委、省政府决定重点支持安徽大学进入国家“211工程”并成立省实施
“211工程”计划领导小组。经过数年努力，1996年安徽大学通过“211工程”部门预审
，1997年通过立项审核，1998年经国家计委批准立项，1999年国家计委批复同意我校“
九五”“211工程”建设计划。2001年，我校“九五”“211工程”在子项目验收基础上
通过国家整体项目验收。2002年、2003年，我校“十五”“211工程”建设计划分别通
过教育部专家组和中国国际工程咨询公司的审核评估，2004年获国家发改委批复，正式
启动建设。2006年5月，我校“十五”“211工程”在子项目验收基础上通过国家整体验
收。
省委、省政府高度重视并大力支持安徽大学“211工程”建设。早在1993年，省政
府就成立实施“211工程”计划领导小组，杜宜瑾任组长，2001年改由蒋作君任组长。
安徽大学“211工程”明确列入省“九五”、“十五”和“十一五”规划，并列入省教
育振兴行动计划和“861”计划。郭金龙书记在2007年元月视察时说：“省委、省政府
充分认识到安大在省属高校中的领军地位和作... 阅读全帖 |
|
i***n
发帖数: 147 | 4 Don't be so sad guys.
其实中国人就是爱搞这种形式化的东西。
合并能有什么实质性的改变吗？
我看难。
除了毕业生的证书上有了个北大的章，签名不在是大饼之外，
我实在不知学生还能捞到啥好处。
北医还永远是咱们的北医，
是永远值得我们骄傲和怀念的北医。
I do hope so!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
在 nymike (攻击是我的剑,剑上的寒光流着你的血) 的大作中提到: 】
no
are |
|
d*********r
发帖数: 813 | 5 数学到底是什么？ (1)
送交者: alaska 2004年2月19日14:00:50 于 [教育与学术]http://www.bbsland.com
数学到底是什么？很多人曾经尝试过，但没有一个人成功地定义了数学；永远有些定义未
能包含的东西。
粗略说来，人们认为数学处理数字和图形，处理模式、关系与运算，还认为数学涉及公理
、证明、引理和定理的形式化程序自阿基米德时代以来就从未改变过。人们还知道，数学
的
目的是形成所有合理思想的基础。
有些人可能认为，是外部世界铸造了我们的思想——即人脑的运作——使之具有了现在称
之为逻辑的东西。另外一些人——诸如哲学家以及科学工作者——则认为，我们的逻辑思
维（思想过程？）是头脑自身工作的创造物，是通过进化独立于外部世界发展的结果。然
而，数学则显然是具有上述两方面内容的。 它似乎是描述外部世界的语言，但可能更适
宜用来分析我们自己。在从原始神经系统开始的进化过程中，人脑作为由上百亿神经元和
为
数更多的元与元之间的连接所构成的组织，已然经历了很多变化和生长，而这些变化和生
长则是无数偶然事件的结果
数学本身的存在是由于这样的事实：存在有某 |
|
g***2
发帖数: 403 | 6 管理类国际顶级期刊录用商学院教授论文
发表日期：2009-11-26 | 稿件来源:商学院 | 作者:商学院 | 编辑:单行线 | 访问量:
1447
最近，我校特聘教授马铁驹的论文《Coping with uncertainties in
technological learning》被《Management Science》录用并以正式出版前articles
in advance的形式在网上公布。Management Science 是国际上公认的管理类顶级期刊
之一。据检索，这是首次以中国学者为第一作者、中国大陆的科研机构和院校为第一单
位在该杂志上发表学术论文。
该论文中，马铁驹教授用一个受能源和气候变化政策模型启发的、高度形式化的模
型来探索和比较三种处理技术学习不确定性的随机优化方法，并得出了独创性的两个新
观点。Management Science的审稿人充分肯定了其结论的学术意义和价值。
该论文的发表已经引起国内同行的高度关注，国家自然科学基金会管理学部领导知
悉后，特地向马铁驹教授表示祝贺，并了解其科研工作情况。
马铁驹教授2003 |
|
f*********g
发帖数: 632 | 7 南方人大都天然能辨别古平仄。北方人基本就在入声上出问题，多背多记，自然就解决
了。
可能有押韵不准的，可在这点上，北方人不比南方人强，依照《平水韵》或者切韵押韵
，大都得记忆如何分韵，或者靠多背古诗辨别。
所以，大家应该没有不宜作诗的问题。有人说，诗有别才，跟能辨别韵律没有很大的关
系。就像唱歌，旋律优美，歌词未必好，反之亦然。当然最好的是旋律就是韵律、词藻
、意境都好了。
做一下另类诗歌研究，突然想到，其实按照汉字字数和平仄以及律诗格律，汉字组合做
律诗的可能是有限的，也就是容许做的律诗是有限的，大概至多允许10^240首以下。倒
是可以把组合的东西还有一点形式化的东西用于诗歌研究，应该比较有意思。不过也是
游戏了，不会入那帮研究诗歌的人的法眼。
诗歌让我这么一糟蹋，索然无味啊。哈哈。 |
|
z***v
发帖数: 145 | 8 是啊，平仄啥的整个儿一个搞不清/懂，难度太大了，经常是看到诗词就是认得字儿也不会念啊。。：（（
你说的组合的东西的什么的意思是说是诗词可以长短句变换？短句拉长、长句缩短、加减修饰或是调子变个奏啥的？~~~
不知道有没有TX可以把这些诗词啥的给配上书法/画画/照片/配乐朗诵啥的，或是赏析一把，就像早中晚饭的时候学校校园里面的广播和收音机里面的，还有橱窗里面的展览啥的那样的。。。~~~
南方人大都天然能辨别古平仄。北方人基本就在入声上出问题，多背多记，自然就解决
了。
可能有押韵不准的，可在这点上，北方人不比南方人强，依照《平水韵》或者切韵押韵
，大都得记忆如何分韵，或者靠多背古诗辨别。
所以，大家应该没有不宜作诗的问题。有人说，诗有别才，跟能辨别韵律没有很大的关
系。就像唱歌，旋律优美，歌词未必好，反之亦然。当然最好的是旋律就是韵律、词藻
、意境都好了。
做一下另类诗歌研究，突然想到，其实按照汉字字数和平仄以及律诗格律，汉字组合做
律诗的可能是有限的，也就是容许做的律诗是有限的，大概至多允许10^240首以下。倒
是可以把组合的东西还有一点形式化的东西用于诗歌研究，应该比较有意思。不过... 阅读全帖 |
|
c******m
发帖数: 3 | 9 历史资源是创造的？
呵呵，
大哥，我看你对这个词的定义还不太明白吧。
昌平是安静，但是缺少一种氛围，我们北大人最自豪的不就是我们的精神吗
难道精神的圣地就不重要吗？
橘在北方就成枳了，相信你这点知识应该有的吧。
如果你说北大校园，北大的博雅塔这些就是一种形式化的东西，
那么中国为什么拼命保护什么故宫，颐和园。这些不都是一些形式吗？
你说历史的东西可以再创造，可是创造出来的不是历史了，而是一种新的东西，
是一种和历史被创造的时候所创造出来的历史完全不一样的东西。
珠海不是新修了圆明新园吗？你觉得那就是所谓的创造？呵呵 |
|
s**n
发帖数: 6126 | 10 这个很容易落入形式化的。。。
我觉得这种半熟不熟的人，是最不容易让人打开心扉的
还是一对一的聊天比较有效
你看搞咨询的，哪有多对一或者一对多的情况的。。。 |
|
j**********t
发帖数: 3480 | 11 同意啊。
当然，也有例外。
这个很容易落入形式化的。。。
我觉得这种半熟不熟的人，是最不容易让人打开心扉的
还是一对一的聊天比较有效
你看搞咨询的，哪有多对一或者一对多的情况的。。。 |
|
g*d
发帖数: 6969 | 12 我来跳坑
其实我还是多喜欢看sex and city的电视的。电影2还没看。那4个同学就不评价了，说
说这个boring的问题。
其实估计人在一起呆久了，也想换换环境。我觉得这个一周有2天不在一起也不是不可
以。但是呢，就怕你是那2天和朋友一起耍了，或者自己耍了，他/她是出门找其他的美
女/帅哥一起风花雪月了。当然要是2个人对这个事情都无所谓，也没关系了。我想这个
肯定不是土姐说的保持婚姻新鲜了。另外找不找美女/帅哥也是看人，有的人就是天天
在一起，也一样地只要有机会就和外面的美女/帅哥调情暧昧出墙出轨的。
所以呢，这个2天就有点太形式化了。要想新鲜还是要靠2个人不断地想出新想法来新鲜
，不要过一层不变的日子，另外个人也要有自己的社交圈，自己的追求，多知道点新东
西，这样2个人在一起的时候也有新话题。要是没得新东西加进来，分开再久，再见面
还是那些，怎么也会厌倦的。就像和老板做research，老板想要新idea，你要是没有，
就算一个月不见老板，下次见到，老板还是一样不待见你。要是这个时候有个新同学老
是有新idea给老板，你就只有悲惨了。
我这个是不是可以挣个大包子？ |
|
b*****n
发帖数: 3774 | 13 热泪盈眶，终于有人跳我的坑了。哆哆嗦嗦地掏腰包发包子。
赞这句“这个2天就有点太形式化了”，其实除非10几岁娃娃看琼瑶小说，摸得哪个相
信有且只有这两个人才能在一起，要相爱一辈子那些话。真正不管爱人朋友如果摸得共
同语言其实也就没啥意思了，不过爱人比朋友麻烦要一起承担责任，所以更加挑战得多
。两个人不一起做事情就容易脱节，但是摸得私人空间也很恼火，我觉得big有一句，
我们的婚姻我们制定规则何必要听社会的说法。
我也其实多喜欢看电视的尤其是从season1开始他们还多年轻的时候看起，还是安逸，
一个时代的感觉，我惯性大，喜欢看剧集和sequel，大概恋旧。 |
|
|
w***n
发帖数: 143 | 15 米国的朋友，有关心计算机的没有。在日前举行的中国计算机学会第
七届理事会上，中国工程院院士汪成为作了学术报告，题目：“请教
关于我国计算机发展的12个问题”。汪院士认为，计算机之所以能迅
猛发展，原因就是存在许多可改进之处，因此，他把自己在研究中发
现的一些尚未有定论的问题提出来，向各位专家求教。本版今天特刊
发汪院士的12个问题，供计算机界人士参考。欢迎大家见仁见智，就
此发表自己的看法。
一、有人认为：从图灵机的可计算理论可以得出“可计算”的三
个前提：必须把问题形式化；必须有一个算法；必须有合理的复杂度
。
请问：我们是否应尝试突破、并有可能（或部分地）突破这些前
提？还是只能在这个前提下进行创新？
二、有人认为：人思考和处理问题的认知过程是并行的、开放的
、
多维的、归纳演示的；而计算机求解问题的处理过程是对有限种符号
的有限长序列、按照事先编定的程序、对这一序列作有穷的变换，从
而得到一组新的符号。
请问：这两个过程的不一致是形成人与计算机间存在隔阂的主要
原因吗？尽量使两者一致是否是未来计算机技术及人工智能技术的主
要努力方向？
三、有人认为：软件的作用就是把人的认知过程翻 |
|
发帖数: 1 | 16 北京安检呢，我也经历过就是摆设根本就不管用，地铁养那么多人干嘛去呀，只能增加
安检这方面的工作。
前段时间浦东机场发生了爆炸，机场安检都比地铁安检严格多了，怎么还是出事了呢？
北京的地铁是我最烦的，明明都没有什么东西还要安检，说的不好听的就是有问题了那
个破机器也是查不出来的，最多也就测试一下水有没有问题，真觉得可以取消北京的这
个安检程序了。
看到朋友在微信上抱怨突然让我想到，费时费力的一件事情，还不能解决任何问题，真
的不是小看它，那个安检机器还没有那么厉害呢。 |
|
m*********u
发帖数: 1491 | 17 【 以下文字转载自 Biology 讨论区 】
发信人: Viscount (分成两半的子爵), 信区: Biology
标 题: 施一公的演讲：我们缺什么？
发信站: BBS 未名空间站 (Tue Dec 2 10:44:32 2014, 美东)
施一公的演讲：我们缺什么？
---------
（吴杨奖）委员会希望我讲些励志方面的东西。其实昨天晚上我本来想写几句，但
是看着窗外的雾霾，心情不好、写不出来，而且我也习惯即兴演讲，把自己的真心话说
出来。如果今天的演讲有一个标题的话，就是：我的科研动力。
最近在网上看到一些关于我的微信，包括把高晓松先生和施一公的观点放在一起
比较，评论我过去的一些经历。其实我很想告诉大家，实际的情况和这些评论是不一样
的—可能你们会觉得比较意外，但是我确实从来没有觉得自己有任何特殊之处。
我出生在河南郑州，但成长在河南省驻马店。为什么我要特别提驻马店呢？因为
这个地方特别具有代表性。驻马店相对于河南，就像河南相当于中国，就像中国相对于
世界。从地理，从经济，从科技，从文化，都是这样。我恰好是在开始有记忆、对社会... 阅读全帖 |
|
m*********u
发帖数: 1491 | 18 【 以下文字转载自 Biology 讨论区 】
发信人: Viscount (分成两半的子爵), 信区: Biology
标 题: 施一公的演讲：我们缺什么？
发信站: BBS 未名空间站 (Tue Dec 2 10:44:32 2014, 美东)
施一公的演讲：我们缺什么？
---------
（吴杨奖）委员会希望我讲些励志方面的东西。其实昨天晚上我本来想写几句，但
是看着窗外的雾霾，心情不好、写不出来，而且我也习惯即兴演讲，把自己的真心话说
出来。如果今天的演讲有一个标题的话，就是：我的科研动力。
最近在网上看到一些关于我的微信，包括把高晓松先生和施一公的观点放在一起
比较，评论我过去的一些经历。其实我很想告诉大家，实际的情况和这些评论是不一样
的—可能你们会觉得比较意外，但是我确实从来没有觉得自己有任何特殊之处。
我出生在河南郑州，但成长在河南省驻马店。为什么我要特别提驻马店呢？因为
这个地方特别具有代表性。驻马店相对于河南，就像河南相当于中国，就像中国相对于
世界。从地理，从经济，从科技，从文化，都是这样。我恰好是在开始有记忆、对社会... 阅读全帖 |
|
c*c
发帖数: 2397 | 19 http://www.historykingdom.com/read-htm-tid-107849.html
反智论与中国政治传统
——论儒、道、法三家政治思想的分野与汇流
一 引 言
中国的政治传统中一向弥漫着一层反智的气氛；我们如果用“自古已然，于今为烈
”这句成语来形容它，真是再恰当不过了。但是首先我们要说明什么叫做“反智”。
“反智论”是译自英文的anti-intellectualism，也可以译做“反智识主义”。“
反智论”并非一种学说、一套理论，而是一种态度；这种态度在文化的各方面都有痕迹
可寻，并不限于政治的领域。中国虽然没有“反智论”这个名词，但“反智”的现象则
一直是存在的。因为这个现象可以说普遍地存在于一切文化之中，中国自然不是例外。
研究这一现象的学者都感到不易给“反智论”下一个清晰的定义，不过一般地说，“反
智论”可以分为两个互相关涉的部分：一是对于“智性”(intellect)本身的憎恨和怀
疑，认为“智性”及由“智性”而来的知识学问对人生皆有害而无益。抱着这种态度的
人我们可以叫他做“反智性论者”(anti-intellectualist)。但是在西方，“反... 阅读全帖 |
|
f*n
发帖数: 3 | 20 搬过来看看吧
吉林省榆树市医院，一个县级医院，居然欠款高达2.5个多亿，钱哪去了？来看看土
皇帝是怎么假公济私 发家致富的吧 咱们老百姓也学学。
从李海宽（卫生局副局长，院长）来院后，大家认为榆树市医院会有新的起色，对
医院大动手脚，清理不合理事情，职工很感动，时间不长，就开始进行他的所谓改造医
院的形象工程，种花，修路，写标语，喊口号，对医院能改的地方尽量维护，装修，上
任两年多以来从不间断，几乎每日都有工程在干（常年在医院做工程的是李海宽的亲属
、同学、社会朋友等），以往旧的但功能尽在的各个科室医务人员展示牌，由他自己亲
侄子换掉从做，一块造价最多不足500元的展示牌，医院居然每块付给一万多元！！蒙
骗职工，作假招标，原来的办公室看着不够气派，更换了更大的，为了满足自己的需要
，将原来的财会科换到其他楼层，把财会科变成了自己的办公室，面积达到100多平米
，并且设立了四个院长办公室，每个面积都达到60-80平米，将原来很好的装潢拆掉，
窗户砸碎，重新装修，安装高档办公设备。
在上任两年来，招收聘用人员200多，其中包含自己亲属，并在医院负责管理院办
公室，两年来突击提拔中层干部约7... 阅读全帖 |
|
l****r
发帖数: 14809 | 21 不是很好，
三个时间段的故事同时穿插， 有点乱，特别是如果不事先知道故事的话
不知道林默宇是谁，感觉演员比演的较假，
比如那个北大老师， 他还有很多形式化，口号式的台词
韩新月本来应该是很文弱的， 特别是在后期
片子里面的感觉很健康，很强壮，说话底气十足 |
|
J*****3
发帖数: 525 | 22 哈哈，你也太直接，太近视了，我想的是今后的趋势，尤其是当剩女们意识到独立的重
要性和婚姻的形式化后。
那时，像类似小小人这样的留美IT人才，可能会被抬着帮人家生孩子去了， 有可能吗？ |
|
t*****n
发帖数: 1589 | 23 这种组织，不光是人的组织，甚至包括思维的组织。
比如写代码，有的人就是只能写很clever的代码，但写不了需要系统的，形式的，层次
性强的代码 （代码我是外行，正在学而已，但有这感觉）
再比如学术，西洋人就擅长那种paradigm的形式化的理论，看浦路东的什么是所有权（
私有制），不要说他的思维和辨析，那些问题，例如，if property is possible 自古
以来估计没几个中国人能想到，至少似乎没在书上流传下来。因为中国人就把这当场天
经地义了，甚至什么是天经地义都没想过，反正模模糊糊就是自古以来。
总之，就是思维非常没有organized。 |
|
|
R****r
发帖数: 227 | 25
做research最重要的是motivation...
就高兴了? 就满足了? 你怎么知道? 赫赫..
很多研究都是专注于某一个问题,在已经有的研究基础上面做出一点渐进性的贡献,
就是一种进步. 不是每篇paper都能拍拍脑袋就能导致质变.
看不懂公式有什么可报怨的, 去学学范畴论和逻辑不就完了.
程序员和研究人员是有区别的..
首先有些研究人员写paper确实没有职业道德,企图让人看不懂蒙混过关.但是这种
极端情况毕竟是少数,负责任的PC也不会让这种东西通过
其次是做形式化的研究必然需要用数学方法研究问题, 表现形式必然包括复杂的符号系统.
写paper都有篇幅限制,不可能每行公式都用一大段话来解释, 有个取舍问题 |
|
y**e
发帖数: 49 | 26
这本书不适合自学，
叙述比较严格，直观背景介绍的不好，内容有点陈旧，
对相关数学理论的介绍限于罗列，如果以前不明白，看了也不会明白，（我指的是理解）
全书结构比较模糊，适合专业人员做字典。
我比较喜欢看有历史，有参看文献评论的书
形式化方法对计算机专业出身的人来说是比较困难，主要是形式化方法训练不足，
特别是对符号的反映比较慢，对形式化的思维方法不熟练,相关的数学知识缺乏。
要命的有些东西，看看背景，让人觉得很容易懂,实际上一个符号差了十万八千里
开始看看都明白，想想什么都不明白，：）
如果是数学系过来的就会好得多，
不过，形式化方法还是很有用的，
如果数学基础好的话
。 |
|
j*****h
发帖数: 62 | 27 【 以下文字转载自 EE 讨论区 】
【 原文由 jiangch 所发表 】
假如我有n个随机过程X_1(t), X_2(t), ..., X_n(t)，(t \in [0..T]连续变量）
每个随机过程X_i(t)都是一个隐函数F_i(t)和高斯噪声R的和
即 X_i(t) = F_i(t) + R
现在，我在k个时间点t_1, t_2, ..., t_k, 上测得
X_1,X_2,..X_n的采样值（因此有，n*k个实验采样值）.
我的目标是根据这些采样值，计算出在所有时刻点，n个隐函数各自为
最大值的概率分布。形式化表述如下：
定义Y(t,i)为在时刻t，F_i为所有F_j, (j=1..n)里面的最大值的概率
即Y(t,i) = prob( Fi(t)=max_{j=1}^{n}(F_j(t)) )
这里允许对隐函数F_i(t)设定一些假设（比如连续）。
请问有没有什么随机过程的理论或者模型研究这种根据已知的采样点，
来反推最大隐函数的概率分布的问题。 |
|
w**********s
发帖数: 291 | 28 应该说os, architecture的工作工程性比较强吧，但不能说简单。
工程的东西，考虑的东西很多。好多是隐形的，或者难以量化的约束，无法形式化来解
决的。比如，速度、容量、安全性、兼容性、互通性。最后还有一个“简单再简单（但
不弱智）”，单这条约束就是巨大的挑战。
提出一个架构，得对很多方面进行平衡，需要对系统的发展有很好的理解和细致的洞察
力——比如最近几年各个子系统的发展趋势，从而小心避重就轻，做一个若干年内可高
效运行的系统。
搞理论的人可能认为自己能够出很多idea。但很多fancy的idea，在实际中根本行不通
。工业界没人理的。 |
|
p*********g
发帖数: 226 | 29 你讲逻辑，这个我还是有兴趣的。
你说：“自己没本事的AP才喜欢使劲push学生”
这个“才”字的意思就是：
“自己有本事的AP不喜欢使劲push学生”
我的反驳是：
“有些自己有本事的AP也喜欢使劲push学生”
我想不必用谓词形式化写下来了吧。 |
|
p*********g
发帖数: 226 | 30 你讲逻辑，这个我还是有兴趣的。
你说：“自己没本事的AP才喜欢使劲push学生”
这个“才”字的意思就是：
“自己有本事的AP不喜欢使劲push学生”
我的反驳是：
“有些自己有本事的AP也喜欢使劲push学生”
我想不必用谓词形式化写下来了吧。 |
|
s*********b
发帖数: 815 | 31 大多数时候用不上，但需要的时候就是定海神针。线性代数，统计，组合数学，图论，
优化。。。多少得用上一些。比如Quid这种公司搞的情报分析。Google大规模的机器学
习优化。设计多数据中心间的数据更新。这些工作又不全是PhD做的。最不济，看论文
总要数学吧？
另外各位老大把数学神秘化了。很多时候程序猿用的数学未必是满黑板公式的那种推导
，微积分用得更少，但是推断某项设计是否正确呢？比如分布式系统，结论的证明可以
一个公式不用（当然也可以形式化，走Gerared Tel那本书的路线），但要清晰推断并
不容易。做数据库系统的老大要确定transaction时候加锁的影响呢？。做编译优化常
见的分析也需要细致的分析吧？做A/B测试框架时优化排列的算法时，手边有The Art
of Computer Programming Vol 4要称手得多吧？做日志分析时引入改动过的
multiclass text classification好歹得知道点相关工作吧？当年Amazon率先做出
collaborative filtering 的也就是一普通程序猿，Greg Linden。这些都是数... 阅读全帖 |
|
s*****n
发帖数: 5488 | 32 这个傻鸟，去做什么形式化和语言，不就是一个简单弱智的例子，写成一堆公式拉倒。
真的要锻炼脑力，去做算法这种需要脑筋急转弯或者新的计算模式这种开创性工作啊。
估计这个傻鸟有认为不够高深不够来劲。 |
|
s*****n
发帖数: 5488 | 33 这个傻鸟，去做什么形式化和语言，不就是一个简单弱智的例子，写成一堆公式拉倒。
真的要锻炼脑力，去做算法这种需要脑筋急转弯或者新的计算模式这种开创性工作啊。
估计这个傻鸟有认为不够高深不够来劲。 |
|
a********e
发帖数: 16 | 34 四.艾兹赫尔·W·戴克斯彻（Edsger W. Dijkstra）。
1)理论物理学家转入计算机编程。
2)1956年左右，思考出最短路径算法，修改后为最短子分支树算法，发表于《数字数学
》。当时数学界几乎全在研究连续统和无穷大问题，无人关注。
3)针对资源共用问题，提出“互斥”方法，基于铁路信号系统的P（荷兰语“通过”）
、V（荷兰语“释放”）操作。
4)“哲学家的晚餐”，体现死锁问题。之后几年最成熟计算机系统MULTIX却并没有考虑
死锁问题。
5)前往美国布劳斯公司，推行编程的可验证性，提出“GOTO语句是有害的”，却阻碍了
一些程序员所喜欢的程序不确定性。
6)《程序与证明的形式开发》，拉近数学与计算机科学的距离。
7)对人工智能说不。
五.迈克尔·O·拉宾（Michael Oser Rabin）。
1)德国犹太人拉比家族（观察思考产生智慧的阶层）。
2)能够猜想的计算机：考虑有限状态机，证明非确定性有限状态机与确定性有限状态机
之间的转换关系。
2+)图灵于1935年定义“计算”的逻辑基础，设计图灵机。借助哥德尔不可判定原理，
设计停机问题，挑战希尔伯特判定性问题。
3)对计... 阅读全帖 |
|
G***l
发帖数: 355 | 35 Functional Programming这几年来越来越热。 最近几年FP开始流行。众多纯FP或者FP
为主的语言出现，比如haskell, clojure, ocaml, f#等等。 很多非FP的语言都不约而
同的加入一定的FP功能，C#,C++,Java(将要）。很多一定程度支持FP的比如Python，
Ruby之类也很流行。
FP好用吗？答案是肯定的。Emacs和它所有的插件都是lisp写的，Emacs多牛逼这里就不
多说了。工业界的例子，华尔街著名的高频交易公司Jane Stree Capital的系统就是
OCaml写的，这种系统不管是的复杂性，可扩展性还是，可靠性和性能要求都是很高的。
FP的优点在哪里？wiki的词条上面列了一些fp的特性和优点，我就不赘述了。下面说一
些我的个人体验。水平有限，思维比较杂乱，大家见谅。
写程序，不管是过程式,OO还是fp，说到底是还是数据和算法。过程式样的思维，你会
想到一个input，然后这个input怎么转化，操作，最后变成output。OO能让你灵活的拆
分开数据和算法并且模块化。但你只要用OO建模过，你就会发现一开始你想的就是有... 阅读全帖 |
|
G***l
发帖数: 355 | 36 Functional Programming这几年来越来越热。 最近几年FP开始流行。众多纯FP或者FP
为主的语言出现，比如haskell, clojure, ocaml, f#等等。 很多非FP的语言都不约而
同的加入一定的FP功能，C#,C++,Java(将要）。很多一定程度支持FP的比如Python，
Ruby之类也很流行。
FP好用吗？答案是肯定的。Emacs和它所有的插件都是lisp写的，Emacs多牛逼这里就不
多说了。工业界的例子，华尔街著名的高频交易公司Jane Stree Capital的系统就是
OCaml写的，这种系统不管是的复杂性，可扩展性还是，可靠性和性能要求都是很高的。
FP的优点在哪里？wiki的词条上面列了一些fp的特性和优点，我就不赘述了。下面说一
些我的个人体验。水平有限，思维比较杂乱，大家见谅。
写程序，不管是过程式,OO还是fp，说到底是还是数据和算法。过程式样的思维，你会
想到一个input，然后这个input怎么转化，操作，最后变成output。OO能让你灵活的拆
分开数据和算法并且模块化。但你只要用OO建模过，你就会发现一开始你想的就是有... 阅读全帖 |
|
c*******9
发帖数: 9032 | 37 对计算机来说，证明和“算”不是割裂的，任何证明命题都可以表示成算算数表达。
只要是公里化形式化的都可以用FP证明的。微积分相比FP的相关概念是浅显多了。 |
|
s*****V
发帖数: 21731 | 38 【 以下文字转载自 Military 讨论区 】
发信人: saturnV (土星五号), 信区: Military
标 题: 中国航天打造spaceOS
发信站: BBS 未名空间站 (Tue Dec 17 12:51:11 2013, 美东)
SpaceOS操作系统，中国航天造
2013-12-17
说起微软的Windows，苹果的Mac OS以及谷歌的Android，相信大家都不会陌生，它们都
是操作系统，即对计算机的各种资源进行管理的软件，是计算机能够运行的灵魂，美国
的一些航天器上用的就是VxWorks操作系统。但是，如果问起我国航天器上的计算机用
的是什么操作系统，也许很少有人知道。
事实上，中国航天科技集团公司五院从2001年就开始研发星载计算机特有的操作系统—
—SpaceOS，并在2006年首飞成功。此次的嫦娥三号探月任务控制计算机使用的是经过
升级和改进后的第二代星载计算机操作系统SpaceOS2。该系统首次亮相应用，就吸引了
众多关注的目光。
中国航天要有自己的操作系统
尽管与普通家用的操作系统设计原理相似，但“上天”的操作系统为了适应恶劣太空环
境，对安全性、... 阅读全帖 |
|
a*****e
发帖数: 1700 | 39 没错，真正做学术研究的正是要跳出这样的框框，而且这样的人在 PL 领域并不少见。
不妨客观地看看他经手的几个项目：
1. Pysonar。将类型推导引入动态语言，是个不错的主意，具体的优势，光凭王本人的
吹嘘不足取信。如果他能够给出一整套形式化的总结，包括 language and type
definition, type inference rules, proof of soundness 等等，写一篇 paper，如
果有料，完全可以投到 POPL 或者 PLDI。
2. Register allocation。他提出了不同于传统 colorization 的方案，如果能有一个
完整的实现和 evaluation，也至少是一片 PLDI 量级的论文。
3. PL 课堂作业。似乎他本人非常引以为豪，但这其实没什么了不起的，框架都是老师
搭好的，就做个具体实现，而且实现的也不是新方案。碰巧和某前人的研究成果撞车，
但这一点也不新鲜，人家有能力有耐心把具体实现中的技巧提炼出来成为理论，并且给
与证明。而从 1 和 2 可以看出，王垠本人其实从未正经完成过这样的事情。
缺乏一个 PhD... 阅读全帖 |
|
b***e
发帖数: 17 | 40 Javascript没有immutable，也没有什么歧义，虽然确实有的时候令人费解。
有一片文章是专门讨论SML和Haskell里面deref的含义的，并且由此引出了一个形式化
的pure的定义。很有意思。有兴趣可以读一读。
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=9CA80D
Roughly, if (deref a) is not further reducible, then it's purely functional.
Otherwise, if (deref a) can be further reduced to another value, then it
is impure. In pure languages, such as Haskell, the reduction of (deref a)
is at a second pass of interpretation (monadic interpretation). 所以Haskell
的语义和别的语言不一样的地方在于它有两层... 阅读全帖 |
|
h*c
发帖数: 45 | 41 我试图定义一个形式化的标准来衡量出票的准确率。这个目前还是一个不明朗的问题。
先建立简单的模型假设：假设只有一个买票窗口，有一个买票队列。这是纯数学模型，
和什么上万并发没关系。
定义简单的计数器算法为：列车每段有一个票数。买票只数数，不分座位。只要数目上
说有票，就出票(无座位号)。每个乘客在窗口发请求，得知有票或没票。这个算法是严
格定义的确定性算法。
定义准确性为：如果一个窗口卖票票+座位号的算法，对于相同的请求序列，返回的结
果和简单计数器法完全一致，则称为准确。否则为不准确。
请问赵，是否接受这个准确性定义。
请问姜，魏，对这个有没有问题。目前计划的实现能不能做到？
我个人认为这个是我可以接受的准确性定义，也是容易精确测量的。我不清楚姜，魏的
实时算法是否能达到这个准确性。如果不能，我个人认为应当是判输。但是抛开赌局不
谈，魏老师说的先发票一会再分座号的方法是可以以线性的算法做到准确分座的。所以
我还是认为魏老师的所提的实时方法是有价值的，可以降低出票的延迟，已达到更好的
客户体验。 |
|
d***a
发帖数: 13752 | 42 他确实是很明显系统方面比较弱。我有点奇怪，一般来说，能做编译器的人，至少对体
系结构应该非常熟悉才对。我猜测，他的expertise可能主要是两个：程序语言设计，
和编译器的前端。他对编译器的后端，运行代码生成和优化，很可能不熟悉。
在程序语言方面，他似乎对形式化语言的理论基础也不熟...非常奇怪的事情。似乎他
偏科很厉害，兴趣面窄。但这样的话，他当初怎么能保送读研呢。不懂。
情。 |
|
g****t
发帖数: 31659 | 43 很多话其实是没有对错之分的。
例如我现在说general AI肯定要出来。
可能对，也可能不对。
如果不对，那我把它弄对。
那就对了.
最后其实取决于实践和认识的互动，以及人的力量。
这是基本的辩证法。但是辩证法这个社会组织演进的philosophy
本身不一定是可以形式化的。 |
|
h*i
发帖数: 3446 | 44 当然不会是艺术。而是计算机上可以执行的，可以理解的东东。而且东东出来的之后，
不愁有理论家来把它搞成复杂的形式化，不用担心。只是可怜以后学这些东东的同学们
，不知道要被什么变态的数学公式折磨。 |
|
|
h*i
发帖数: 3446 | 46 为什么是“无法用确定图灵机表现”？计算机都能实现了，当然是图灵机能表现的，当
然能形式化。 |
|
h*i
发帖数: 3446 | 47 Whatever. 那我们不关心图灵机不就得了。放心，图灵机不能用，理论家们自然会提出
其他的形式化，总得吃饭，对不对。
拟了 |
|
h*i
发帖数: 3446 | 48 NP hard真不是啥大事。你不要这么执着。这儿大家都觉得你们搞的屠龙技的学问没啥
用，你不舒服没关系，但凡事都扯上这个就有点祥林嫂了。
不说人工智能的问题了，现实中计算机需要解决的很多问题形式化出来可能都是NP
hard，不妨碍人们构造出实用系统来。原因大家都跟你说了。一，同一个问题有很多不
同的建模的方法，不同方法，输入输出都不同，所以一个NP hard的问题可能轻易就绕
过了；二是，现实中大家不关心最优解，满意就行了。
你看不惯的司马贺等人的理论很重要的一点，就是人的智能是““bounded
rationality”，也就是说，是在承认人的计算能力有限，解决不了你的这些NP Hard问
题的情况下，人还是要解决问题的，这才是人的智能的表现。
人类的比较高级的知识，除了符号化之外，还真没有其他办法。不会搞符号化的动物，
都没有人类这么高的智能，这是明显的。高级认知上的推理不一定基于逻辑，但必然基
于符号。比如没有语言（符号）的话，很多高级认知就没法作。比如你我这儿发帖灌水
，你要说这都与符号无关，有几个人信？ |
|
