C*******r 发帖数: 10345 | 1 数理逻辑学家,也是道家。写了好几本普及逻辑的读物,都很有趣味。amazon有他的书
卖。
Raymond Merrill Smullyan (born May 25, 1919)[1] is an American mathematician
, concert pianist, logician, Taoist philosopher, and magician. Born in Far
Rockaway, New York, his first career (like Persi Diaconis a generation later
) was stage magic. He then earned a BSc from the University of Chicago in
1955 and his Ph.D. from Princeton University in 1959. He is one of many
logicians to have studied under Alonzo Church.
Born in Far Rockaway, New York, h... 阅读全帖 |
|
c**o 发帖数: 166 | 2 年轻人,如果你真是北大的就请不要在这儿给北大的丢脸。
因为即使你Logic学的不好,起码说话也应该象个受过教育的。
OK,我今天免费教你一点Logic, 如果不懂或者想学更多的Logic, 可以在这
儿继续说别人胡说八道,也许有人有闲情再教你一点。
Chapter 0: 反证法入门(事例分析)
让我们翻开课本5191页,先温习一下那儿的两个原始“命题”:
cato:
我知道北大有一个系召的本系毕业的应届本科生为研究生, 其本科时的专业
基础课(读研时的专业)就是极少数不及格的一个
adxmq:
造谣也要有点水平
在北大有任何一门课不及格,就没有保研资格
三门课不及格,取消学位
三门以下,重修通过后,可以拿到学位。
在这个例子中,后一作者试图用“在北大有任何一门课不及格,就没有保研
资格
三门课不及格,取消学位三门以下,重修通过后,可以拿到学位”来证明前
一作者
的陈叙是造谣在Logic显然是错误的,因为前一陈叙中并没有说该研究生为保
送生。
所以,后一陈叙中的理由与前一陈叙毫无关系。从这里我们有理由怀疑后一
陈叙的 |
|
s****y 发帖数: 581 | 3 【 以下文字转载自 Linux 讨论区 】
发信人: sexboy (塞葫芦), 信区: Linux
标 题: 菜鸟问题:
发信站: BBS 未名空间站 (Thu Sep 8 03:06:25 2011, 美东)
菜鸟问题:
本人硬件菜鸟, 本人管Oracle数据库,最近想加一块硬盘专门存备份文件如: Oracle
的backupset,包括Archivelog, autobackup。总之就是整个Oracle FRA。
现在问题是,我们的Disk是作了Raid 10的Disk redendancy, 在Linux OS上本身还
有Logical Volume。
哪为大牛能给点指导吗? (1)。 在有Logical Volume和Raid 10的情况小,能加
个DISK吗。(2)。如果能,如何加这个Disk?可以把加的Disk并入现存的Logical
Volume,甚至上面的Raid 10的Disk Array里吗? 还是说只能单搞一个Physical
Volume 和Logical Volume?
谢谢。 |
|
S***k 发帖数: 370 | 4 linq 是语言层面的。web form 也好, mvc 也好, linq 都是可以用的。当然ef 没有
linq 没法用。
jsp, php, ruby, web form, mvc都是一个目的:生成html,放到http里通过internet
送给client。
web form 的问题是code behind容易搞的太臃肿,一旦加入了ui logic,里面的
business logic通常不能reuse, unit test也不好做。
mvc 强迫大家把presentation 的logic 同business logic 分开。 web form 也是可以
mvc的。mvc framework最开始也可以用code behind, 似乎到了final release阶段才去
掉。 mvc的controller还可以直接做 restful api, mvc4的web api 更是发扬光大。
code reuse 和 unit test要容易得多。 |
|
t*******r 发帖数: 3271 | 5 是这样, 从6.1开始, JUNIPER推出了logical-system的solution, 那会儿叫logical-
router.
本意就是一台路由器当多台用, 但是和VRF还有VR都不一样. logical-system是逻辑上
分离的, 从本意上来讲
其实就是多台路由器了. 路由进程,表项都是独立的, 不过scaling number还是受到总
路由器的上限的限制.
现在JUNIPER有一些开发的方向主要是同一个logical system下的系统资源的分配管理(
memory,cpu
cycle,etc)(UI的单独管理和权限分配是早就有了的)
其实有很多应用, 把router的数量增加反而能解决一些问题. 业务流量的隔离就是最简
单的例子.
SINET当年买几十台T640, 每台当5台router用, 据说价格上就没怎么打折扣. 呵呵
不得不说小日本用JUNIPER路由器用的还是有些创意. |
|
s****y 发帖数: 581 | 6 【 以下文字转载自 Linux 讨论区 】
发信人: sexboy (塞葫芦), 信区: Linux
标 题: 菜鸟问题:
发信站: BBS 未名空间站 (Thu Sep 8 03:06:25 2011, 美东)
菜鸟问题:
本人硬件菜鸟, 本人管Oracle数据库,最近想加一块硬盘专门存备份文件如: Oracle
的backupset,包括Archivelog, autobackup。总之就是整个Oracle FRA。
现在问题是,我们的Disk是作了Raid 10的Disk redendancy, 在Linux OS上本身还
有Logical Volume。
哪为大牛能给点指导吗? (1)。 在有Logical Volume和Raid 10的情况小,能加
个DISK吗。(2)。如果能,如何加这个Disk?可以把加的Disk并入现存的Logical
Volume,甚至上面的Raid 10的Disk Array里吗? 还是说只能单搞一个Physical
Volume 和Logical Volume?
谢谢。 |
|
g*****g 发帖数: 34805 | 7 This is just basic MVC pattern, and the main benefit being that
you can have multiple views with the same controller and model.
Gmail has an ajax version and a plain html version. Now imagine
you have control logic such as delete a message in the view.
You have to duplicate the code in 2 places. Yes, you can abstract
the shared logic to another class, but any logic may be used
in multiple places in the future. So you end up getting all your
control logic out of your view, and servlet becomes a n |
|
l*******G 发帖数: 1191 | 8 同意这个观点。presentation/web tier 是在客户端, integration tier是和DB打
交道的。 这两层对于不同的行业来说有很大共性。而business logic 对不同行业来
说会差别很大,比如银行的business logic,和学校的business logic 和医院的
business logic差别是很大的,工厂就更加跟行业有关。不过许多J2EE教材都把着重点
放在presentation tier 和integration tier,因为那些教材的材料容易得到又比较统
一和类似。要着重business tier就难多了因为你可能只熟悉一个行业,如果你只讲银
行,那面向其他行业的读者就不爽了甚至会跳过。 |
|
b*******d 发帖数: 750 | 9 groovy是DSL的perfect语言。我们现在就是用它来定义一些syntax,让我们的analyst
能很快的用来定于一些business logic。我们数据很复杂,很detail的东西coder不愿
意touch。他们只编写我们定义的logic:元素,元素的操作,等等。
这样的的话,就把这些dirty logic 完全分离给了analyst。spock又很好支持groovy的
单元测试, 同样简单的语言,所以,他们自己独立的可以测试自己的东西,几乎单独的
发布流程。run的时候我们只用写好framework(config module,runtime engine,
reports,diffing,etc)来take in他们的groovy logic,然后run在hadoop上。
现在回想就是我们把analyst和software engineer分离的还是太晚来,就是因为没有发
现spock这个东西,项目早期analyst写的groovy还是要和我们的frameowrk部分一起
release,因为两者的测试绑在一起。 |
|
s****y 发帖数: 581 | 10 菜鸟问题:
本人硬件菜鸟, 本人管Oracle数据库,最近想加一块硬盘专门存备份文件如: Oracle
的backupset,包括Archivelog, autobackup。总之就是整个Oracle FRA。
现在问题是,我们的Disk是作了Raid 10的Disk redendancy, 在Linux OS上本身还
有Logical Volume。
哪为大牛能给点指导吗? (1)。 在有Logical Volume和Raid 10的情况小,能加
个DISK吗。(2)。如果能,如何加这个Disk?可以把加的Disk并入现存的Logical
Volume,甚至上面的Raid 10的Disk Array里吗? 还是说只能单搞一个Physical
Volume 和Logical Volume?
谢谢。 |
|
D**a 发帖数: 757 | 11 我的NAS突然之间就当机了, 好像是ROM或者FIRMWARE出了问题,HDD读不出了。 NAS是
个LINUX BASED的盒子,我把硬盘去了出来, 接到了我的VM上,现在是如下情况, 请
问该如何处理? HDD上是所有的照片和文档, 不能格式化。是下面那个1T的盘。
To run a command as administrator (user "root"), use "sudo ".
See "man sudo_root" for details.
lbblmm@lbblmm-VirtualBox:~$ xfs_repair
Usage: xfs_repair [options] device
Options:
-f The device is a file
-L Force log zeroing. Do this as a last resort.
-l logdev Specifies the device where the external log resides.
-m maxmem ... 阅读全帖 |
|
c******g 发帖数: 63 | 12 用的是VM player 5.02。一开始硬盘设置为20G, 现在想扩成30G。Power off后在
Utility菜单中已经将大小改为30G,按照网上一些资料的说明,剩余的步骤便是在
Ubuntu系统内部增加disk partition的大小。但似乎中间结果和网上写的有些不一样,
导致无法继续。具体过程如下:(assume所有命令都在sudo下)
$ fdisk /dev/sda 然后输p,显示:
Device Boot Start End Blocks Id System
/dev/sda1 * 2048 39845887 19921920 83 Linux
/dev/sda2 39847934 41940991 1046529 5 Extended
/dev/sda5 39847936 41940991 1046528 82 Linux swap / Solaris
输出n建一个新分区,显示:
Partition type:... 阅读全帖 |
|
r****t 发帖数: 10904 | 13 fairly well 可能谈不上。就算是拿你说 fairly well 的 Exception 处理的例子,
python has much more concise yet more readable way to manage the same logic
than Java does, I mean the "with" statement. However the point of using
python is not saving on logic, 这么多人讲过 why (not) python, 好像你还是第一
个这么讲的。
Only speak of syntax, Python allows to do the same logic more concisely and
more clearly. But even that is not the point compared to Java/C++, because
if you stick to the same logic in every piece of code, then do not bothe |
|
a**a 发帖数: 416 | 14 OK. Let's talk about PHYSICAL ADDRESS. What is a PHYSICAL ADDRESS? It is a
reference to some place in the memory. That is all. It is like the GPS
location to your house/apartment. It is accurate, but also very limited,
since it won't logically lead to the definition of the place it refer to. The
LOGICAL ADDRESS is a logical piece of information about how this place is
used. In computer, this local piece of information about how the data lived
in the memory began with that address is called TYPE.... 阅读全帖 |
|
|
L*****e 发帖数: 8347 | 16 还是拿庖丁解牛来做类比,我的理解是:
requirements: 将牛拆解而刀不损伤。
business logic: 牛的骨架结构
language(s): 刀(一把或者大小厚薄不同的几把)
library/framework:针对牛的具体部位的刀具选择及具体刀法。
在现实例子中,很多时候requirement和business logic之间的界限是不明显的,比如
说你可以说requirement具体到拆解完的牛的骨架不能受损,拆解完的牛件最大不能超
过多大等等。或者可以把business logic理解为加了许多具体rules的requirements。
再来一个e-commerce网站来做个简单例子:requirements可以是简单的能让customer往
shopping cart里加减货物,能有地方输入shipping地址,能够check out。而business
logic就是加减货物可以bulk operation,地址及信用卡信息的validation,check
out点击后有哪些events需要被invoke,建立和credit card network之间的... 阅读全帖 |
|
z****e 发帖数: 54598 | 17 event-driven被证明过并不适合所有的business logic
更适合一些business logic,比如保险的理赔流程
工作流就是大面积使用event driven的产物
不过对于business logic来说,最大的问题在于旧代码的复用
而不是如何简化新生代码,大部分公司的business logic的代码都不允许随便重构
那如何复用现有代码就是一个大问题
所以真正用得比较多的概念是esb,service bus这些
通过给不同系统提供统一接口以实现集成的目的
single thread完全没有必要,如果各个线程之间不需要share状态的话
我直接上个多线程也没什么问题,单线程还要去留意一下这个是单线程,这里有
tradeoff
多线程在这个时候还更直接更简单,不需要去留意这个是单线程
如果为了实现并发同步还需要去把thread包装成process的话
那为什么不一开始就多线程呢?反正不需要share状态
这也有很多框架可以直接做了,比如akka |
|
d***i 发帖数: 19 | 18 It's OK if your web are "traditional" type, which most front-end business
logic sits on the server side as well as the work-flow controlling logic,and
server returns content to browser from page to page.
The user expectations on Web UI getting higher and higher which people
always compare a Web UI with a Desktop UI in terms of look and feel.
One trend for Web UI to go is to go "Single Page Application", which need to
put flow controlling logic sit in the browser and many front-end logic is
shift... 阅读全帖 |
|
f********x 发帖数: 99 | 19 The world beyond batch: Streaming 101: A high-level tour of modern data-
processing concept
http://radar.oreilly.com/2015/08/the-world-beyond-batch-streami
by Tyler Akidau August 5, 2015
Editor’s note: This is the first post in a two-part series about the
evolution of data processing, with a focus on streaming systems, unbounded
data sets, and the future of big data.
Streaming data processing is a big deal in big data these days, and for good
reasons. Amongst them:
Businesses crave ever more tim... 阅读全帖 |
|
s******y 发帖数: 121 | 20 The traditional CPU is a physical processor, sometimes refered to as a
package. A physical processors may contain more than one core. Intel has
dual (2) core and qual (4) core processors. AMD has dual, tri and quad core
processors. When hyperthreading (Intel CPU only) is disabled, each core is a
logical processor. When HT is enabled, each core contains 2 logical
processors.
Example, the new Intel Nehalem processor contains 4 cores. it contains 8
logical processors when HT is eabled and 4 logical |
|
s*********t 发帖数: 600 | 21 没人转这个咩?老Poo的2012年新年报告
版主给m下,再给一个包子吧:)
——————————————————————
科学追求的事实和谬论——2011中科院神经所年会蒲慕明所长报告
方琪
今年的神经所年会蒲慕明所长的报告继续由我根据录音整理,不知是不是独家,在年末
愿与有志于科学的同学们共勉~^^
科学追求的事实和谬论
Facts and Fallacies in Science
Mu-ming Poo
2011.12.29 16:30-17:15
好,我们今年年会非常热烈,大家都看到了,我们年年有进展,今年很多进展的报告大
家都觉得很兴奋,我想先讲今年所里几件大事吧,第一件大事是现在所里的领导增加了
鲜血,大家可能还不知道,王燕老师是我们所里正式的学术副所长,舒友生老师是我们
的党委副书记[在座一同学说道:“舒老师今天实验室来了新样品,估计在做实验今天
……”],还有王佐仁老师是所长助理,我们最近又来了几个新的师长,最新的是昨天
到的张翼凤老师,Harvard博士后,UCSD的PhD,有些同学听过她的报告,有些同学没有
听过,可以给她安排一场,晚上的seminar.
下面为大家讲... 阅读全帖 |
|
p*****m 发帖数: 7030 | 22 不喜欢
没人转这个咩?老Poo的2012年新年报告
版主给m下,再给一个包子吧:)
——————————————————————
科学追求的事实和谬论——2011中科院神经所年会蒲慕明所长报告
方琪
今年的神经所年会蒲慕明所长的报告继续由我根据录音整理,不知是不是独家,在年末
愿与有志于科学的同学们共勉~^^
科学追求的事实和谬论
Facts and Fallacies in Science
Mu-ming Poo
2011.12.29 16:30-17:15
好,我们今年年会非常热烈,大家都看到了,我们年年有进展,今年很多进展的报告大
家都觉得很兴奋,我想先讲今年所里几件大事吧,第一件大事是现在所里的领导增加了
鲜血,大家可能还不知道,王燕老师是我们所里正式的学术副所长,舒友生老师是我们
的党委副书记[在座一同学说道:“舒老师今天实验室来了新样品,估计在做实验今天
……”],还有王佐仁老师是所长助理,我们最近又来了几个新的师长,最新的是昨天
到的张翼凤老师,Harvard博士后,UCSD的PhD,有些同学听过她的报告,有些同学没有
听过,可以给她安排一场,晚上的seminar.
下... 阅读全帖 |
|
l*3 发帖数: 2279 | 23 水版那边我就不回复你了, 因为你虽然水平不高, 不过比水版的无脑还是强一些的.
(1).你根本没仔细看13楼, 你用的合数的定义也不是朴素定义, 朴素定义是: a是合数<
=>a是大于一的自然数, 且存在非1和a本身的自然数b, 使得b整除a.
请你先把你合数的定义 "合数是指可以表示成若干个 (大于1个) 质数的乘积" 证明了,
而不要随随便便说trivial (尤其是在你用此来对比说明别人的是nontrivial的时候)
(2). 我也可以学你的逻辑辩论方式: "在我眼中, 我那个素数的定义非常trivial, 如
果你不认为他trivial, 我只能说你笨."
实际上, 你的合数定义, 我的素数定义, 是配对的, 是朴素定义在 "任何大于1的自然
数都有素因子" 的推论. 这句话能懂否? 这个是需要证明的. 当然, 你也可以觉得太显
然, 如果你觉得这个显然, 那我素数定义的合理性也是显然的, 你不能说你合数的定义
显然, 我素数的定义就不显然.
再者, 我素数的定义, 基本就是你合数定义写成了逆否命题的样子, 你居然说你的定义
显然, 我的定义不显然, 这是不是双重标准?
(3... 阅读全帖 |
|
f**d 发帖数: 768 | 24 【 以下文字转载自 Biology 讨论区 】
发信人: squirrabbit (松鼠兔), 信区: Biology
标 题: 科学追求的事实和谬论—2011年神经所蒲慕明报告ZT
发信站: BBS 未名空间站 (Sat Dec 31 12:25:06 2011, 美东)
没人转这个咩?老Poo的2012年新年报告
版主给m下,再给一个包子吧:)
——————————————————————
科学追求的事实和谬论——2011中科院神经所年会蒲慕明所长报告
方琪
今年的神经所年会蒲慕明所长的报告继续由我根据录音整理,不知是不是独家,在年末
愿与有志于科学的同学们共勉~^^
科学追求的事实和谬论
Facts and Fallacies in Science
Mu-ming Poo
2011.12.29 16:30-17:15
好,我们今年年会非常热烈,大家都看到了,我们年年有进展,今年很多进展的报告大
家都觉得很兴奋,我想先讲今年所里几件大事吧,第一件大事是现在所里的领导增加了
鲜血,大家可能还不知道,王燕老师是我们所里正式的学术副所长,舒友生老师是我们
的党委副书记[在座一同学说道:... 阅读全帖 |
|
w*******y 发帖数: 60932 | 25 Link:
http://itunes.apple.com/app/strimko-gold/id418270346?mt=8
STRIMKO, the
popular web-based logical puzzle game, comes to the iPhone / iPod touch (
compatible with iPad), so you can play on the move. Strimko is a number
puzzle that introduces a new twist on the classic Latin Squares concept
described by the famous Swiss mathematician Leonhard Euler (1707 - 1783)
and popularised in forms such as Sudoku and similar number puzzle... 阅读全帖 |
|
|
c***s 发帖数: 70028 | 27 2006年,会议五十年后,当事人重聚达特茅斯。左起:摩尔,麦卡锡,明斯基,赛弗里奇,所罗门诺夫
背景
现在一说起人工智能的起源,公认是1956年的达特茅斯会议。殊不知还有个前戏:1955年,美国西部计算机联合大会(Western Joint Computer Conference)在洛杉矶召开,会中还套了个小会:“学习机讨论会”(Session on Learning Machine)。讨论会的参加者中有两个人参加了第二年的达特茅斯会议,他们是塞弗里奇(Oliver Selfridge)和纽厄尔(Allen Newell),塞弗里奇发表了一篇模式识别的文章,而纽厄尔则探讨了计算机下棋,他们分别代表两派观点。讨论会的主持人是神经网络的鼻祖之一皮茨(Pitts),他最后总结时说:“(一派人)企图模拟神经系统,而纽厄尔则企图模拟心智(mind)……但殊途同归。”皮茨眼可真毒,这预示了人工智能随后几十年关于“结构与功能”两个阶级、两条路线的斗争。
开聊达特茅斯会议之前,先说六个最相关的人。首先,会议的召集者麦卡锡(John McCarthy)当时是达特茅斯学院的数学系助理教授。两年前(1954... 阅读全帖 |
|
g******e 发帖数: 403 | 28 I never mentioned the information I posted is from 百度百科. Now you forced me
to admit my information is from there. I gave you so many links and you just
ignored them all. You did not read all the posts carefully. Then suddenly
you knew my logic and compared my logic in your imagination with another
person's logic, which was also out of your imagination. That's why I felt
you were not neutral. Well,I do not want to waste my time anymore. You can
keep doing what you do well. |
|
S*******C 发帖数: 7325 | 29 ☆─────────────────────────────────────☆
kejer (kejer) 于 (Tue Jul 13 16:11:14 2010, 美东) 提到:
当时曹操手上的步骑兵渡了江接下来就基本上没什么悬念了吧?当时曹操手上有渡口呀
,孙刘又不可能来个长江防线。
☆─────────────────────────────────────☆
DrLiYu (婆婆------蓝) 于 (Tue Jul 13 16:16:45 2010, 美东) 提到:
路不好走啊,别说那时,就是直到上世纪末,都不好走.火车要绕很多路.
另外湖北当时叫千湖之国,到处是水网沟岔.
太平天国的时候,也是顺江往下打,因为长江是非常好的后勤补给线
☆─────────────────────────────────────☆
powerrui (powerrui) 于 (Wed Jul 14 11:47:04 2010, 美东) 提到:
有一部确实渡过去了,不过被打回来了。
☆─────────────────────────────────────☆
... 阅读全帖 |
|
l***x 发帖数: 684 | 30 I said those logic you saying is not logic, it is politics.
well, yes, let me compromise a little bit on this, and say the world runs in
your logic.
your daddy raised you, so your daddy is the boss of history.
and, do you know TieMuZhen is much much older than your SongLaoZuZong?
sound more like great great grandson determining the nationality of great
great grandfather.
do not take it personal, but, are you JingFen? |
|
w****2 发帖数: 12072 | 31 Think about the logic carefully. You should use your logic like your GRE
logic exam here. Otherwise you will be mislead.
What you gave just means that Mao fighted back. But it does not mean:
1) Peng's letter is "冲着毛泽东";
2) Liu did not fight back.
3) Mao fighted back most severely?
"要是仔细读一下有关庐山会议的资料,事情并不是后来人们想象的那样。彭之所以倒
霉,可能是因为犯了众怒。反而是毛费了不少力气,给处理彭定了调子,“政治处理从
严,组织处理从宽”,政治局委员还给彭留着了,这才没有象很多人希望的那样把彭彻
底打倒。那么这是毛的宽宏大量么?也不是。我慢慢说。"
See http://hanwenhua.blog.hexun.com/8736058_d.html
I said that, there ar |
|
w****2 发帖数: 12072 | 32 ok, let's try it.
"我想到今日之中国,这些五毛,比土共还要迫不及待地否定和扼杀中国的一切,..."
Obviously the logic is wrong in this sentence (maybe not wrong in your logic
"我想到今日之中国,这些极端右翼人士,比美国还要迫不及待地否定和扼杀中国的一
切,..." The logic here is consistent. |
|
t*******h 发帖数: 2882 | 33 你来看看这个:
The Diplomatic Logic of South Africa's Entry Into BRICS
http://www.worldpoliticsreview.com/articles/8505/the-diplomatic
South Africa will formally join the BRIC grouping of Brazil, Russia, India
and China at their April 14 summit in Hainan, China. Echoing previous
meetings, the major focus of the summit will be to consolidate the
impression that the BRICs are the rising force in the global arena. The June
2009 Yekaterinburg summit was hailed as an "historic event" by Russian
President Dm... 阅读全帖 |
|
y****t 发帖数: 9189 | 34 【 以下文字转载自 Olympics 讨论区 】
发信人: goldfishli (goldfish), 信区: Olympics
标 题: 饶毅致《自然》杂志总编的信 (转载)
发信站: BBS 未名空间站 (Sat Aug 4 00:25:43 2012, 美东)
发信人: ipdang (ip), 信区: Biology
标 题: 饶毅致《自然》杂志总编的信
发信站: BBS 未名空间站 (Sat Aug 4 00:18:14 2012, 美东)
http://blog.sciencenet.cn/blog-2237-598917.html
致《自然》杂志总编的信:有关叶诗文的新闻报道 精选
英文原信附后,大意如下:
斐尔,
你可能因Ewen Callaway对叶诗文的报道而被email狂炸,过去二十小时,给你
email的人里面小部分也给我来信。
如果你奇怪《自然》非本质部分一篇报道为何带来这么大的反应,你应该高兴
中文读者比世界其他读者更看重你们的新闻报道,与科学相关的(即使关系很小)也可
能重于《纽约时报》,中文媒体报道用你们的新闻也远... 阅读全帖 |
|
Ag 发帖数: 481 | 35 【 以下文字转载自 Biology 讨论区 】
发信人: ipdang (ip), 信区: Biology
标 题: 饶毅致《自然》杂志总编的信
发信站: BBS 未名空间站 (Sat Aug 4 00:18:14 2012, 美东)
http://blog.sciencenet.cn/blog-2237-598917.html
致《自然》杂志总编的信:有关叶诗文的新闻报道 精选
英文原信附后,大意如下:
斐尔,
你可能因Ewen Callaway对叶诗文的报道而被email狂炸,过去二十小时,给你
email的人里面小部分也给我来信。
如果你奇怪《自然》非本质部分一篇报道为何带来这么大的反应,你应该高兴
中文读者比世界其他读者更看重你们的新闻报道,与科学相关的(即使关系很小)也可
能重于《纽约时报》,中文媒体报道用你们的新闻也远多于一般西方媒体用你们的新闻。
Callaway报道最好也是草率、最差是种族偏见:1)最初的副标题暗示叶可能舞
弊; 2)Callaway用了两件事实说明叶惊人地异常,而两件都错了; 3)Callaway没咨询意... 阅读全帖 |
|
b********n 发帖数: 38600 | 36 http://www.strategypage.com/htmw/htlead/articles/20120807.aspx
Can't We All Just Obey China?
China recently declared that most of the 3.5 million square kilometers South
China Sea had become Sansha, the latest Chinese city. The area China claims
is within the city limits comprises over two million square kilometers of
largely open ocean and a few hundred tiny islands and reefs, many of which
are only above water during low tide. Sansha is administered from one of the
Paracel islands (Woody Islan... 阅读全帖 |
|
V******z 发帖数: 330 | 37 That's largely because you do not understand the fault-tolerance aspect of a
language. Also because you did not observe how children learn to speak.
Adults are more tolerant toward the wrong orders of words uttered by kids,
and kids remember over time the most commonly accepted order of words.
Before you proselytize, I suggest you truly understand the "babble" itself.
Also, what you need to keep in mind is, there is language first, then there
is the "structure" that describes the pattern in a la... 阅读全帖 |
|
m****s 发帖数: 443 | 38 跟汉奸无异了吧
发信人: logic98 (logic), 信区: Military
标 题: Re: 批评中国教育的人肯定没有体验过美国的高中
发信站: BBS 未名空间站 (Thu Dec 4 10:34:08 2014, 美东)
这个其实就是推得严重超过了孩子的能力。本质上是把国内的那一套搬到美国来了
发信人: logic98 (logic), 信区: Military
标 题: Re: 批评中国教育的人肯定没有体验过美国的高中
发信站: BBS 未名空间站 (Thu Dec 4 09:40:20 2014, 美东)
没那么夸张。也许纽约加州华人烙印多得地方是这样吧。我女儿就是这儿的私立高中毕
业。课外活动是多,但也不是人人都有那么多。作业也没有那么夸张。
晚上睡觉从来没有晚过10:00.
发信人: logic98 (logic), 信区: Military
标 题: Re: 美国高中生是挺忙叨的
发信站: BBS 未名空间站 (Fri Dec 5 11:34:32 2014, 美东)
很多老中还是国内带过来的思维,成绩至上。遇见过的老中朋友和我们聊起孩子基本上
首先... 阅读全帖 |
|
z*****3 发帖数: 1793 | 39 哈哈。玩中文要被玩死。我只知道logic,logical,logically。其他统统忽略。 |
|
b********n 发帖数: 38600 | 40 Warning, Reasoning Is Low Precision
https://thinkpatriot.wordpress.com/2015/10/02/warning-ideas-are-dangerous/
I expand this disclaimer nearly continuously, this and this as recent
examples. The problem is that human affairs have too many dimensions for
human minds to model. People, especially people we are close to, are an
easier problem.
Our huge advantage over other primates is our superior theory of mind, our
ability to see other’s points of view. Some of us are really good at that,
they can... 阅读全帖 |
|
t******l 发帖数: 10908 | 41 这种 logician 数学问题里假设的所谓 “聪明”,仅仅指 better on propositional
logics。。。而在认知科学里,只会用 propositional logics 的不是弱智就是自闭,
因为这连 Piaget 的 object permanence 和 conservation 或者之类的 test 都过不
了。
当然 propositional logics 的模型确实可以一定程度模拟在简单问题上人类群体行为
,但这个原因是人群的平均智商没有那么高(比如中位收入群体),另外人类智商也并
不特别用于诸如买哪个牌子的洗衣粉的简单问题。
:总体智能肯定不是越高越好,高到一定程度,只能带来毁灭。
:你做一做著名的海盗分珠宝问题,就能理解我说的,如果大家都非常聪明,人类无法
消灭的等级制度下,分配就会发生那种极端的不公,最后只有极少数能够存活。 |
|
t******l 发帖数: 10908 | 42 理发师悖论只是一个说法,其本质上在根子上不可解。。。不可解的原因,是 human
intelligence 不可能从 propositional logics 导出。。。历史上 human
intelligence 也不是从 propositional logics 导出。
或者反过来想,如果理发师悖论从根子上可解,也就是数学语言可以从根子上绝对无而
二义。。。那么由于人类的 consciousness 和 self awareness 无法用无二义
propositional logics 来表达(进化论以及信息论都不会支持)。。。这样的结果必
然是纯粹无二义
的数学,脱离 human intelligence,而成为神学。
: 能不能考虑时序,引进时间变量,或者状态转换?
: 理发师0时刻不能给自己理发,于是归到集合中,给自己理发后到了1时刻
,能给
自己理
: 发了,也理完了,退出集合。
|
|
m*******e 发帖数: 1598 | 43 BY TINA AMIRTHA8 MINUTE READ
This story contains interviews with Christian Kästner, assistant
professor at Carnegie Mellon University; Amy Hirotaka, state policy and
advocacy manager at Code.org; and Janet Siegmund, researcher at the
University of Passau.
In order to expose more students to computer science, 17 states have passed
legislation to create basic math and science requirements in the curriculum,
rather than count them as electives. But lawmakers in Texas have made
computer program... 阅读全帖 |
|
发帖数: 1 | 44 现代汉语中的日语“外来语”问题
王彬彬
一
中日之间的文化交流史上,有着许多有趣味也有意味的事。从大的方面说,有两个
时期的情形特别引人注目。一是在中国唐代,一是在近代。在唐代,是日本贪婪地向中
国学习,甚至是在与中国文化接触后,大和民族才首次与文字遭遇,从此才学会了书写
。日语的“假名”(字母)不过是汉字的变体。而在近代,则是中国拼命地向日本学习
。别的方面且不论,仅就语言文字方面说,在近代,倒是日本成了汉语的输出国。日本
“汉语”,冲击着东亚各国的语言系统,当然也大量进入中国的汉语中,成为中国人日
常语言的重要组成部分。
在近代由日本输入的汉语词,被称作日语“外来语”,这里也借用这种称谓。在“
外来语”上加上引号,是为了与直接来自西方的外来语(如沙发、咖啡、逻辑等)相区
别。因为这二者毕竟有些不同。
现代汉语中的日语“外来语”,数量是很惊人的。据统计,我们今天使用的社会和
人文科学方面的名词、术语,有70%是从日本输入的,这些都是日本人对西方相应语词
的翻译,传入中国后,便在汉语中牢牢扎根。我们每天用以高谈阔论、冥思苦想和说“
东”道“西”时所用的概念,竟大都是日本人弄出来的,——... 阅读全帖 |
|
发帖数: 1 | 45 鏀惧眮銆br />
鏀惧眮
Dialectic or dialectics (Greek: 未喂伪位蔚魏蟿喂魏萎, dialektik岣, also
known as the dialectical method, is a discourse between two or more people
holding different points of view about a subject but wishing to establish
the truth through reasoned arguments.
The term dialectic is not synonymous with the term debate. While in theory
debaters are not necessarily emotionally invested in their point of view, in
practice debaters frequently display an emotional commitment that may cloud
rational j... 阅读全帖 |
|
W***n 发帖数: 11530 | 46 IBM is teaching AI to behave more like the human brain
Engadget Andrew Tarantola,Engadget Fri, Sep 1 11:00 AM PDT
Since the days of Da Vinci's "Ornithoper", mankind's greatest minds have
sought inspiration from the natural world for their technological creations.
It's no different in the modern world, where bleeding-edge advancements in
machine learning and artificial intelligence have begun taking their design
cues from the most advanced computational organ in the natural word: the
human brain... 阅读全帖 |
|
发帖数: 1 | 47 以后还用人类工人的公司,都是妥妥的大清农业GDP。
=========================================
机器之心
• 2017-03-24 • 行业新闻
美国《机器人商业评论》近日公布了它们的第六个年度「RBR50 名单」,即 2017 年《
机器人商业评论》认为最值得关注、全球最有影响力的 50 家机器人行业上市公司和非
上市公司名单。
编者按:本文来自微信公众号”机器之心“(ID:almosthuman2014),内容选自
Robotics Business Review,译者 微胖、李亚洲、蒋思源;36氪经授权发布。
美国《机器人商业评论》(Robotics Business Review,简称 RBR)近日公布了它们的
第六个年度「RBR50 名单」,即 2017 年《机器人商业评论》认为最值得关注、全球最
有影响力的 50 家机器人行业上市公司和非上市公司名单。
《机器人商业评论》选择这些机器人行业远见者的标准是以一些公认的原则为基础的,
还参考了这些企业的创新能力、突破性应用、商业成果和潜力等因素,这些企业代表了
机器... 阅读全帖 |
|
发帖数: 1 | 48 以后还用人类工人的公司,都是妥妥的大清农业GDP。
=========================================
机器之心
• 2017-03-24 • 行业新闻
美国《机器人商业评论》近日公布了它们的第六个年度「RBR50 名单」,即 2017 年《
机器人商业评论》认为最值得关注、全球最有影响力的 50 家机器人行业上市公司和非
上市公司名单。
编者按:本文来自微信公众号”机器之心“(ID:almosthuman2014),内容选自
Robotics Business Review,译者 微胖、李亚洲、蒋思源;36氪经授权发布。
美国《机器人商业评论》(Robotics Business Review,简称 RBR)近日公布了它们的
第六个年度「RBR50 名单」,即 2017 年《机器人商业评论》认为最值得关注、全球最
有影响力的 50 家机器人行业上市公司和非上市公司名单。
《机器人商业评论》选择这些机器人行业远见者的标准是以一些公认的原则为基础的,
还参考了这些企业的创新能力、突破性应用、商业成果和潜力等因素,这些企业代表了
机器... 阅读全帖 |
|
i******r 发帖数: 1175 | 49 鱉完成的這量子計算模擬落後有10年了吧。量子計算領先梯隊裏沒有中國團隊。沒有一
樣重要研究成果是中國人的。
Timeline[edit]
Main article: Timeline of quantum computing
In 1959 Richard Feynman in his lecture "There's Plenty of Room at the Bottom
" states the possibility of using quantum effects for computation.
In 1980 Paul Benioff described quantum mechanical Hamiltonian models of
computers[57] and the Russian mathematician Yuri Manin motivated the
development of quantum computers.[58]
In 1981, at a conference co-organized by MIT and IBM, physicist ... 阅读全帖 |
|