其他
宅教授
宅教授
展开
-
内容与形式
最近我们开了两门新课:计算机图形学,数值计算方法;我们原本的图形学老师生病了,所以给我们上课的是另一个老师。这个老师讲课的方式很随意,思维相当跳跃,内容也很深刻,他不讲那些无聊的概念。在课上,他提到内容与形式的关系。他说形式就是内容。在数学上有些定理看起来极其幼稚和复杂。但是数学是美的。数学家绝对不会做多余的事情,之所以定理看起来很复杂,是因为我们要推广它。原创 2012-11-08 18:15:17 · 564 阅读 · 0 评论 -
递归算法的证明与设计
主1:关于递归算的证明是证明算法的正确性。证明所需工具:数学归纳法。证明分为两个步骤: 1、证明该算法对于任意有意义的输入都可以返回。 2、证明该算法对于任意有意义的输入它的返回都是正确的。 总结,对于任意有意义的输入都可以返回正确的结果。例子:Hanoi(汉诺)塔问题:void hanoi(int n,char s,char原创 2012-12-12 18:31:52 · 2909 阅读 · 1 评论 -
临界区域
最近要考操作系统了。有同学问我关于临界区域的问题,他还问了度娘。我看了百度百科(临界区),那么多人参与编辑,真是无语。与其这样,还不如翻译一下wiki(Critical section)!原创 2012-12-31 23:01:22 · 508 阅读 · 0 评论 -
读取和保存arff文件
情景:找出wake分类后预测错误的实例。包:自然是weka.jar,它存在于weka的安装目录下。细节:见weka.jar的javadoc。代码:package com.weka.test;import java.io.File;import java.io.IOException;import weka.core.Attribute;import原创 2014-03-28 16:21:22 · 7405 阅读 · 0 评论 -
在CSDN可以使用markdown写博客了
第一次接触Markdown是在马克飞象,后来它收费了,所以我就搬迁到作业部落,虽然那里写的笔记不容易被搜索引擎爬到,社交也比较薄弱,但是漂亮的排版让我无法割舍,尤其是对公式良好的支持。今天写博客的时候,突然看到标题栏下方的链接“切换到MarkDown编辑器”,终于,一个完美的博客平台诞生了。引用官方的一句话“用它写博客,将会带来全新的体验哦”第一次进入编辑器时就可以看到对Markdown的介绍,在此原创 2015-03-29 18:46:34 · 1454 阅读 · 1 评论