t*******r
发帖数: 22634 | 1 yacc 只能搞 LR parser，你没错。我这个问题用 yacc 搞成，不等于
其他的问题都用 yacc 搞。。。就好比会写中文不等于只会写中文。。。
当然，我灌水时通常天马行空乱用术语，我主要是说个意思。当然，这个
也不好，我刚才飞速去 wiki 了一下，其实我说的意思应该是 formal
system（当年的课是不是叫《形式逻辑和自动机》？）。
http://en.wikipedia.org/wiki/Formal_system |
|
t*******r
发帖数: 22634 | 2 俺去查了一下 ZFC 里面的无穷集，其实 ZFC 里面的把自然数集合
定义为无穷集。
http://en.wikipedia.org/wiki/Axiom_of_infinity
按照 ZFC 的定义，其实计算机图论都是无穷集，一样是递归产生
的东西。
但是计算机图论几乎从来不讨论有穷无穷。我有时候觉得（当然可能
是偏见），有穷无穷之对纯数学有意义，对信息学意义不大。因为信
息学本质上是在某种自动机上面跑，有多少内存时间，能跑多大程序。
信息学更关心 big O()，而不是有穷无穷。
不过也好，现在我知道计算机的图论/LR文法等等，ZFC 的观点都是
无穷集。。。不过对图论编程可能是 totally pointless 。。。
,
" |
|
t*******r
发帖数: 22634 | 3 中学物理不仅不折不扣是工程类的基础，连家里修个房门或者车库们都大大的
有用。而且其建模的思想，就是对于不直接靠物理的纯码工，潜移默化的作用
都是大大的。
中学数学里，除了代数、立体几何和解析几何作用大大的，其他平面几何、集合
论、数论、各种坑爹证明题，基本是走火入魔到成为屎的程度。俺以为中学数学
里最最是屎的就是欧几里德平面几何证明题。。。直接造就回字二十种写法的、
见树不见林之百无一用书生。。。尼玛一半的中学数学，搞到连靠计算吃饭的码
工都百无一用的程度。。。说白了，我看中学数学尼玛一半是考古学或者干脆
考牛角尖学。。。
要俺说，其实中学欧氏平面几何直接砍了算了，改成立体几何入门就差不多了。
立体几何新增立体解析几何。增加计算机图论概念入门，把集合论砍了（留两张
纸简介差不多了）。数论及各种证明题直接砍了，改成形式逻辑和自动机入门。
这样才跟中学物理可以一拚。。。 |
|
h******k
发帖数: 810 | 4 欧氏几何用23个定义，10条公理，加形式逻辑，构筑了一个既完美自洽又能合理解释客
观世界的公理系统。这是"道"。
你说的立体几何解析几何计算机图论自动机等等，和欧氏几何比起来，只是"术"而已。 |
|
t******n
发帖数: 2939 | 5 ☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:34:22 2013, 美东) 提到:
假设素数只有有限个, 记为 p_1,p_2,...,p_k
考察 N = p_1*p_2*...*p_k + 1
可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
由素数的定义:
a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除
可知: N是素数
这与素数只有p_1,p_2,...,p_k矛盾.
故假设不成立.
所以素数有无穷多个.
☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:37:03 2013, 美东) 提到:
在承认素数的这个等价定义 (即 a是素数 <=> a是大于1的自然数, 且a不被任何小于a
的素数整除) 的前提下, 居然有人会认为这个证明是错的, 或者是不完备的.
我实在不能理解.
求问一下大家, 是不是有的人的脑子天生有缺陷, 根本怎么教都不会明白... 阅读全帖 |
|
f**********r
发帖数: 18251 | 6 【 以下文字转载自 Military 讨论区 】
发信人: judien (Now we are one!), 信区: Military
标 题: 安捷伦！ shame on you！ (转载)
发信站: BBS 未名空间站 (Thu Dec 5 01:04:55 2013, 美东)
发信人: relic (遗迹), 信区: NewExpress
标 题: 安捷伦！ shame on you！
发信站: 水木社区 (Tue Dec 3 23:32:52 2013), 站内
引自：http://www.acfun.tv/v/ac334765
第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
小学组
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北... 阅读全帖 |
|
H*******o
发帖数: 1637 | 7 咖啡，不过不是美国人的热水冲咖啡
真想喝咖啡，便宜点的推荐Nespresso系统，贵的直接Jura全自动机
美国人那种滴漏式冲汤咖啡就算了 |
|
m**d
发帖数: 21441 | 8 【 以下文字转载自 Detective 讨论区 】
发信人: liangzhi (良知), 信区: Detective
标 题: 保龄球命案
发信站: BBS 未名空间站 (Tue Jun 8 23:17:35 2010, 美东)
英国保龄球夏季职业大赛正在进行，两个著名的选手莲娜和 海蒂正进行着冠军
争夺战。比赛还没有结束，莲娜突然倒地丧命。
大批警察立即赶到现场，探长留心地听取裁判费尔的叙述:"当时，莲娜正在打第五
球，但球竟然失准，滚到球道侧入坑， 当球由运输带运回后，她打了一个补中时，球
又失去控制，再滚入坑，她看了看中指尖，有一个小孔。"
"她用的是私家球吗？"探长问。
"当然，这是职业大赛，球在这里。"教练把球递过来，探 长小心查看，这只是一
个普通的保龄球，手指插入的孔中，也没 有针状之类的东西。
通过进一步调查，警方查出了一点线索，知道莲娜的对手海 蒂的弟弟尊尼，竟是
这个球场的自动机管理员，警方相信，他为 了姐姐能争得名誉，而不惜下毒手。但他
是怎样下毒手的呢? |
|
b*****d
发帖数: 7166 | 9 【 以下文字转载自 Military 讨论区 】
发信人: Lurker (@Zerg), 信区: Military
标 题: 北京小学生创新比赛项目名单，跪了!
发信站: BBS 未名空间站 (Tue Dec 3 22:57:26 2013, 美东)
引自 http://www.acfun.tv/v/ac334765
第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
小学组
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北极罂粟生长的影响
白宇辰 小学六年级
铬污染建筑粉碎颗粒大小对铬含量测定的影响 陈博伦 小学六年级
超声波汽车开门自动防刮蹭装置 王默涵 刘芃青
基于AVR单片机的中小... 阅读全帖 |
|
s***r
发帖数: 4013 | 10 发信人: mashall (~奇思妙想聪明的小羊~), 信区: Joke
标 题: 安捷伦！ shame on you！
发信站: 水木社区 (Wed Dec 4 09:06:33 2013), 站内
【 以下文字转载自 NewExpress 讨论区 】
发信人: relic (遗迹), 信区: NewExpress
标 题: 安捷伦！ shame on you！
发信站: 水木社区 (Tue Dec 3 23:32:52 2013), 站内
引自：http://www.acfun.tv/v/ac334765
第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
小学组
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北极罂粟生长的影响
白宇辰 ... 阅读全帖 |
|
w**********5
发帖数: 1741 | 11 第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
up:天朝的中小学生太威武了，十年内必夺诺贝尔奖，百年内一统全球。我看到了祖国
的未来与希望。up表示大学白读了，很多题目看都看不懂。某些医药学，植物学，化工
材料和工程的内容非常碉堡,部分非医药化工类异常碉堡的标红了。
各位等着被雷吧。up已经阵亡了。你们能看懂%多少呢？
小学组
序号 项目编号 项目标题 学科分类 类型 组别 成员
年级 学校名称 辅导教师 区县 获奖等级 专项奖
1 LS12012T 论翼龙骨骼结构与灭绝原因的联系 生命科学 集体项目
小学组 魏博琨 洪瑞怡 小学六年级 小学六年级 北京市东城区史家
胡同小学 北京市东城区史家胡同小学 张培华 东城区 1
10 ... 阅读全帖 |
|
f**********r
发帖数: 18251 | 12 【 以下文字转载自 Military 讨论区 】
发信人: judien (Now we are one!), 信区: Military
标 题: 安捷伦！ shame on you！ (转载)
发信站: BBS 未名空间站 (Thu Dec 5 01:04:55 2013, 美东)
发信人: relic (遗迹), 信区: NewExpress
标 题: 安捷伦！ shame on you！
发信站: 水木社区 (Tue Dec 3 23:32:52 2013), 站内
引自：http://www.acfun.tv/v/ac334765
第32届安捷伦北京青少年科技创新大赛学生科技创新项目公示名单(up节选)
小学组
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北... 阅读全帖 |
|
x****k
发帖数: 2932 | 13 中国数字时代 / by 布鸣真象
/7 hours ago
「生活」的反义词是什么？
李盆， 混口饭吃
反义词是，不过了。
查看知乎原文
如果荀彧、郭嘉、诸葛亮、陆逊凑一桌打麻将，谁会赢？
知乎用户， GO BIGGER! 移民类答案已整理收藏夹。 微信公众平台：stqiyuan
必须是诸葛亮！白在四川呆那么多年了么？
查看知乎原文
如果猫有老虎那么大的体格，它的战斗力会是怎样的？
林乐刚， 钓鱼人，求土建工作，吃苦耐劳，头脑清晰。
激光笔就解决的渣渣。
查看知乎原文
「原來如此」用英語怎麼表達？
知乎用户
完了，我第一反应是 soga。
查看知乎原文
如何快速知道一个女生是否有男朋友？
知乎用户， 智能家居
「请问你有男朋友吗？」
解释一下：回答是不是实话不重要，就是问个态度。有说没有，等于没有；没有说有，
等于没戏。
查看知乎原文
如何评价苹果中国用过的广告文案「大快所有人心的大好事」？
Joy Neop， 广告位招商
前所未有的中文体验，再次迈出深远一步。
多年间对未来的憧憬，如今成为现实。有了全新设计的苹果中文，横跨整个国家的交流
更加顺畅。美妙的文案，动人的语言，美了又美，让... 阅读全帖 |
|
H********g
发帖数: 43926 | 14 生得太晚。
===
初一的时候，发明了一个解题技巧，后来老师说这个东西叫做“函数”。 高一的时候
，发明了一个有意思的方法求解各种函数与坐标轴围成的面积。后来高二学了定积分…
… 高二的时候，用插值的方法求解了“s”型增长曲线的表达式和增长率。大一的时候
我知道了这东西叫做 logistic 方程。(书上就不能写的明白点……) 大二的时候，发
明了将空间离散化来模拟 sars 传播的数学模型当作业交上去了，老师评价：”这个就
是蒙特卡罗迭代和元胞自动机吧”，当时真的被打击到了。 痛定思痛，反思一下自己
就是 瞎想的太多，书看的太少 。以上。 |
|
|
h******e
发帖数: 9616 | 16 【 以下文字转载自 Military 讨论区 】
发信人: DonaldTrump (Make America Great Again!), 信区: Military
标 题: 美帝尿哭！第32届北京青少年科技创新大赛学生科技创新项目名单（节选）
发信站: BBS 未名空间站 (Sun Jan 17 21:21:25 2016, 美东)
【小学组】
论翼龙骨骼结构与灭绝原因的联系 魏博琨 洪瑞怡
负压式医用手套自动佩戴装置 米尔莉 张苏潼
双轴自稳云台 钱李潜馨 小学六年级
香烟浸出液对春羽介壳虫的防治实验 肖雨涵 小学四年级
北极斯瓦尔巴德群岛朗伊尔宾I号冰川不同海拔梯度环境对北极罂粟生长的影响 白
宇辰 小学六年级
铬污染建筑粉碎颗粒大小对铬含量测定的影响 陈博伦 小学六年级
超声波汽车开门自动防刮蹭装置 王默涵 刘芃青
基于AVR单片机的中小学生坐姿不端提醒仪的设计 韩启沃 小学六年级
太阳黑子对石榴树年轮宽度的影响 邓瑞傲 小学五年级
【中学项目】
槐树中Lectin基因的克隆及其抗虫功能的初步验证 刘佳玉 高二
长白山火山碎屑流的调查研究 刘旺予 初三
土壤表层3,4-苯并... 阅读全帖 |
|
S*****e
发帖数: 6676 | 17 【 以下文字转载自 ScitechNews 讨论区 】
发信人: anews (anews), 信区: ScitechNews
标 题: [KJPT]没几个人知道的中日机器人真实实力内幕
发信站: BBS 未名空间站 (Thu Feb 16 21:35:42 2017, 美东)
编者按：这几年，从银行机器人，到春晚机器人，再到广州高铁机器人，中国机器人的真实实力开始一点点地展现出来了，但是对于许多中国网友来说，日本机器人才是机器人，而中国机器人简直就是渣。对于这个问题，笔者只能说你们只看到了表现，中国的机器人实力，在某些方面，尤其是军用方面已经是领先的了。
为了真实了解中日机器人的差距，下面就让我们讨论一下关于机器人的问题吧。
首先机器人是属于自动化控制领域的一个方向，而所谓的“机器人”——ROBOT是为了方便大众理解而取的一个词，在我们的专业领域里面被称为“仿人智能控制”，机器人实质是对人的智能的模仿。
而对人的智能的理解，目前很多行外人认为的只是很狭隘的一个词，人是具有多种智能结构的，包括语言智能、音乐智能、算逻智能、空间智能、运动智能和人格智能。而日本设计的那种工业机器人，只是... 阅读全帖 |
|
N****n
发帖数: 4179 | 18 师父，其实比我还小半岁，是我大学同小班的 同学。不过能者为师，他就成了我师父。说起 来我和师父还能算是老乡，我的出生地和他家乡是一个地方。他个子高高 的，壮壮的，笑起来憨憨的，并不很起眼。
说实话，我一点都不记得怎么发现师父的聪明 了。依稀仿佛是因为数字逻辑老师很差，我就 混迹在师父和另一个知名聪明小同学中间自学。其过程就是第一 节课做完大学物理作业，第二节课三个人对着 高年级的教科书学习。不得不佩服这个男生的脑 瓜，真的很好用，跟着他们学习长进很飞快。
开始喊他师父的时候，他还颇有些不好意思， 等我向他请教“信号与系统”的作业的时候，他已 经俨然我的师父的样子了。他会指指旁边空位 子，让我自己先做一遍，然后看对错，如果错 了，他就会一板脸：这怎么会错呢？你一定是 这个这个没明白。然后仔细跟我讲解。他每次 都能发现症结。再后来，形式语言与自动机的 考试前，师父几乎是全大班的小老师了。问他 问题的人络绎不绝，最后耗子只能把他弄到了操场上独占提问。
和师父唯一一次合作，是计算机组成原理的小 学期实验。我们每天在教室碰头设计，然后各 自回去思考改进。经常我发现原来设计有问 题，一个电话过去，... 阅读全帖 |
|
J*******k
发帖数: 3298 | 19 你是学通信的？
父。说起 来我和师父还能算是老乡，我的出生地和他家乡是一个地方。他个子高高 的
，壮壮的，笑起来憨憨的，并不很起眼。
差，我就 混迹在师父和另一个知名聪明小同学中间自学。其过程就是第一 节课做完大
学物理作业，第二节课三个人对着 高年级的教科书学习。不得不佩服这个男生的脑 瓜
，真的很好用，跟着他们学习长进很飞快。
的时候，他已 经俨然我的师父的样子了。他会指指旁边空位 子，让我自己先做一遍，
然后看对错，如果错 了，他就会一板脸：这怎么会错呢？你一定是 这个这个没明白。
然后仔细跟我讲解。他每次 都能发现症结。再后来，形式语言与自动机的 考试前，师
父几乎是全大班的小老师了。问他 问题的人络绎不绝，最后耗子只能把他弄到了操场
上独占提问。
，然后各 自回去思考改进。经常我发现原来设计有问 题，一个电话过去，师父会说，
我也正想找你 说这个问题呢。一星期的设计过程进展顺利。 上机的时候，我看着师父
熟练的插线，我有些 惊呆了：画过一遍管脚图的师父居然记得所有 芯片的输入输出，
几百根连线呢。中间因为电路板管脚有延 时，出了一点小问题。老师帮助我们顺利解
决。3天时间，... 阅读全帖 |
|
M*4
发帖数: 1457 | 20 看来你是个nice girl， 很有男人缘
父。说起 来我和师父还能算是老乡，我的出生地和他家乡是一个地方。他个子高高 的
，壮壮的，笑起来憨憨的，并不很起眼。
差，我就 混迹在师父和另一个知名聪明小同学中间自学。其过程就是第一 节课做完大
学物理作业，第二节课三个人对着 高年级的教科书学习。不得不佩服这个男生的脑 瓜
，真的很好用，跟着他们学习长进很飞快。
的时候，他已 经俨然我的师父的样子了。他会指指旁边空位 子，让我自己先做一遍，
然后看对错，如果错 了，他就会一板脸：这怎么会错呢？你一定是 这个这个没明白。
然后仔细跟我讲解。他每次 都能发现症结。再后来，形式语言与自动机的 考试前，师
父几乎是全大班的小老师了。问他 问题的人络绎不绝，最后耗子只能把他弄到了操场
上独占提问。
，然后各 自回去思考改进。经常我发现原来设计有问 题，一个电话过去，师父会说，
我也正想找你 说这个问题呢。一星期的设计过程进展顺利。 上机的时候，我看着师父
熟练的插线，我有些 惊呆了：画过一遍管脚图的师父居然记得所有 芯片的输入输出，
几百根连线呢。中间因为电路板管脚有延 时，出了一点小问题。老师帮... 阅读全帖 |
|
N****n
发帖数: 4179 | 21 师父，其实比我还小半岁，是我大学同小班的 同学。不过能者为师，他就成了我师父。说起 来我和师父还能算是老乡，我的出生地和他家乡是一个地方。他个子高高 的，壮壮的，笑起来憨憨的，并不很起眼。
说实话，我一点都不记得怎么发现师父的聪明 了。依稀仿佛是因为数字逻辑老师很差，我就 混迹在师父和另一个知名聪明小同学中间自学。其过程就是第一 节课做完大学物理作业，第二节课三个人对着 高年级的教科书学习。不得不佩服这个男生的脑 瓜，真的很好用，跟着他们学习长进很飞快。
开始喊他师父的时候，他还颇有些不好意思， 等我向他请教“信号与系统”的作业的时候，他已 经俨然我的师父的样子了。他会指指旁边空位 子，让我自己先做一遍，然后看对错，如果错 了，他就会一板脸：这怎么会错呢？你一定是 这个这个没明白。然后仔细跟我讲解。他每次 都能发现症结。再后来，形式语言与自动机的 考试前，师父几乎是全大班的小老师了。问他 问题的人络绎不绝，最后耗子只能把他弄到了操场上独占提问。
和师父唯一一次合作，是计算机组成原理的小 学期实验。我们每天在教室碰头设计，然后各 自回去思考改进。经常我发现原来设计有问 题，一个电话过去，... 阅读全帖 |
|
J*******k
发帖数: 3298 | 22 你是学通信的？
父。说起 来我和师父还能算是老乡，我的出生地和他家乡是一个地方。他个子高高 的
，壮壮的，笑起来憨憨的，并不很起眼。
差，我就 混迹在师父和另一个知名聪明小同学中间自学。其过程就是第一 节课做完大
学物理作业，第二节课三个人对着 高年级的教科书学习。不得不佩服这个男生的脑 瓜
，真的很好用，跟着他们学习长进很飞快。
的时候，他已 经俨然我的师父的样子了。他会指指旁边空位 子，让我自己先做一遍，
然后看对错，如果错 了，他就会一板脸：这怎么会错呢？你一定是 这个这个没明白。
然后仔细跟我讲解。他每次 都能发现症结。再后来，形式语言与自动机的 考试前，师
父几乎是全大班的小老师了。问他 问题的人络绎不绝，最后耗子只能把他弄到了操场
上独占提问。
，然后各 自回去思考改进。经常我发现原来设计有问 题，一个电话过去，师父会说，
我也正想找你 说这个问题呢。一星期的设计过程进展顺利。 上机的时候，我看着师父
熟练的插线，我有些 惊呆了：画过一遍管脚图的师父居然记得所有 芯片的输入输出，
几百根连线呢。中间因为电路板管脚有延 时，出了一点小问题。老师帮助我们顺利解
决。3天时间，... 阅读全帖 |
|
M*4
发帖数: 1457 | 23 看来你是个nice girl， 很有男人缘
父。说起 来我和师父还能算是老乡，我的出生地和他家乡是一个地方。他个子高高 的
，壮壮的，笑起来憨憨的，并不很起眼。
差，我就 混迹在师父和另一个知名聪明小同学中间自学。其过程就是第一 节课做完大
学物理作业，第二节课三个人对着 高年级的教科书学习。不得不佩服这个男生的脑 瓜
，真的很好用，跟着他们学习长进很飞快。
的时候，他已 经俨然我的师父的样子了。他会指指旁边空位 子，让我自己先做一遍，
然后看对错，如果错 了，他就会一板脸：这怎么会错呢？你一定是 这个这个没明白。
然后仔细跟我讲解。他每次 都能发现症结。再后来，形式语言与自动机的 考试前，师
父几乎是全大班的小老师了。问他 问题的人络绎不绝，最后耗子只能把他弄到了操场
上独占提问。
，然后各 自回去思考改进。经常我发现原来设计有问 题，一个电话过去，师父会说，
我也正想找你 说这个问题呢。一星期的设计过程进展顺利。 上机的时候，我看着师父
熟练的插线，我有些 惊呆了：画过一遍管脚图的师父居然记得所有 芯片的输入输出，
几百根连线呢。中间因为电路板管脚有延 时，出了一点小问题。老师帮... 阅读全帖 |
|
R********y
发帖数: 4018 | 24 Appleswing 下午给我通了电话， 让我staying focus on how to cure starry, and
to give the donation link at the top of the post, not to let the post become
on 人与人之间的吵架，我想 这是对的。我想我至少要对给小星星捐了款的人一个交
代，给大家解释我的心理历程。所以请斑竹或者要骂我的人移步到另外的帖子里， 谢
谢。
刚才又打电话问了两个专门的鸟医， 第一个的appointment 排到一个月后了，没有空
给看。 他们Refer 给我另一个， 不过yelp 上review 不太好。 所以还是保留着明天
下午三点的。
对骂我是attention whore 的ID， 我本意是想请斑竹把所有的帖子都删了，但是我想
我必须给关心小鹦鹉的人一个交代，既然我已经开始了， 我希望有始有终，把这个事
情告一段落，我前两天已经申请了小星星私人俱乐部，我会给关心小星星的 人发申请
，所有的update 我会放在那里。这个事情结束以后，以后不会在这里来发帖to steal
you... 阅读全帖 |
|
c*l
发帖数: 1433 | 25 现代计算机的核心理论应该是图灵的自动机。图灵是个数学家和逻辑学家，很难说逻辑
学就催生了计算机。要说催生，图灵的天才应该是最当之无愧的。从此以后就有了计算
机科学。 |
|
j******n
发帖数: 21641 | 26 事实上，计算机科学的一些奠基者，即如冯·诺意曼(Von Neumann)和图林(A.Turing)
等，先前都曾直接从事数学哲学（基础）的研究，而且，在二次世界大战后的一些年中
，计算机科学家们更不断由数学哲学中吸取了一些十分重要的思想，后者并在以后的人
工智能研究中得到了进一步的应用；然而，计算机科学的现代发展，特别是所谓的“机
器证明”，则又对数学哲学的研究提出了新的问题，并在一定程度上影响了数学哲学的
现代发展，这样，作用双方的主次关系也就发生了实质性的变化。
本文来自：方案范文库http://www.ddoocc.com详细出处参考：http://www.ddoocc.com/lunwen/2009/1020/70662.shtml
自动机本质是语言阅读/处理器.. |
|
j******n
发帖数: 21641 | 27 这个比较深奥了，不过基本同意你的观察
很多理工科的东西可以数学化，包括音乐，很多人认为本质是数学
计算机的编码和逻辑这个层面还是数学，但要让自动机工作，就是语言的事情了，最初
搞计算机的是数学和物理学家，后来哲学家也能参与，计算机所谓的编程语言是我们严
格控制的，但人类的语言要丰富得多，现在计算机可以识别理解很多自然语言，但谈恋
爱或者和它胡说八道，它就不行了，起码目前是这样，这2年计算机杂志如CACM时不时
搞些这些报道
那么人类的语言是否其实也就是可以01或者模糊或者量子化编码的重组呢，大脑的工作
其实就是生物细胞的有序放电，无序的就是艺术家，呵呵，那么爱情是什么，忧郁和自
闭是什么，我一个计算机界朋友说他原来其实是学心理诊断的，他放弃因为他接受不了
现在治疗精神疾病就是用药，可见药物特别是人工激素其实就可以改变人的情感和行为
，上帝给了我们一个可以完美数学化的大脑说话，他还给我们各种激素，有性的需求，
有爱朋友和家人的本能，有文艺的需要，有正义感，如果正义不是圣经的文本或博弈的
结果，我们有慈爱，但慈爱或者慈善经济从数学上来说是个反进化的过程，社会上的穷
人和失业者是否比银行家和... 阅读全帖 |
|
j******n
发帖数: 21641 | 28 这个比较深奥了，不过基本同意你的观察
很多理工科的东西可以数学化，包括音乐，很多人认为本质是数学
计算机的编码和逻辑这个层面还是数学，但要让自动机工作，就是语言的事情了，最初
搞计算机的是数学和物理学家，后来哲学家也能参与，计算机所谓的编程语言是我们严
格控制的，但人类的语言要丰富得多，现在计算机可以识别理解很多自然语言，但谈恋
爱或者和它胡说八道，它就不行了，起码目前是这样，这2年计算机杂志如CACM时不时
搞些这些报道
那么人类的语言是否其实也就是可以01或者模糊或者量子化编码的重组呢，大脑的工作
其实就是生物细胞的有序放电，无序的就是艺术家，呵呵，那么爱情是什么，忧郁和自
闭是什么，我一个计算机界朋友说他原来其实是学心理诊断的，他放弃因为他接受不了
现在治疗精神疾病就是用药，可见药物特别是人工激素其实就可以改变人的情感和行为
，上帝给了我们一个可以完美数学化的大脑说话，他还给我们各种激素，有性的需求，
有爱朋友和家人的本能，有文艺的需要，有正义感，如果正义不是圣经的文本或博弈的
结果，我们有慈爱，但慈爱或者慈善经济从数学上来说是个反进化的过程，社会上的穷
人和失业者是否比银行家和... 阅读全帖 |
|
i********t
发帖数: 261 | 29 ☆─────────────────────────────────────☆
aixiaoke (流浪者的乡愁) 于 (Mon Oct 24 07:54:02 2011, 美东) 提到:
用“宇宙史诗”来形容刘慈欣的《三体》系列我想并不过分——它对宇宙的起源
、生命与环境间的相互作用、文明的演变、人类的整合，甚至宇宙的终极走向，都给出
了自圆其说的明确猜想及推论；这一庞大的体系通过一些相关而分离的片段如冰山一角
般呈现出了一个具有高度美感的思维体系，描述了永恒之初直至宇宙尽头的维度之旅；
它确立了微观与宏观彼此渗透交错的依存关系，而贯穿其中的则是人类的情感，有激情
的壮丽澎湃，有爱情的温柔微妙，也有绝情的冷酷黑暗。这一切的丰富片段、结构、内
涵极其跨越的时间广度，我觉得也只能用“史诗”来进行总结，否则便不足以准确表达
《三体》的气魄。
1 游戏
这么庞大的史诗故事起点却很微妙。文革中叶文洁目睹理论物理学家的父亲被红卫
兵小将们打死在批斗台上，而母亲为了自保不惜出卖人格丑态毕露。这个从时代泥沼中
成长起来的姑娘经历了一次又一次人间最险恶的政治斗争、最丑恶的灵魂背叛，终于... 阅读全帖 |
|
a****1
发帖数: 654 | 30 液压机械独特的声音回荡在幽深的山洞中，随后自隐藏在岩石后面的排气道中涌出大团
大团蒸汽，直径足有三米、闪耀着高强度合金钢青色光芒的齿轮形大门缓缓向山体内陷
进，回缩足足一米，才向侧方滚动，缩进山壁之中，露出一个幽深的通道来。
虽然光线昏暗，然而苏还是透过重重蒸汽，看到了隐藏在山体内以及通道内端吊在
天顶上的几个武器终端。终端可见的主要攻击系统是微型自动机丨枪，那几杆黑黝黝枪
管指向的角度十分有讲究，计算一下落点，会发现火力网严严实实地封住了整个通道。
上方还有两个不同的镜头，看外型应该是可见光和红外线的传感器。在旧时代，这样的
防卫力堪称上乘，然而现在能够抗得住微型机丨枪扫射的强悍物种不断出现，旧式的武
器终端显然已经落后了。
“嗨！特纳！能看到你完整的回来可真让人高兴！”
一行人刚刚走出通道，一个足足有两米高的黑人大汉就走了上来，重重地给了特纳
一个力道十足的拥抱。
特纳回了一个同样有力的拥抱，道：“如果不是苏，那就不是能不能完整回来的问
题了。你只能从腐狼的粪便中翻腾我们的渣滓了，如果有的话。”
黑人顺着特纳的目光，看到了站在队列最后面的苏。他大步走了过来，伸出手，露
出 |
|
d*******s
发帖数: 234 | 31 也就只有发在武侠版才有人看吧。
其实用元胞自动机模拟一下就明了了
不过，非常赞LZ这么条理分明写下规则。
你一定能发明出阿拉贡语和精灵语。 |
|
k*****a
发帖数: 7110 | 32 墨西哥共和派领袖胡亚雷斯是位年近花甲的老人，墨西哥因为长久在西班牙殖民统治
下，母语渐渐变成了西班牙语，不过胡亚雷斯的英语也很流利，叶昭与他交流，有通译
在旁，但叶昭有时候也直接用英文来表述自己的看法。现今来说，自信的中国皇帝本就
没有我和你说英文就好似我的母语处于弱势的心态，反而，这是一种学识渊博的表现。
毕竟临时抓的西班牙语通译有时候不能很好领会叶昭话里的意图。
胡亚雷斯就诧异于中国皇帝的博学多才，这位年轻强势的皇帝，实在远远超出胡亚
雷斯的想象。
两人会晤的地点在摄政王号的会议室中，品着来自遥远中国的香茗，胡亚雷斯阐述
着他的主张，希望能将马西米连诺送上军事法庭审判。
叶昭静静的听着，说道：“马西米连诺大公将会在摄政王号上宣布退位。这场战争
，以和平的方式落幕，我相信更经得住历史的检验，而且，也是独立自由的墨西哥人开
始崭新生活的明朗信息，比起血淋淋的杀戮，宽容的对待不同政见者，才是一个国家和
民族成熟的标志，我相信，对于马西米连诺大公的宽恕，也会令墨西哥人在文明世界得
到广泛的尊重。”
胡亚雷斯陷入了深思。
叶昭又道：“在此我先祝贺墨西哥人民走向独立自由，我也很高兴看到一个独立... 阅读全帖 |
|
c****t
发帖数: 19049 | 33 213 准备摊牌
收获远远不止如此，十二辆98式主战坦克只是意外之喜，张小强还找到了大量的运输车
和63式轮式人员输送车。
找到轮式输送车在张小强的意料之外，本来他们占据的这个军营，大多数军工兵器都已
经现代化了，想想外面上百辆扔在空地生锈的坦克就知道，却没想到，在一间大型室内
车库中居然发现了上百辆保养完好的六轮装甲车。
这些车辆没有安装武器，只是单纯的作为运兵车，有一定的防护能力，一百一十辆运兵
车能一次性的输送660名战士，武器接口都还在，只要安装重机枪就是一个火力平台。
对于这批车辆，张小强相当满意，他们在军营中的武器库中找到了大量12.7毫米自动机
枪巢，原本就是63式装甲车上的装备，只需要保养一下就能使用，直接由副驾驶员操作
，连机枪手都省了。
除此之外，指挥车，通讯车，还有伙食车，医疗车零零总总不下数十辆，间接的加强张
小强的军事实力，至于找到的足够三千人使用两年的压缩饼干，罐头，单兵口粮等便不
被张小强放在心上了，要知道，他们仅仅羊绒军大衣就找到了数千件，作战服，作战背
包，还有军装军鞋更是无数，只要张小强想，他马上就能拉出一直统一装具的万人大军。
收复营地的各种事物繁... 阅读全帖 |
|
c****t
发帖数: 19049 | 34 213 准备摊牌
收获远远不止如此，十二辆98式主战坦克只是意外之喜，张小强还找到了大量的运输车
和63式轮式人员输送车。
找到轮式输送车在张小强的意料之外，本来他们占据的这个军营，大多数军工兵器都已
经现代化了，想想外面上百辆扔在空地生锈的坦克就知道，却没想到，在一间大型室内
车库中居然发现了上百辆保养完好的六轮装甲车。
这些车辆没有安装武器，只是单纯的作为运兵车，有一定的防护能力，一百一十辆运兵
车能一次性的输送660名战士，武器接口都还在，只要安装重机枪就是一个火力平台。
对于这批车辆，张小强相当满意，他们在军营中的武器库中找到了大量12.7毫米自动机
枪巢，原本就是63式装甲车上的装备，只需要保养一下就能使用，直接由副驾驶员操作
，连机枪手都省了。
除此之外，指挥车，通讯车，还有伙食车，医疗车零零总总不下数十辆，间接的加强张
小强的军事实力，至于找到的足够三千人使用两年的压缩饼干，罐头，单兵口粮等便不
被张小强放在心上了，要知道，他们仅仅羊绒军大衣就找到了数千件，作战服，作战背
包，还有军装军鞋更是无数，只要张小强想，他马上就能拉出一直统一装具的万人大军。
收复营地的各种事物繁... 阅读全帖 |
|
f*****n
发帖数: 12752 | 35 张小强低估了美国人的科技品，美国擅长信息情报侦测，除非躲藏在地下，不然总能最
直观的显示在美国人眼前，埃尔森能从一个看不清任何细节的三维图像将他找出来，足
见他张小强在世界上也并非无名之辈，至少他的身份已经曝光。
张小强还不知情自己的一切行动都落在人家的眼中，带着小野和吉玛一起想直升机
的停靠点行进，并非是想夺取这些飞机，或救援支奴干的直升机人员，而是想将Z2丧尸
放在那边，让那里成为丧尸突破的终点，就在他们接近到那里的时候，尸海的先头部队
终于出现了。
丧尸出现时间比张小强预料的晚一点，在他心中，Z2丧尸为了让手下救援自己应该
是不计成本的，可没有想到，除了之前他杀掉的几十只S2丧尸之后，剩下的丧尸并不盲
目，甚至有些谨慎，所以才给了斧山足够的准备时间，让他们将所有的战备工作完成。
丧尸的出现没有让斧山崩溃，美国人的出现让斧山有了一线生机，至少在张小强看
是这样的，在他心中，美国人已经和创世纪和解，而创世纪始终与新纪元是一家人，这
就说明他们是同盟关系，相对来说，英国人，还有俄国人以及中国人都属于新纪元的敌
对势力，这也是为什么一再对英国人容忍的原因，在日本他再怎么强大也是一个人，所... 阅读全帖 |
|
f*****n
发帖数: 12752 | 36 整个地下城唯一还能启动的是最底层的地热发电站，这个与女娲系统单独分开的系统并
不受女娲的当机而影响，一分钟是地热发电站供电系统的反应时间，整个地下城在黑暗
中只沉寂了一分钟就恢复了红色的光明，所有备用紧急照明自动启动的一刻，宋坤海才
反应从他的沙发上反应过来，比三个月前整整胖了两圈儿的他，以他体型绝不相称的敏
捷嗖地冲向了橘红光芒下的大门，就在他伸出的右手即将按下自动开关的一刻，整个人
扑通一下摔倒在地上，却是落在他脚背的裤子绊倒了他，下一刻他便光着大屁股躺在地
上穿起裤子，冲跪在沙发前扭头望着他的一个身材丰满的**大声喊道：
“你赶紧回去安抚学生和老师，千万不要让学校乱起来，最好关闭大门，阻止任何没有
得到命令的人员进入，一旦发生暴力闯入，全都给我躲起来，启动自动机枪杀无赦……
。”女人是基地学校的校长，基地除了几千名维护工作人员之外，还有上万名十二岁以
下的孩子和近千名各类课目的老师，这是四川未来的种子，不得有失，所以发生变故，
宋坤海第一个就想到了他们，这个身材丰饶相貌清秀的**同时也是宋坤海的情人，末世
的女人承受力要比前世坚韧千百倍，并没有因为宋坤海的话惊慌失措，忧虑的双眼盯... 阅读全帖 |
|
d*******r
发帖数: 51 | 37 刷盘子读书系列之答疑篇：苏联的产经联为什么会崩溃》
打造民族的经济永动机----产经联，基干产业，如钢铁、机械、化学、电子等是非常困难
的事。因为很长时间不能产生效益，即使产生效益后，由于机器的调试磨合，进入快车道
，再到经济起飞，到根本改善人民生活，需要非常长的时间。日本是模范生，打造产经联
从明治起用了近百年。45年到60年是调试磨合期，60年是经济起飞，改善生活是进入70年
代。
英美是幸运儿，诞生在阳光下未开垦的土地。英美的产经联伴随着坚船利炮，铁甲战车，
人头滚滚，血流成河，茁壮成长。其间英美人民自由民主且快乐着，因为从外界抢到了大
量资源。民主自由好，就是好，就是好，就是好，就是好！！！！！
轮到日本就没有那么好事。只有一面对外征战，一面对内节衣缩食，去打造民族的自动机
器---产经联。人民就没有那么民主自由了。
轮到俄罗斯及后来的苏联，更没有好事。当时的俄罗斯虽也算工业国家，但本民族的产经
联的规模和技术水准不值一提。列强已经把肥肉瓜分完毕。怎么办？只能用铁腕去实现本
民族的自动机器---产经联。收缴剩余物资去支持民族的未来。如有异义想改善生活，斯
大林坚决镇压。竟然把一 |
|
e*******y
发帖数: 16 | 38 本科北邮，申请09fall cs
高中：全国高中数学联赛二等奖（不知道对申请有用没）
Major English GPA：83多一点儿
Minor CS GPA：接近90
GRE：530 ＋ 800 ＋ 4.5
Toefl：108 ＝ reading29 + listening26 + speaking23 + writing30
Publication：一篇水paper（accepted, 1st author，计算机的一个水水水会议，英文
论文）
辅修的minor有八门课，差不多都是比较重要的课了：
离散、数据结构、计组、计网、操作系统、数据库、软件工程、形式语言与自动机
最近才发现这个网站...>_<...
这里师兄师姐比较多吧应该
现在我的想法：
一、先去差学校读PhD，再伺机转学
二、去读喜欢发ad的那些好学校的master
三、去一个比较便宜的学校读master，然后再决定是工作还是再申请PhD
四、先去香港读MPhi，再申请美国PhD
选项一，万一老师不放人怎么办？而且这么做似乎有点儿伤人品。。。
选项二比较贵，恐怕要借钱，而且一身负担也不知道在美国好混不好混
选项三，和 |
|
p*****i
发帖数: 226 | 39 不知Mathematica学位不合格：狂人Wolfram及其新科学
如果一个理工科大学毕业生不知道Mathematica软件或者Stephen Wolfram这个人，那么他
的学位应该算不合格的。
Wolfram1959 年出生于伦敦，父亲是相当成功的作家，母亲是牛津大学的哲学教授。他幼
年聪慧，13岁入伊顿（Eton）公学，15岁发表首篇粒子物理方面的学术论文，到 17岁，他
的科学论文发到了《核物理》（Nuclear Physics）杂志上。在获得牛津大学奖学金并在牛
津学习一年之后，即到美国阿贡国家实验室的理论高能物理小组工作。1978年，19岁的 W
olfram受著名物理学家穆雷·盖尔曼（Murray Gell-Mann）之邀赴加州理工学院，从事基
本粒子物理学方面的研究，一年内获得理论物理学博士学位。1981年他成为历史上最年轻
的麦克阿瑟“天才”奖（MacArthur "Genius" Fellowship）获得者。他早年研究粒子物理
，后来转搞元胞自动机，取得了一系列突出成绩，开创了复杂系统研究这一新领域。
Wolfram 在2002年出了一本他写了十几年的科学巨著，象 |
|
s*****e
发帖数: 63 | 40 http://www.sina.com.cn 2004年01月28日 10:49 解放日报
本报讯 (通讯员 熊丙奇 记者 徐敏) 上海交大昨天宣布：交大Bio-X生命科学研究中
心和中科院上海生科院营养科学研究所已在试管中完成了DNA计算机的雏形研制工作，在
实验上把自动机与表面DNA计算结合到一起，标志着中国第一台“DNA计算机”在上海问世
。据悉，这一DNA计算机是在以色列魏茨曼研究所的DNA计算机的基础上进行改进后完成的
，其中包括用双色荧光标记对输入与输出分子进行同时检测，用测序仪对自动运行过程进
行实时监测，用磁珠表面反应法固化反应提高可控性操作技术等，以至最终在一定程度上
完成模拟电子计
算机处理0，1信号的功能，并可能将来通过计算芯片技术把电子计算机的计算功能进行本
质上的提升。
科学家们预测，在不久的将来，DNA计算机可被用来开发新一代的基因分型技术，处
理基因组的信息，或用注入到人体内的DNA计算机进行基因治疗。
为了迎合新科技快速发展的需求，上海交通大学Bio-X中心和中科院上海生科院营养
科学研究分别于近年成立。Bio-X本身的含义体现在：生命体无时无刻不在 |
|
m****t
发帖数: 555 | 41 无知者无畏的很多啊。
说什么computer science就是数据结构算法的，不说你们什么了。只能为你们的眼界见
识感到悲哀。 无知不是你们的错，错的是你们无知还出来误导别人。
不少这里的码工都是半路出家吧？ 本科从计算机学起的有几个？
说计算机浅薄的，你们学过自动机理论吗？知道啥叫图灵机吗？ 你们学过近世代数吗
？ 知不知道计算机科学的难题P是否等于NP可是悬赏100万美元的？ |
|
H**7
发帖数: 8624 | 42 今年的诺贝尔经济学奖给了劳动力市场理论。
凤凰卫视特约独立经济学家谢国忠认为， 这与当前世界普遍存在的失业率问题有密切
关系， 但是获奖理论对现实政策的制定指导意义不大。
谢指出， 金融危机以来出现的失业率问题与往常不同， 这次个人求职难和公司求人难
的情况同时存在， 公司要找的人市场上找不到。
从历史学角度来看， 这一次金融危机担负着促使人类社会资源从金融业， 信息业等高
金领域向社会产业链源头转移的艰巨使命。
在当今世界人口急剧膨胀（每十个月增长一个亿）， 自然资源日趋匮乏（全球变暖现象加剧， 中国城市化进程加快等等）的大环境下， 大力提高第一生产力的效率将成为今后社会经济生产科研的主攻方向。
基本生产资料 --- 能源的生产， 基本生活资料 --- 粮食的生产， 以及清理维护重建全球健康生态环境， 将成为未来劳动力市场需求的三大热点。
传统的信息产业也将继续沿着大型机 =〉小型机=〉桌上机=〉膝上机=〉手持机=〉网络化智能化自动机的方向发展， 并积极配合上述三大热点的发展。 |
|
A***u
发帖数: 3714 | 43 【 以下文字转载自 PDA 讨论区 】
发信人: ATCGu (Second Chance), 信区: PDA
标 题: 我想像这样一种iWatch
发信站: BBS 未名空间站 (Sat Mar 30 21:39:32 2013, 美东)
这样一种iWatch:
人终身带在手上，能量来源于自动机㭜表的原理，不走了抖一抖就可以，有目前
I5的所有功能, 这样一个人从出生到死亡的所有活动都记录在这个表里，数据可以上传
iCloud...
这个想法能变现实吗？ |
|
s*********b
发帖数: 815 | 44 形式化方法研究的这些东西对工业界有推动么？搞这个就那么几个人。简单的东西用逻辑
，自动机，或者抽象代数一表达就变得复杂无比。还没几个人关心具体的实现。好多人证
明出个算法复杂度就高兴了。最多做个prototype出来，能处理最简单的几个例子，就满
足了。还有人喜欢去形式化人们早就解决了的问题。比如说CommUnity这个语言，实现的
难道不是人们40年前就知道答案的东西么？偏偏这个玩具还搞出几篇巨复杂的论文，充满
了范畴论和逻辑方面的公式。我怀疑自己根本就没有入门。哪位行行好开导一下偶啊？
顺便抱怨一下搞FM的灌水风格。尤其是那些个欧洲人，写的都是什么呀。最变态的是同一
页同一段居然用同一个符号表示不同的意思。比如LNCS2500第9章，真的不是什么高难的
东西，但那样一写有几个程序员能看懂啊？偶就不明白，把例子写详细点，或者多用点英
语解释一下那些变来变去的符号要死人呀？ |
|
p*****u
发帖数: 310 | 45 我的paper用latex写的，需要画些象自动机那样的简单图，但是图里有许多带下标的文字
。我以前一直用xfig画图，但是集成这些下标太麻烦了（我用figtex2eps),经常放不对位
置。请各位大虾支招，有没有更好的方法？流行的绘图软件对我来说似乎太大材小用了，
我只需要画简单图。
谢谢了先 |
|
f***h
发帖数: 52 | 46 或者自动机用什么软件画？用visio太费劲了, 有没有什么专业软件?
谢谢 |
|
J*********n
发帖数: 370 | 47 出国打算申programming language方向，粗略了解了下形式语义，自动机，计算模型等
东西，想问一下
1）这个方向当前的研究前沿是什么？
2）有那些新颖的应用？
3）这方面的牛导师，牛校和program有哪些？
有劳这方面的牛人解答一下，不胜感激，先行谢礼，orz |
|
s*****t
发帖数: 737 | 48 当前最热的是multicore systems.
形式语义,自动机,计算模型都是非常基础的知识,
对应programming language来说还远远不够,
PL和computer architecture是紧密相关的.
正因为multicore的出现,concurrent software 的编写将是一个非常大的挑战.
因为以往软件很多都是随着单cpu的主频的提高而运行速度得到提高.
但是在multicore systems上,这个free lunch已经不存在了.
当前有很多基于multicore system的PL research. |
|
