2015年08月_阿智智

12月 11月 10月 09月 08月 07月 06月 05月 04月 01月

原创 Thuthesis在Tex live2015中编译出错的解决方法

Tex live 2015安装后，它本身已经将thuthesis.cls及相关的bst等文件安装在它自己的搜索路径上面，亦即thuthesis模板已作为Tex live的组成部分被安装。你只要按照示例文件直接写你自己的tex文件即可，而无需下载thuthesis.cls等相关的模板文件。当然你也可以下载thuthesis.cls等文件放在当前目录下，系统路径上面的thuthesis.cls自动不起作

2015-08-31 19:33:09 3240

原创 Win7系统上面Tex live中利用fontspec包直接访问系统字体

目前，网络给给出的方法大部分针Linux系统上面的Tex live，而对于在Windows系统上面安装的Tex live如何直接访问系统字体很少描述，并且讲解的不清。本文就给出一种简单的直接访问系统字体的例子，从中我们可以看出XeLaTex的强大的支持中文的能力。为了讲解的更加清晰，本文附加了相应的截图。本文方法所在的环境为：操作系统：Windows 7LaTeX编译环境：XeLaTeX 3.1

2015-08-31 10:49:04 2655

原创在Win7上安装TexLive及设置XeLaTeX的整个过程

最近由于需要使用LaTeX写一些中文文档，故需要使用LaTeX书写。之前一直使用CTex套件，可是发现许多开源的模板在CTex上面编译出错，看到大家都建议使用TeXLive，我决定改用它。下面记录我在Win7系统的上面的整个安装过程，以备以后查用。你可以查看过于TeXlive的详细介绍。整个安装过程是在文档《The TEX Live Guide—2015》的帮助下完成的。注意：我采用的是ISO镜像

2015-08-31 04:50:13 19558 1

原创 C++语言的getline在cl和g++中的不同语义

本文的cl指的是Visual studio 2010中的的C++语言编译器，g++指的是g++ 4.9编译器。getline在cl中指的是获取的一行中没带”\n”；而g++中的getline指的是获取的一行中带”\n”。下面详述我为什么注意到这个问题及测试不同平台的代码。1 问题产生我按照书《C++ Primer》1中11.3.6节中a word transformation map程序时发现运行结

2015-08-24 04:17:35 1769

原创 g++4.9仍然没实现put_time

代码如下：//io/timemanipulator1.cpp#include <iostream>#include <iomanip>#include <chrono>#include <cstdlib>using namespace std;int main() { //process and print current date and time: auto now =

2015-08-22 10:35:43 1286

原创 Cygwin中g++4.9.3的一个bug

看书《The C++ Standard Library second edition A Tutorial and Reference》1时，对其中的一段程序感兴趣，关于C++11的新特性——字符与数字之间的类型转换的，如下：//string/stringnumconv1.cpp#include <string>#include <iostream>#include <limits>#inc

2015-08-22 01:50:37 1530

原创在VirtualBox上面安装Ubuntu 14.04遇到的问题及对策

前几天在我的Win7系统上面安装了Cygwin，通过它中的g++4.9.3上运行了一个采用C++11新特性的程序，发现编译不通过，并且我确信该段程序代码正确。于是就想利用Win7系统上安装的VirtualBox上面的Ubuntu系统来试试在真正的g++4.9.3运行是否通过。下面就是我做上述努力遇到的问题及对策。1 升级VirtualBox中的Ubuntu 12.04我的VirtualBox版本是4

2015-08-22 00:34:45 3971

原创 Ubuntu 14.04中升级gcc到版本4.9.2并切换使用它们

昨天刚全新在虚拟机上安装了Ubuntu 14.04，在其中安装的gcc版本是4.8.4。而我需要编译C++程序，在安装之后，我立刻就通过命令：sudo apt-get install build-essential安装了make、g++等。build-essentail是一整套开发工具。安装后，可以使用命令 g++ –version查看安装是否成功。诚然，g++4.8.4能帮助我解决好的问题，但是我

2015-08-21 19:08:50 15604

转载 How to fix “System program problem detected” error on Ubuntu

The error “System program problem detected” comes up when a certain application crashes. Ubuntu has a program called Apport that is responsible for detecting such crashes and upon user consent, report

2015-08-21 13:09:00 1323

转载 gksudo

转载自：http://blog.chinaunix.net/uid-25830557-id-316107.html 如果你曾经使用过一段时间的Linux，当你需要安装软件包时你可能直接的使用root来运行程序，更改你的系统配置等等。然而，Ubuntu采用了一种不同的方式。Ubuntu安装程序没有设定一个root用户──root用户帐号仍然存在，但是它被设置了一个随机的密码。用户可以通过使用 sud

2015-08-21 13:01:26 1730

原创 Win7系统与它的Virtualbox中安装的Ubuntu14.04共享信息的几种方法

虚拟机是每个程序员必备的工具。本文根据最新版VirtualBox用户手册的提示，通过自己的亲自实践，给出了Win7系统与运行在其中的VirtualBox 5.0.2中的Ubuntu 14.04共享信息的三种方法，而不仅仅是建立二者的共享文件夹。

2015-08-21 06:19:37 1519

原创 VS2010编译器工具cl对c++11标准支持情况测试

本文探讨了VS2010编译工具cl对C++11标准的支持情况，提供了利用C++11新特性的两段代码来进行测试，并同g++ 4.9.3编译器的编译情况相对比。总的说来：VS2010的编译器工具cl部分支持了C++11标准，而g++ 4.9.3则全部支持C++11标准。虽然现在已出现了C++14等新的标准，但熟悉了C++11标准的支持情况有利于我们正确选用符合自己需要的编译工具。

2015-08-19 00:29:17 13314 1

原创甩掉IDE的包袱，专注算法及语言学习

最近，在学习一些数据结构和算法设计分析等方面的内容，它们有一个共同的特点就是：专注某个语言的细节，或者专注于某个算法，最终形成的程序简单，源程序文件的个数也比较少。自然而然地，我就采用编译器自带的编译工具来编译它们，从而产生可执行执行，来验证某个语法细节或者算法的实现效果。这样就避免了IDE给自己带来的负担。我不是说IDE不好，而是说IDE也自己的应用范围。1 以前的陋习几年前，包括最初开始学习C/

2015-08-17 11:58:54 1053

原创 VC的编译器cl用法初步

1 单个文件的编译写一个简单的cpp程序，比如hello.cpp，现要求使用cl编译器来生成可执行的程序。cl是compiler的简称。最简单的用法为： cl hello.cpp然后会在当前目录下生成文件hello.obj、hello.exe，其中编译器生成的是 Common Object File Format (COFF) object (obj)文件，而linker生成的是可执行文件 (

2015-08-16 14:49:04 4032

原创在cmd console中如何利用cl成功编译

接上篇继续说，在成功找到cl命令后，写了一个最简单的程序，可是无法编译成功，会出现以下三种错误： fatal error C1034: iostream: no include path set LINK: fatal error LNK1104: cannot open file ‘libcpmt.lib’ LINK: fatal error LNK1104: cannot ope

2015-08-16 09:15:11 1783 1

原创在cmd中使用VC++ cl.exe时找不到mspdb100.dll的解决办法

前一段时间在电脑上装了Cygwin，在其中运行g++程序来编译C++程序，目的想试试C++11的一些新的特性。昨天晚上，忽然想，为什么不直接在Win7 系统上运行Visual Studio自带的cl.exe编译器来编译C++程序呢。于是使用cl来编译C++程序，可是有个缺点，只能通过Visual Studio Command Prompt (我使用的是Vs2010)来运行cl程序。我想能否直接使用c

2015-08-16 08:13:20 9301

Expert Systems Principles and Programming (Third Edition)

This book combines coverage of expert systems theory with a discussion of practical applications using CLIPS, and expert systems shell widely used in government, industry, and education.

2018-09-07

计算机学院-学生学分问题救助信息登记表

不符合通常学分认定流程的，疑难杂症的处理表格

2017-03-08

Metamath: a computer program language for pure mathematics

A good book concernning metamath.

2011-06-17

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人