CCured: Type-Safe Retrofitting of Legacy Software. George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, and Westley Weimer. TOPLAS 27(3), May 2005.http://manju.cs.berkeley.edu/ccured/toplas.pdfマニュアルとダウンロードはこちら↓htt…

ようやく給与がちゃんと職務と同じ級になったー（全員の本給を減らすついでに直っただけだが）。僕が意見募集で「年齢差別だ」とか書いたせい…ではないだろうけど。どういうことかというと、今まで僕の年では「助教授」の給料はもらえず、「講師」と同じにさ…

中国の大学（複数）のコンピュータサイエンスのカリキュラムを拝見する機会があったのですが、「マルクス哲学原理」「マルクス政治経済学」「毛沢東思想概論」「訒小平理論概論」「思想道徳の教養」の５つは、どこもすべて必修なんですね…あと、聞いてはいま…