f(Program,Poet)=Programet

曾经，“显然”两个字让我非常讨厌——因为答案里出现这两个字的地方，往往就是整个证明中最拐弯抹角难以捉摸到的地方。有时我也会用这个词尝试不负责任地绕过自己其实证不出来的关键部分。不过，我在以前学数学分析以及最近学实变函数的过程中对它有了进一步的了解。

阅读全文 »

有一个监狱里面关押了六个囚犯，一天监狱长对他们说：我给你们一个出狱的机会，不过这要看你们的表现如何了。 阅读全文 »

不知道大家在KTV除了唱歌还会玩些什么呢？话筒只有两三个，但是人却有十多只，应该有很多人玩三国杀、UNO之类的桌游，不过我想也会有些人玩骰子喝酒的吧。至少在我的朋友圈里面，这些都是KTV里面的主要活动。三国杀什么的我今天就不讨论了，让我琢磨了一番的是那个骰子的小游戏。可能大家玩的规则大同小异，我先向没玩过的读者叙述一下最主要的游戏规则。

阅读全文 »

我们宿舍门背后挂了一块飞镖板，宅得无聊了几个人还可以暴力一下（门上面已经有好多脱靶扎出来的小眼了，不要告诉宿管诶）。由于小时候我家也有一块，所以我有那么一点点的基础，从气氛上来说我比舍友的准度要高那么一些。但是，这个结果到底是我们之间的水平存在客观差距，还是他们的运气比我差了那么一点呢？

阅读全文 »

2011-7-19 Update:居然被一些同学发现了……不过本文的图片在blog进行服务器转移的时候没有备份好……所幸这些概念性的图片可以使用Google，Wikipedia来找到类似的进行理解。然后已经修改了从Matrix67的Blog引用的文章图片也未能显示的问题。

阅读全文 »

统计推理是我们院统计专业新开的一门课，主要讲授一些统计学方面的知识，我非常喜欢这门学科，觉得其分析事物的角度非常有趣。目前我对统计学的认识还有局限，以后一定会写一些关于统计学的文章。我选的书是《女士品茶》，它是一本介绍统计学史以及大概思想的科普类书籍。下面贴出的这篇读书报告其实没有涉及多少书中的内容，主要是我自己的一些杂碎的思考。对于下文涉及到的任何物理类陈述，我绝对不保证其正确性…… 阅读全文 »

离散上集合论终于上到激动人心的时刻了：无限集合。想当年我比现在还稚嫩的时候，第一次觉得数学神奇就是在领略无穷的时候。其实我蛮喜欢这个离散老师的，因为他还保持着对数学的一点点激动，说到选择公理和罗素悖论的时候显得蛮兴奋的~不过有很多东西在课上不能展开来说。今天他在作业里面加了一道附加题，意思就是让我们证明和是等势的，也就是说我们能找到一个从到的双射。这个直观上还是有些难以想象：一块面和一条线段会相等吗？我上课的时候就在思考这个问题，想了挺久，然后得到了一个比较复杂的方法。

阅读全文 »

（准确地说应该是）昨天，xxy发给我一个软件Mindjet MindManager Pro 6——是一个帮助制作思维导图的软件。思维导图我以前就听说过了，但是一直都没有认真地去研究和使用这个东西。不过昨天我确实是意识到了这个玩意的强大之处。

阅读全文 »

最近刚刚开始认真的ACM…于是去网上找了找关于合作方面的内容，找到一篇E文的，不知道作者是谁。我看了看，感觉还不错，准备收藏。但是一想总觉得看E文的水平毕竟欠佳，没有中文一目十行的那种快感。于是我将其简单地翻译了一下，懒得润色了，还是贴了出来，方便大家的阅读与交流。因为翻译上的缺陷在所难免，所以我已经做好了被拍砖的准备TT……原文的txt版点击这里下载。 阅读全文 »

其实这是一份比较无聊的东西……因为民意表决掉了期中考试，于是C语言老师znm便换了法子，要我们写一个实验报告出来，其中重点是结构化程序设计。本来嘛，搜索类题目是可以很好地表现出结构化程序设计的优点的（比如递归……），但是我决定写另外一个题目，而把搜索类题目推荐给其他同学~（比如八皇后啊，骑士游历啊这种网上能找到一沓代码的题目）。我选择了素性测试这个问题。当然不需要太难，为了体现结构化，我觉得将不同的方法分别写一个函数然后比较一下就可以了。在下面贴出来的文字中不免有很多装13的地方，同时估计会有说得不严谨的地方…砖不要拍得太狠了…以及有些东西我很懒，就没有真正地完成所有的函数，同时找了一个理由。另：请尽量不要转载，免得老师以为我抄袭——即便我在报告末尾声明过了…… 阅读全文 »