關於理論計算科學（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