ilogic - 博客园

几种容易混淆的投票制度

摘要： Instant Runoff Voting (IRV)：直译是“即时决选制”，中文维基译为“排序复选制”，如果相对于下面的“两轮决选制”，或许译为“多轮决选制”更妥当。该投票制用于选出唯一当选者。投票者对所有候选项进行排序，然后按如下步骤决定唯一当选者：若有候选项得票（将其列为第一位的投票人数）超过半数，则该候选项当选，结束计票；否则进行第 2 步。将得票最少的候选项从所有票面中剔除，重新计算剩余候选项的得票数。执行第 1 步。Plurality with Runoff：直译是“决选多数制”，有人翻译为“两轮决选制”。该投票制用于选出唯一当选者。投票者对所有候选项进行排序，然后按如下步骤决定唯阅读全文

posted @ 2012-11-03 13:57 ilogic 阅读(1615) 评论(0) 推荐(0) 编辑

Ubuntu 下 Wine 安装微软 Office

摘要：借着重装 Ubuntu 系统的机会，尝试了一把在 Ubuntu 下 Wine 安装微软 Office 办公套件，结果非常成功。这下不用再到虚拟的 Windows 操作系统中使用微软的 Office 了。为什么要用微软的 Office 呢？这只是迫不得已。因为很多官方表格是 doc 格式的，为了填这些表格并保持格式，你不得不屈就。由于 Wine 的更新，安装过程已经大大简化，网上查到有直接安装成功的，我试了一遍直接装，没有成功，后来找到下面的方法：http://www.linuxidc.com/Linux/2012-06/63593.htm其中在安装 dotnet20 时有可能会报错，不能直接安阅读全文

posted @ 2012-11-02 15:09 ilogic 阅读(6607) 评论(1) 推荐(0) 编辑

如何在不支持 LaTeX 的环境使用 LaTeX 命令输入公式？

摘要：这里推荐一个在线即时编译 LaTeX 命令的网站：http://www.arachnoid.com/latex/index.html，这个网站至少有如下两个用途：在不支持 LaTeX 的网页环境（如邮件、博客、论坛等）下输入漂亮的数学公式。方法是事先在上述网站上通过 LaTeX 命令生成你想要的公式，然后在 Render Mode 中选择 CodeCogs，这时生成的公式是图片格式的，选中该图片，... 阅读全文

posted @ 2012-10-15 09:48 ilogic 阅读(918) 评论(0) 推荐(0) 编辑

利用 ScribeFire 扩展“一稿多投”

摘要：这里的“一稿多投”是指，你在编辑器写好文章后一次性发布到你的多个博客站点，而不必采用复制、粘贴这样的低级方法。这对于有多个博客需要同时打理的作者来说是很现实的需求，特别是在网络审查作威作福的情况下，同时在墙外建一个博客备份是很有必要的。这里推荐的 ScribeFire 扩展可以帮你解决这个问题。ScribeFire 扩展有 Firefox、Chrome、Safari、Opera 各种版本（我用的是 Chrome 版，Firefox 版功能最强），你可以通过这几种浏览器登录ScribeFire后点击 Install Now 安装。安装后你需要将你的博客地址以及用户名、密码等信息添加进去（Chro 阅读全文

posted @ 2012-08-09 14:20 ilogic 阅读(298) 评论(0) 推荐(0) 编辑

测试 LaTeX

摘要： This is an array.\begin{array}{cc} a & b \\ c & d \end{array}In equation \eqref{eq:sample}, we find the value of an interesting integral: \begin{equation} \int_0^\infty \frac{x^3}{e^x-1}\,dx = \frac{\pi^4}{15} \label{eq:sample} \end{equation} 阅读全文

posted @ 2012-08-06 00:05 ilogic 阅读(2895) 评论(38) 推荐(1) 编辑

在博客园利用 MathJax 建支持 LaTeX 的博客

摘要：终于找到了比较完美的在博客中支持 LaTeX 的方案。wordpress.com 虽然也支持 LaTeX，但是有 3 个缺点：wordpress.com 整个网站都被墙了，在上面建博客国内读者访问较为困难；wordpress.com 是利用 wordpress 的wp latex 插件支持 late... 阅读全文

posted @ 2012-08-05 23:06 ilogic 阅读(7812) 评论(61) 推荐(13) 编辑

阿罗不可能性定理的证明

摘要：首先引入一些必要的记号和定义。令有穷集 $N=\{1,\ldots,n\}$ 为 $n$ 个投票者构成的集合，令 $X$ 为所有备选项构成的集合，每个投票者 $i$ 对 $X$ 的排序记作 $\succeq_i$，所有投票者对 $X$ 的一组排序 $(\succeq_1,\ldots,\succeq 阅读全文

posted @ 2012-08-05 21:47 ilogic 阅读(3760) 评论(2) 推荐(0) 编辑

侠之大者：阿马蒂亚·森与自由悖论

摘要： “如果你因失去太阳而流泪，那么你也将失去群星”，这句国人耳熟能详的名人名言出自印度诗人泰戈尔的《飞鸟集》。泰戈尔不仅以诗著名，他还因不满僵化的英国殖民教育，创办了自己的学校。这位第一个获得诺贝尔文学奖的亚洲人大概不会料到，他的学校会走出亚洲第一个（也是迄今唯一的）诺贝尔经济学奖得主，而这位幸运儿的大名正是泰戈尔亲自拟定的，他的名字叫阿马蒂亚·森（Amartya Sen）。少年英雄与作为倒闭银行家的儿子阿罗不同，森出生于书香门第，父亲和外公都是大学教授。从小混迹于茵茵校园，除了投身学术，森想不出还有第二条路可以走。他在泰戈尔创办的学校里读完小学和中学，自由驰骋于梵文、数学和物理之间。9 阅读全文

posted @ 2012-08-02 20:57 ilogic 阅读(699) 评论(0) 推荐(0) 编辑

从“哥德尔不完备性定理”到“阿罗不可能性定理”

摘要：哥尼斯堡，这个德国小镇以拥有 7 座令人晕头转向的小桥而著名（直到瑞士人欧拉发明图论治好了晕头症）。一个被当地人用来对时的超级宅男诞生于此，他的名字叫康德。若干年后，康德仙逝，康德的母校迎来了一位新同学，他的名字叫希尔伯特。勤奋好学的希尔伯特迅速成长为数学界的带头大哥。在风起云涌的 1920 年代，这位带头大哥为江湖侠士们编织了一个值得赴汤蹈火、万死不辞的伟大梦想：构造一个完美的（一致且完备的）形式证明系统，用以证明任何数学命题的真假。（这令人想起他的德国前辈莱布尼茨）。直到 1930 年退休时，希尔伯特仍然对此心怀壮志，他掷地有声的放言：我们必须知道，我们必将知道（Wir müss 阅读全文

posted @ 2012-07-24 21:53 ilogic 阅读(758) 评论(0) 推荐(0) 编辑

逻辑客

推荐一个自动抽取pdf高亮笔记的web应用