分类目录归档：其他

  本文地址：http://sokoban.ws/blog/?p=3344 我编写的《SokoPlayer HTML5》在线推箱子程序于2013年7月提供了云数据存储功能，可以方便地跨设备保持和读取关卡和答案等。这一功能是由第三方parse.com提供的免费服务，数据也是存储在parse.com的服务器上（而不是存储在sokoban.cn）。 可惜这一商业模式未能生存下来，parse.com于2017年1月30日起正式永久关闭了。所以《SokoPlayer HTML5》的云存储功能也失效了，其余功能正常。

  本文地址：http://sokoban.ws/blog/?p=2927 TeX/LaTeX排版系统是由美国计算机学家Donald Knuth于1978年开发的，这套系统的一个长处在于复杂数学公式的输入，主要用于包括数学、计算机科学、物理等学科的学术论文的书籍的排版。我最早于2003年准备本科毕业论文时开始使用，也断断续续用了有13年了。最近才对这个系统有了更多一些的认识。一个重要的原因是 LaTeX 排版软件系统主要构成都基本属于自由软件，其发行方式更像 Linux 系统。而我大概从Win98时代才开始熟悉计算机使用，对自由软件的那一套方式比较陌生。过去几年进行了一些和推箱子游戏相关的编程，也用过一段时间Ubuntu系统，有助于我重新认识TeX/LaTeX软件系统。 首先要明确几个概念。第一个就是系统的核心：排版引擎。排版系统的引擎就好比编程语言的编译器，有许多不同的实现。包括最早的Knuth的原版TeX，早期TeX/LaTeX引擎一般把源文件（.tex文件）编译为.dvi文章，然后再转换为.ps和.pdf文件。现在感觉更多人使用的是pdfLaTeX引擎，直接把.tex文件编译为.pdf文件。 由于LaTeX系统由包括排版引擎和其他大大小小的扩展宏包等等众多软件包联合组成，所以要得到一个可以直接使用的单一软件，通常是安装某个发行版。最核心的发行版是TeX Live，其他发行版大多在TeX Live基础上再进一步打包。比如我最早使用的就是中国人维护的发行版CTeX，这一发行版对中文的支持较好。最近我又使用了另一个面向Windows系统的发行版MiKTeX，和面向Mac系统的发行版MacTeX。 第三个重要的概念就是专门面向.tex源文件的文本编辑器。一般的发行版都包含有一个tex文本编辑器。此类编辑器一般带有编译按钮，能直接调用排版引擎对源文件进行编译，并打开编译后的dvi或pdf文件。有点类似于编程语言的集成开发编译环境。CTeX发行版集成的是共享软件WinEdt，MiKTeX的默认编辑器是TeXworks，MacTeX则是TeXShop。 当然，要真正使用这套排版系统，还需要略微学习一下LeTeX的一些常用命令。就如学习编程语言一样。 由于TeX系统从一开始就设计得扩展性很强，很多学术出版商都提供不同风格的期刊论文扩展宏包。比如Elsevier出版集团就提供了基于LeTeX之上的elsarticle.cls宏包，供投稿作者使用。并且，Elsevier还要求投稿文章使用BibTeX宏包的方式来处理参考文献。BibTeX的方式是把参考文献用特定格式保存在.bib文件中，供主源文件.tex引用。我之前一直只知道用\begin{thebibliography}命令方式，把参考文献直接写在.tex源文件里面。 用BibTeX的好处就是方便于和其他文献管理软件交换数据。常见的文献管理软件有Mac系统的BibDesk、被Elsevier收购的Mendeley、还有Nature杂志推荐的ReadCube等等。 TeX系统除了善于处理数学公式，也非常善于画图。以前我一直使用PSTricks宏包，但这种方式必须先编译为ps文件，和pdfLaTeX引擎不兼容。所以，最近我又学习了一下和pdfLaTeX兼容的TikZ/PGF宏包，其功能和PSTricks一样强大。于是，2016年8月17日，我编写的《HTML5图论小工具》新增输出TikZ代码功能。  

  本文地址：http://sokoban.ws/blog/?p=1758 网站访问计数器对小网站来说是一个有趣的部件。在发现ClustrMaps提供免费的访问统计，并按访问者所在国家显示在世界地图中，便也在MF8推箱子比赛的网站sokoban.ws（后来增加了sokoban.cn域名）上添加了一个。 今年（2015年）3月底，ClustrMaps的4号服务器发生故障，丢失了少量数据。并且所有用户必须重新注册账号，计数和统计都从零开始。 虽然是采取免费的服务模式，他们还是定期备份数据，并且在故障发生后的一个月内整理出备份数据供用户存档。 下面便是从2012年9月6日至2015年3月16日这两年半的访问者数据。新计数器从2015年4月1日开始。 记录到113个国家或地区的访问数。