2004-05-16 情報系の書籍 etc 007なのか。やられた。 けど証明論や計算量関係の一部は40んとこにある。541,547,549にも置いてある。 暗号の話って007にも40にもあるのは止めてくれ。