基于Google拼音的假名输入法

某日,E某闲的蛋疼,泛函分析实在是听不懂也不想听,于是就学了Lua,写了个假名输入法


Google拼音的一个牛逼之处就是它支持用Lua写自己的扩展,这真是一个好feature。
虽然我这个假名输入法功能极度缺乏,但是至少还算能用吧。
这玩意虽然不能适合日语帝使用,不过初心者们泡妞亮骚还是够用的吧 :-)
想玩的话,下载来玩玩吧(需使用“右键另存为”,否则会直接以文本的形式打开)
超级绿色随时可卸源代码公开基于Google拼音

How To Use:

(1)输入平假名的方法:比如想输入:おはよございます(ohayogozaimasu),则用Google拼音打:ijpohayogozaimasuv,然后空格(ijp是脚本调用,后面是ohayogozaimasu,那个v是平假名结尾符号)。
(2)输入片假名的方法:比如想输入:スズミヤハルヒ(suzumiyaharuhi),则用Google拼音打:ijpsuzumiyaharuhivc,然后空格(ijp是脚本调用,后面是ohayogozaimasu,那个vc是片假名结尾符号)。
(3)至于如何输入ん和ン还有促音,输入“nx”则出来ん,“tx”则出来っ,比如 ijpnihonxgov就是にほんご

(4)卸载的话,直接在Google输入法设置里的那个“扩展”选项里,把jp.lua删掉即可。

总之就是:ijp+假名读音+v(平假名)/vc(片假名)

写完之后,面对代码,我是看在眼里,疼在蛋上。

等距三次样条求法

(1)求出距离h\mu=\lambda=\frac{1}{2}

(2)根据边值条件求出d_0 , d_NM_0 , M_N

  • 当边值为y'_0=a , y'_N=b时:
    • d_0=\frac{6}{h}(\frac{y_1-y_0}{h}-a)
    • d_N=\frac{6}{h}(b-\frac{y_N-y_{N-1}}{h})
  • 当边值为M_0=M_N=0时,直接从M_1算到M_{N-1}即可

其他 d_i=6 \cdot \frac{y_{i+1}-2y_i+y_{i-1}}{2h^2}

(3)解方程:

\left(\begin{array}{ccccccc}2 & 1\\0.5 & 2 & 0.5\\ & 0.5 & 2 & 0.5\\&&\ddots&\ddots&\ddots\\&&&0.5&2&0.5\\&&&&1&2 \end{array}}\right)\left(\begin{array}{ccc}M_0\\M_1\\\vdots\\\vdots\\M_{N-1}\\M_N \end{array}}\right)=\left(\begin{array}{ccc}d_0\\d_1\\\vdots\\\vdots\\d_{N-1}\\d_N \end{array}}\right)

(4)将解出来的M代入下面的公式:

[x_i,x_{i+1}]上,

s(x)=(y_i-\frac{h^2}{6}M_i)\frac{x_{i+1}-x}{h}+(y_{i+1}-\frac{h^2}{6}M_{i+1})\frac{x-x_i}{h}

+\frac{h^2}{6}M_i(\frac{x_{i+1}-x}{h})^3+\frac{h^2}{6}M_{i+1}(\frac{x-x_i}{h})^3

Fourier变换的性质总结

\mathcal{s}'上Fourier变换的性质

  • 对偶性质:<\mathcal{F}[f],\varphi>=<f,\mathcal{F}[\varphi]>
  • 微分性质:\mathcal{F}[f'](xi)=ixi \mathcal{F}[f](xi)
  • 微分性质:(\mathcal{F}[f])'(xi)=\mathcal{F}[-ixf(x)](xi)

\mathcal{s}'上Fourier逆变换的性质

  • 对偶性质:<\mathcal{F}^{-1}[f],\varphi>=<f,\mathcal{F}^{-1}[\varphi]>
  • 微分性质:\mathcal{F}^{-1}[f'](xi)=-ix \mathcal{F}^{-1}[f](x)
  • 微分性质:(\mathcal{F}^{-1}[f])'(x)=\mathcal{F}^{-1}[-i xi f(xi)](x)

\mathcal{s}上Fourier变换的性质

  • 微分性质:\mathcal{F}[\varphi '](xi)=i xi \mathcal{F}[\varphi](xi)
  • 微分性质:(\mathcal{F}[\varphi])'(xi)=\mathcal{F}[-ix \varphi (x)](xi)
  • 平移性质:\mathcal{F}[\varphi(x-a)](xi)=e^{-ia xi}\mathcal{F}[\varphi](xi)
  • 伸缩性质:\mathcal{F}[\varphi(bx)](xi)=\frac{1}{|b|}\mathcal{F}[\varphi](frac{xi}{b})
  • 卷积性质:\mathcal{F}[\varphi_1 * \varphi_2]=\mathcal{F}[\varphi_1]\mathcal{F}[\varphi_2]
  • 卷积性质:\mathcal{F}[\varphi_1 \varphi_2]=\frac{1}{2 pi} \mathcal{F}[\varphi_1]* \mathcal{F}[\varphi_2]

\mathcal{s}上Fourier逆变换的性质

  • 微分性质:\mathcal{F}^{-1}[\varphi '](x)=-ix \mathcal{F}^{-1}[\varphi](x)
  • 微分性质:(\mathcal{F}^{-1}[\varphi])'(x)=\mathcal{F}^{-1}[-i xi \varphi (xi)](x)
  • 平移性质:\mathcal{F}^{-1}[\varphi(xi-a)](x)=e^{-iax}\mathcal{F}[\varphi](x)
  • 伸缩性质:\mathcal{F}^{-1}[\varphi(b xi)](x)=\frac{1}{|b|}\mathcal{F}^{-1}[\varphi](frac{x}{b})
  • 卷积性质:\mathcal{F}^{-1}[\varphi_1 * \varphi_2]=2 pi \mathcal{F}^{-1}[\varphi_1]\mathcal{F}^{-1}[\varphi_2]
  • 卷积性质:\mathcal{F}^{-1}[\varphi_1 \varphi_2]=\mathcal{F}^{-1}[\varphi_1]* \mathcal{F}^{-1}[\varphi_2]

广义函数的运算总结

  • 加法:<F+G,u>=<F,u>+<G,u>
  • 平移:<F(x+a),u(x)>=<F(x),u(x-a)>
  • 对称:<F(-x),u(x)>=<F(x),u(-x)>
  • 任意次连续可微函数相乘:<F \psi,u>=<\psi F,u>=<F,\psi u>
  • 求导:<F',u>=-<F,u'>
  • 磨光:(J_\epsilon F)'=J_\epsilon F'

2009年终流水帐

这一年我过得非常疯狂。

忙乱之后发现,几乎每月都有新的收获。无论是发现了新领域、发现了新事物,还是发现了新人,都使我的大学生活终于成了我想象中的样子。

一月

正如现在一样,一月份充斥着疯狂的考前突击。

在这狂乱的一个月,看了20多遍《低俗小说》,与胖子一起毁灭性地解读了这部电影。

与胖子扯淡的过程中,有种找到同类的感觉,也意识到这是一个值得信赖的朋友。这一年中我们多次成为并肩作战的战友,属于今年比较重要的收获之一。

考完试之后研究魔方,搞定了3阶魔方的解法。

二月

二月过得非常悠闲。

跟内子去了哈尔滨,玩得非常开心。这是我俩第一次出去旅游,感谢领导们的信任。发现自己的计划力和方向感非常好。由于卡片机太差,浪费了很多景色,于是有了买单反的想法。

回来之后跟胖子研究SP化和overture,做出了一些好玩的东西。

三月

物理爆炸性的分数令GPA暴跌,那个时候我选择了用老段的电钢琴发泄。

» Read more…

《实变函数论》页数索引

江泽坚老师主编的书《实变函数论》(ISBN 978-7-04-022643-0)有一个不错的附录,给出了各个概念在哪个章节,在日常参考概念时很有用。但是这个附录是以章节为索引参考的,而且是以概念名称排序,在期末复习的时候有些不给力。所以我按照页数做了一个这个索引的新形式,并按页数排序,方便数学僧们按照页数复习概念。

集合的交 3
集合的并 4
集合的差 6
余集 6
集合的σ-域 7
集合的域 7
集合序列的上下极限 9
集合序列的极限 9
基数 13
Bernstein定理 15
可数集合 17
可数基数 21
连续基数 21
完全系统 23
邻域 25
点集的边界点 26
点集的内点 26
点集的聚点 26
点集的闭包 27
点集的导集 27
Bolzano-Weirstrass定理 27
点集的孤立点 28
孤立点 28
孤立集 28
离散集 29
闭集 30
开集 30
Borel有限覆盖定理 32
Cantor集合 33
完备集 33
无处稠密 34
Borel集合 35
Lindelof定理 36
隔离性定理 44
外测度 53
不可测集合 59
Caratheodory条件 59
测度 59
可测集合 59
Brown-Minkowski不等式 69
可测函数 97
Egoroff定理 105
连续 109
Lebesgue定理 112
Riesz定理 114
依测度收敛 114
分划 118
Levi定理 128
Lebesgue基本定理 130
Fatou引理 131
可积 134
Riemann可积的条件 135
等度绝对连续 143
Lebesgue控制收敛定理 145
Fubini定理 156
不定积分 160
Vitali定理 161
Vitali覆盖定理 161
Vitali覆盖定理 161
Lebesgue定理 164
右上(下)导数 164
左上(下)导数 164
有界变差函数 168
绝对连续 176
变量替换公式 180
分部积分公式 180
Holder不等式 208
Minkowski不等式 209
范数 211
p-方平均收敛 213
基本序列 216
可分性 219
非局部列紧性 221
Chebyshev-Hermite函数 226
Legendre多项式 227
Bessel不等式 229
Riesz-Fisher定理 230
Parseval定理 231
三角系统 239

n点Gauss求积公式的求法

假设这个积分为:

\int_\alpha^\beta\rho(x)f(x)dx

(1)先设出n次多项式\omega

(2)设出全部次数小于n的多项式

(3)根据正交性,可以得到几个等式。形式为\int_\alpha^\beta\rho(x)\omega(x)dx。除了\omega(x)之外,那些次数小于n的多项式也可以如是列出等式。

(4)求出\omega(x)中所有项的无系数值。

(5)这时可以求出\omega(x)

(6)求出级数系数A_n=\frac{\omega(x)}{(x-x_n){\omega^'}(x)}

(7)求出求积公式:I(f)=\sum_{i=0}^{n}{A_i}f(x_i)

Fourier变换法解偏微分方程

(1)选偏微分方程中,一个定义域为全空间(比如R)的自变量,作为积分变量。

(2)选另一个量作为参数变量。

(3)把所求方程和定解条件,关于积分变量做Fourier变换。

(4)利用Fourier变换的积分性质,把原问题化为\hat{u}关于参数变量的常微分方程定解问题。

(5)求解常微分方程定解问题,解出\hat{u}。(这需要好好复习一下常微)不过一般都可以使用e函数来帮忙。

(6)对\hat{u}Fourier逆变换,得出型式解。

(7)验证型式解是方程的解。

简化型单纯表的迭代

(1)取检验数为正的列为枢列。

(2)常数项/系数项能够取到最小的正值的行为枢行。

(3)交点为枢元。

(4)进基变量和离基变量互换位置。

(5)新枢列=-原枢列/枢元

(6)新枢行=原枢行/枢元

(7)新枢元=1/枢元

(8)新其他项=原其他项-(行与枢列交点×列与枢行交点/枢元)

(9)做(1),除非检验数全为负。

求关于某可行基B的典式的方法

(1)考察B中向量的系数和检验数。

  • 若某个向量的检验数全为正,系数全为负,则无最优解。
  • 若检验数全为负,则基可行解为最优解。计算完毕。
  • 其他情况,则继续。

(2)求出使B变为单位矩阵的基本变换。

(3)对约束条件的矩阵进行相同的基本变换。

(4)做代换,带入原目标函数,使得新目标函数中不含基向量。

(5)求出基可行解

(6)查看新的目标函数中的非基向量检验数是否全为负

  • 若是,则x为最优基可行解
  • 若不是,则继续

(7)求进基变量和离基变量。

  1. 取检验数不为负的变量为进基变量
  2. 考虑进基变量所在的列,求出:该列第i行的常数/该列第i行的系数,取其最小正值,求出i
  3. 取基B的第i个向量为离基变量。

(8)交换进基变量和离基变量,得到了一个新基。

(9)回到第一步。

第 1 页,共 3 页123