- 博客(3)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 需求决定选择
最近写一个工具，对语言和工具的选择，犹豫了很久。基本要求是，要有图形界面，简单的人机交互，比如按钮，图片之类的。要访问网络，http 和 ftp。而且最好能够跨平台。GUI 的话，MFC 我最熟悉。可是太 low level 了，一个小工具，用不着花那么多精力去写那些 low level 的功能。可是只支持 Win。C# 的话，GUI 写起来跟容易，至少缩放窗口的话，控件位置可以自
2013-11-04 06:38:45
941
原创 trapezium 固定大小和角度
这是第一篇关于 Latex 的 blog。个人感觉写 Latex 其实就是一门编程语言，而且还需要编译的。风格极像写 HTML（虽然 HTML 不需要编译）。所有东西都必须包含在某个上下文之内，而且 HTML5 也引入了 article 和 section 标签，是不是从 Latex 借鉴来的呢？还有就是样式。可以在一段话内插入标签来改变一小段内容的格式。当然，Latex 更为专业，支持更多自
2013-11-01 23:10:47
1134
原创 Boolean satisfiability solving
今天听了一个关于 Boolean satisfiability solver 的讲座。wiki 了一下，说是 NP-complete。没学过 CS，不太清楚到底啥意思，反正就是用 exhaustive search 很 expensive 了。有趣之处，在于如何避免 exhaustive search。先把表达式表示成 conjunctive form（不太明白啥意思，有空可以 wik
2013-11-01 00:53:59
1497
Visual Studio 2010 SP1 RTM 多国语言版 x86 x64
2011-03-10
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人