發(fā)簡信
IP屬地：北京
再一次被打點(diǎn)滴的機(jī)器吵醒。摁下紅鍵等待護(hù)士到來。睜大眼睛看著昏黃燈光下的純白色天花板。耳邊遠(yuǎn)遠(yuǎn)地傳來痛苦的呻吟。 醫(yī)院是一個適合思考的地方。名正...
學(xué)習(xí)一些logic里面reasoning的方法。 基礎(chǔ)概念 給定一個theory，一個decision procedure是一個sound且co...
還是決定要把自己的生活好好的管理起來。 凌晨1點(diǎn)睡覺，早上7點(diǎn)30起床，中午午休30分鐘。 堅(jiān)持英語學(xué)習(xí)。暫時以單詞、閱讀、寫作為主，GRE考試...
磚頭一般厚的入門教材，不知所云的include或import，望而生畏的Hello World……大部分編程者都經(jīng)歷過一段折翼的入門歷程。編程真...
兩年前，我在高中母校舉辦的夏令營上做了關(guān)于信息學(xué)競賽的報告。兩年前，我告訴同學(xué)們，編程是一種技能，每個人都可以且應(yīng)該掌握，就如同駕駛一樣。兩年前...