关于理论计算科学（Theoretical computer science）

这篇文章主要是读 Douglas E. Comer
先生的文章《How To Criticize Computer Scientists or Avoiding Ineffective Deprecation And Making Insults More Pointed》以及《
A CS Research Topic Generator
or
How To pick A Worthy Topic In 10 Seconds

》后结合自己的一些感想而来的。

这里来谈谈理论计算机科学，谈到这个话题可能大家都不会太感兴趣，除了做博士学位论文的研究生。

其实好多工程师是有机会进入企业的研究院的，做研究不同于工程的就在于创新（我很推崇李开复先生关于做有用的创新的观点，主要是要求做研究的人要有科学家、工程师、和市场人员的综合素质，才能做出酷的，实用的，有市场的创新产品）。

下面就谈谈科学家的问题，即关于搞研究的一些话题.

搞研究（计算机科学）的人可以分为两类：

1. 理论家 ：Researchers who follow the mathematical paradigm are called
theorists

, and include anyone working in an area that
has the terms ``analysis'', ``evaluation'', ``algorithms'', or ``theory''
in the title.

2. 实践家：Researchers who follow the engineering paradigm are called
experimentalists

, and include most people working in areas that
have the terms ``experimental'', ``systems'', ``compiler'', ``network'',
or ``database'' in the title.

这里主要谈谈理论家的事，这里推荐两本书，涵盖了理论计算机科学的主要领域。

《handbook of Theoretical computer science ，Volume A algorithms and complexity 》

《Handbook of Theoretical Computer Science, Volume B Formal Models and Sematics》

如果大研究中遇到相关的问题，可以参考上述书中的相关章节，作为切入点，相信有理论依托，所做的工作会更出彩。

应该说理论家做的工作一般都比较让人感觉“科学” ，发表的论文通篇的公式，符号，这里要说的是，虽然看着很飘逸， 但是与实际并不是想像的那样格格不入，比较常用的密码技术就是一个很好的例子。

最后，Comer先生提到了如何选博士论文题目，其实也是一个如何创新的问题，Comer先生给出了“填坑法”，即对一些Topic的排列组合选取切入点，如virtual mobile network 等等。

Column 1	Column 2	Column 3
integrated	mobile	network
parallel	functional	preprocessor
virtual	programmable	compiler
interactive	distributed	system
responsive	logical	interface
synchronized	digital	protocol
balanced	concurrent	architecture
virtual	knowledge-based	database
meta-level	multimedia	algorithm
optimized	binary	toolkit
active	object-oriented	display
parameterized	secure	technology
conceptual	high-speed	solution
scalable	real-time	language
dynamic	functional	agent
high-level	parallelizing	theorem prover
collaborative	watermarking	work cluster
type-safe	proxy	cache