中國科學院計算技術研究所2007年8月20日的幻燈片講義