A Quantum Interpretation of Bunched Logic And Quantum Separation Logic
年轻人!怎么,对这古老的祖国你不打算出点力?
Communication Complexity and Lower Bounds for Streaming Algorithm
如果莎士比亚只会一个单词,那么他的皇皇巨著也就是在阿巴阿巴。
Sketching Algorithms for Big Data
快乐的时光,就像铃铛滚过坡路一般急速逝去,唯留余音。平淡无奇的季节在疏忽之中变化着。
Harvard CS 226/MIT 6.889
Algorithms for Dynamic Geometric Problems over Data Streams
风景画在自然风景欠佳的地方畅销,报业在人际关系稀薄的产业地带发达。
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
佐藤春夫曾说:“聋者看似愚人,盲者看似贤者。” 只因聋者每当听人说话时,会蹙起眉头,张口瞠目,或斜首或仰面,给人呆头呆脑之感,而盲人则默然端坐,低眉垂首,宛如瞑目沉思,俨然深思熟虑者,故有此说。
Quantum Loop Programs and Verification of Quantum Programs
到底为什么要叫做 “孤独地狱” 呢?当时他曾觉得该不会是标题搞错了吧?现在总算搞清楚了,能够理解了。所谓孤独,就是追求幻想而得不到满足的饥渴。