（这篇是马克思主义基本原理课程的大作业，各位要是看到什么觉得不对的地方，也还请一笑了之）

原文链接

我以此题目在2012年11月的伦敦Haskell会议上做了演讲。演讲的视频见 YouTube ，幻灯片见 GitHub 。

在本系列文章中，我将在不提及范畴论和高等数学的情况下解释Haskell的数据类型为什么被称为 代数的。

当时记录的基本就是一些关键词，所以可能不太通顺。

原文地址 XCC Homepage 中 Documents -> MIX File format 。

MIX 文件格式

Copyright

Copyright © 2000 Olaf van der Spek

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

介绍

作者：Olaf van der Spek。

本文解释了命令与征服：泰伯利亚黎明、红色警戒、泰伯利亚之日使用的MIX文件的格式

MIX文件用于存储其他文件，与ZIP文件相同，但没有压缩。我将在本文档中使用C++表示法。

摘要 ：中心极限定理的研究在概率论具有重要地位，它揭示了大量独立同分布的的随机变量之和的极限趋势为正态分布，在统计学以及其它许多学科中都有重要的应用。但教材[1]中并没有给出其具体证明。本文将从傅里叶变换中的卷积定理的角度证明该定理。

关键词 ：中心极限定理, 傅里叶变换, 卷积定理

原文链接

CSF文件格式

CSF文件存储了红色警戒2/尤里的复仇（也有将军/绝命时刻和其它可能）的字符串表。

低观点的话，就只能上技巧了吧？

摘要 ：一种不涉及线性微分方程解的结构的方法。

西方哲学导论课做的一点思辨，关于可逻辑的对象能否是先验的

说明：这里的答案全部是我自己写的，不保证完全正确。题目不抄了，只标题号，书没有就没办法了。题目都是选我感兴趣且会做的。

来自PPM
（只翻关键部分）

作者：Dark Templar X

简单来说，它是控制当有扩展地图包时，什么地图将出现在遭遇战的各种模式中。当然，MPR和YRM格式的地图没必要有它。

不管怎样，其基本的设置类似于rules文件中的载具列表，里面有地图的列表以及各个地图的细节内容。