- 博客(3)
- 资源 (4)
- 收藏
- 关注
原创 通过买新电脑a时买的正版"Windows 10 pro for OEM key"升级电脑b操作系统Windows 10 home 到 专业版pro
问题描述一年多前的这个时候,我有一台新电脑bbb,操作系统为Windows 10 home家庭版本。我真正使用Win10 操作系统也是从该电脑开始。而同时一直坚持使用电脑ccc,处于两台电脑bbb和ccc同时使用的状态。电脑ccc安装的操作系统为Win7专业版。一开始接触电脑bbb时,我心理有种不舒服的感觉:毕竟作为电脑专业人员,自己的专业又是计算机软件,用家庭版的Win10操作系统显得不专业。...
2019-07-07 03:16:58 6502 1
原创 用LaTeX通过键盘直接输入特殊符号时不能与其他字符编码包混用
这一点一定要注意。如果混用,则编译输出的结果没效果,即显示不出特殊符号。特殊符号的输入我利用搜狗输入法的软键盘的特殊符号部分输入的。下图通过注释掉其他的字体编码包,从而得到正确的结果:...
2019-07-05 23:57:42 580
原创 TeXworks编辑器的编辑区的中文显示问题
问题描述最近在自己的Win10专业版电脑上安装了TeXlive 2019,重新使用TeXworks编辑器书写文档,但发现了一个问题,如下图所示:编译输出的汉字显示正确,但是在TeXworks的编辑区显示的中文不正确。不正确显示的两个例子已在图中用红色连接线标出。自己试探出的解决方案在编辑区显示不正确的中文,总感觉不舒服,给人一种错觉,纵然编译输出是正确的。所以我就试探了一种解决方案。在...
2019-07-05 20:58:26 4221 2
Expert Systems Principles and Programming (Third Edition)
2018-09-07
Metamath: a computer program language for pure mathematics
2011-06-17
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人