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