8 Aug

CreaWriter,惬意创作!

最近打算记录一下过去生活的点点滴滴,于是便起了要找一个写作软件的想法。为什么呢?像Word之类的软件的确可以很完美地完成文档编辑的工作,可是写作并不是写论文,我想要的是一个能够让我有写作的惬意之感的软件,这显然是Word这类“巨无霸”所不能胜任的。上网搜索了一下,找到一个还算满意的软件——CreaWriter

CreaWriter_1

CreaWriter_1

点击阅读全文...

11 Sep

《转山》,动人之旅

转山

转山

刚看完了电影《转山》,挺感动的,总觉得好像不写点东西就对不起这部电影了。

这还需要从上学期选公选课谈起。上学期我选择的公选课是数据库,而体育课则是太极,接近期末考的时候又重新选公选课了,我想选修一门轻松点、惬意点的课程,刚开始是选择了书法,后来看到了“自行车出行与户外旅游”,有点心动,再看上课老师,原来就是我们的太极老师,上了一学期的太极,跟他有些熟悉,也觉得他很好相处,就觉得选择这门课程了。

上一周二是这门课程是第一次课,老师讲得很精彩,而事实上,我唯一能够全程专心听课的就只有两门课程,一门就是这个公选课,另外就是马克思列宁主义(奇怪吧?确实是,马列老师讲得真的很精彩,我几乎没有分过神)。《转山》这部电影也是上公选课的时候老师推荐的,是根据同名小说改编的。大体的情节是一个台湾年轻人,只身踏上骑自行车从丽江到拉萨的旅途。影片描绘了他路上的崎岖行程,描绘了一路上的风土人情,让人颇为深刻。

点击阅读全文...

26 Dec

小论文《欧拉数学在数列级数的妙用》

这是我的数学分析期末小论文,是之前的文章《[欧拉数学]找出严谨的答案》的补充与完善,也是我自己的Latex写作练习。文章举了一些例子来说明通过离散数学连续化为离散命题的证明带来思路。

----------------------

通常我们都认为具体的级数是比较容易分析的,而抽象级数则比较难把握思路。抽象级数题目的种类太多,为了熟练解题通常都需要记忆很多形式,而且这些形式通常都很单一,缺乏可拓展性。而运用“欧拉数学”,可以为我们解决数项级数题提供一个独特的、实用性广的思路。

点击阅读全文...

26 Dec

高维空间的叉积及其几何意义

向量之间的运算有点积和叉积(Cross Product,向量积、外积),其中点积是比较简单的,而且很容易推广到高维;但是叉积不同,一般来说它只不过是三维空间中的东西。叉积的难以推广在于它的多重含义性,如果将向量及其叉积放到张量里边来看(这属于微分形式的内容),那么三维以上的向量叉积是不存在的;但是如果只是把叉积看成是“由两个向量生成第三个与其正交的向量”的工具的话,那么叉积也是可以高维推广的,而且推广的技巧非常巧妙,与三维空间的叉积也非常相似。

回顾三维空间

为了推广三维空间的叉积,首先回顾三维空间的叉积来源是有益的。叉积起源于四元数乘法,但是从目的性来讲,我们希望构造一个向量$\boldsymbol{w}=(w_1,w_2,w_3)$,使得它与已知的两个不共线的向量$\boldsymbol{u}=(u_1,u_2,u_3),\boldsymbol{v}=(v_1,v_2,v_3)$垂直(正交)。从普适性的角度来讲,我们还希望构造出来的向量没有任何“奇点”,为此,我们只用乘法构造。至于叉积的几何意义,则是后话,毕竟,先达到基本的目的再说。

点击阅读全文...

6 Jan

2013年全年天象

Astronomy Calendar of Celestial Events
2013年全年天象

翻译自NASA:http://eclipse.gsfc.nasa.gov/SKYCAL/SKYCAL.html

(北京时间)

2011年版本

2012年版本

日期 星期 时刻 天象

一月
01 二 金星:20.9° W
02 三 08:59 地球过近日点: 0.9833 AU
03 四 21:33 象限仪座流星雨极大: ZHR = 120
05 六 11:58 下弦月
06 日 03:54 月合角宿一(Spica): 0.6° N

点击阅读全文...

4 Mar

平面曲线的曲率的复数表示

开学已经是第二周了,我的《微分几何》也上课两周了,进度比较慢,现在才讲到平面曲线的曲率。在平面曲线$\boldsymbol{t}(t)=(x(t),y(t))$某点上可以找出单位切向量。
$$\boldsymbol{t}=\left(\frac{dx}{ds},\frac{dy}{ds}\right)$$
其中$ds^2 =dx^2+dy^2$,将这个向量逆时针旋转90度之后,就可以定义相应的单位法向量$\boldsymbol{n}$,即$\boldsymbol{t}\cdot\boldsymbol{n}=0$。

常规写法

让我们用弧长$s$作为参数来描述曲线方程,$\boldsymbol{t}(s)=(x(s),y(s))$,函数上的一点表示对$s$求导。那么我们来考虑$\dot{\boldsymbol{t}}$,由于$\boldsymbol{t}^2=1$,对s求导得到
$$\boldsymbol{t}\cdot\dot{\boldsymbol{t}}=0$$

点击阅读全文...

11 Jun

用PyPy提高Python脚本执行效率

《两百万前素数之和与前两百万素数之和》中,我们用Python求了前两百万的素数和以及两百万前的素数和,并且得到了在Python 3.3中的执行时间如下:

两百万前的素数之和:
142913828922
time: 2.4048174478605646

前两百万的素数之和:
31381137530481
time: 46.75734807838953

于是想办法提高python脚本的执行效率,我觉得在算法方面,优化空间已经比较小了,于是考虑执行器上的优化。在搜索的无意间我看到了一个名词——Psyco!这是python的一个外部模块,导入后可以加快.py脚本的执行。网上也有《用 Psyco 让 Python 运行得像 C一样快》、《利用 psyco 让 Python 程序执行更快》之类的文章,说明Psyco确实是一个可行的选择,于是就跃跃欲试了,后来了解到Psyco在2012年已经停止开发,只支持到Python 2.4版本,目前它由 PyPy所接替。于是我就下载了PyPy

点击阅读全文...

10 Jun

两百万前素数之和与前两百万素数之和

标题说了两道比较好玩的编程题,如果读者觉得标题绕的让人眩晕的话,那么让我再说得清晰一点:

两百万前素数之和指的是所有不超过两百万的素数的和;
前两百万素数之和指的是前两百万个素数的和。

我是从子谋的blog中看到这道题目的,前一道题目是Project Euler的第10题,后一道则是我跟子谋探索着玩的。关于子谋的研究和代码,大家可以去他的blog上学习。本文分享一下我自己的想法。

点击阅读全文...