県立川崎図書館に行った

借りてきた本

• 暗号・ゼロ知識証明・数論
• Ｗｉｎｄｏｗｓ　Ｓｅｒｖｅｒ　２００８テクノロジ入門
• 現代集合論入門

予約した本

• 暗号と認証 (情報理論とその応用シリーズ)
• ゲーデルと２０世紀の論理学（ロジック） １ （追加）
• プログラミングＧａｕｃｈｅ

借りている本

• 情報検索アルゴリズムちょっと調べたいことが。検索システムの中身を類推するゲームの基礎知識として。
• Ｅｆｆｅｃｔｉｖｅ　Ｃ＋＋すごくいまさら。なおかつ僕はＣ＋＋を書けないのに。

返した本

• 層・圏・トポス―現代的集合像を求めて (1978年)はもう2度目、でも今回も読みきれず。
• ハイパフォーマンスWebサイト ―高速サイトを実現する14のルールYahooのガイドラインは知っていたけれど、活字で読むとしみこみ度が違う。
• 集合知プログラミングカテゴライズのアルゴリズムとかの取っ掛かりになりました。