其實偶很慚愧：一直不知道marktoberdorf暑期班是什麼來頭，雖然自己也算小半個研究形式化方法的學生。昨天看到marktoberdorf暑期班
講義 ，尤其是
manfred broy的講義，才知道，原來每年的暑期班也是計算機理論界的盛會，大牛雲集。大牛們講的東西也多半名動江湖。當年班裡的新鮮玩意兒，竟然多是今天搞計算機的人口頭心裡常念叨的東西，比如dijkstra的結構化程式設計(每個學程式設計的人第一堂課就會接觸的東西吧？)和弱前置條件(離散數學的必學內容吧？)，tony hoare的資料抽象和csp，j. guttag的抽象資料型別(赫赫，現在誰不知道這個概念，可能連找程式設計的工作都難吧？)，j.a robinson的邏輯程式設計，pnueli的時態邏輯，j. stoy的外延邏輯，等等等等。其實今年的暑期班的講義也頗有意思，比如boute的統一理論(functional math, 聽名字就知道和lambda calculus有莫大關係)，broy關於形式化面向服務架構的框架(這個好像比較趕潮流的說)，hoare的process algebra和
具有檢驗功能的編譯器(writing solid code的作者steve mcguire的夢想的說，居然大牛已經開始做了。)，和sagiv關於
抽象處理的框架，看上去都挺有意思的。呵呵，看來這個月又有讀的東西了。
暑期學習計畫
有句話是這麼說的 假期的學習計畫永遠是個計畫而已。的確，無數次的寒暑假曾暗暗下決心要好好充電，可總是一眨眼就到了開學的日子，又發現自己什麼都沒做。這就是成功者和失敗者的距離。大二了，朋友們都感覺到了巨大的壓力 就業，買房，買車。這一切看起來都是那麼的遙不可及。巨大的壓力面前，大家都忙著增加自身實力。...
暑期集訓心得
7.23 暑期集訓第三天 收穫 1.大概知道了哪些題自己能做，哪些題自己做不出來，這樣就不至於比賽時妄想面面俱到，結果面面不到的尷尬場面 2.平時訓練的題真是太水了，真到比賽時覺得賽題真是天方深不可測！完全比比賽低了不止乙個檔次！所以我決定以 後拿真是的賽題來訓練！3.寫程式怎樣才能一次ac？怎樣才...
暑期培訓總結
有句話是這麼說的 痛苦是軟弱離開身體的感覺 現在大可改編成 糾結是大腦感知到無知存在時的感覺 在之前的部落格或者是日誌裡面我都提過，接觸新的東西時，入門前會有一段糾結時期，這段時間裡面，大腦對於相關問題完全是模糊的，生活本質其實就是這樣，糾結中堅定步伐。今年暑假本打算與xqg還有lxn一同騎行回合肥...