做理論計算機科學（TCS）研究是一種什麼體驗？
01-12
理論計算機基本上是在做數學問題。所以跟數學研究比較像。但一般只做跟計算機科學有關的數學問題。所以會有些許區別：1）證明的結論可能更容易被別人應用2）總體來講沒有數學研究那麼難，所以研究周期沒那麼長3）有些問題並沒有數學那麼抽象，所以如果不喜歡太抽象的東西，做理論計算機研究會比數學研究有趣
在一個陰雲密布的下午…昏沉了幾個月的實驗室閃過一道誰也看不到的閃電…我擦擦擦好像能證出來了！！！
（一天之後好像差個因子不對……（又一天之後這個證明思路好像不對…（n天之後…這個結論有問題，得重新算算…被ln n次閃電劈過之後…我的人生好像哪裡不對……簡而言之，tcs是在計算機科學領域中科學家們為了理解問題本質而產生的方向。主要研究工具是數學證明。
從事這方面研究的人，氣質和cs其他方向的很不同，有種仙氣。內心對標的都是人類頂級科學大家。
體驗就是周圍都是不愛寫代碼的cs學生～
1、能發paper的頂級會議、期刊太少了。。。2 我姓氏第一個字母為什麼不是A！！！
我導師主要研究的方向是軟體形式化與自動化，但是在裡面實現些新技術，比如事務處理，異常處理，還是在JDK環境下實現的。。。
哦哦，去年徐家福老先生來我們實驗室做過一次報告，真是感慨頗多。。。基本都是數學證明，圖論，數學歸納法，離散。當然和現實也是很有聯繫的。
我或許能理解作者說的，計算機理論研究，我們實驗室就有很多本科和碩士都是數學專業出身的，博士投身到計算機理論方向，這個方向確實比數學產出要高，很明顯接著如今互聯網的熱潮，這個方向還是很有前途的。歡迎有志之士共同探討！
這麼說也太籠統了吧。那感覺啥都可以算數學問題了。
怎麼說呢，感覺用到的東西有一下這些離散數學組合概率論數理統計
隨機過程
機器學習矩陣論隨機矩陣論演算法和計算理論通信複雜度資訊理論隨機線性代數當然，不止於此，還有很多很雜的數學和各種技巧，做TCS的感覺就跟高中數學競賽差不多，全他媽是「奇技淫巧」。所以呢，在系統學習基礎知識和技巧意外，還需要見多識廣開拓思路啥都知道一點。我是專門研究計算理論的。
計算機理論整體而言是一門比較深刻的學科，裡面可以涉及到很多數學，比如代數幾何，代數數論，傅里葉分析，概率論，資訊理論，組合數學，離散數學等等。
研究計算機理論是比較需要積累的，剛開始的時候會比較難，但是對很多問題建立了比較深刻的直觀理解之後，就可以研究出很多新的東西出來了，因為計算機理論是一個比較新的學科，又和很多數學學科很有聯繫。推薦閱讀：
※互聯網廣告系統是如何識別用戶的，比如年齡、性別、職業、興趣、購買力等？
※如何正確的理解循環不變式?
※競技遊戲的匹配系統要做到儘可能使雙方實力接近有多難？