minkewhaleの本棚
(0/86)冊
- Communicating and Mobile Systems: The Pi Calculus (Robin Milner / Cambridge University Press)
- Programming Erlang: Software for a Concurrent World (Joe Armstrong / Pragmatic Bookshelf)
- Basic Category Theory for Computer Scientists (Foundations of Computing) (Benjamin C. Pierce / The MIT Press)
- Javaの格言―より良いオブジェクト設計のためのパターンと定石 (ナイジェル ウォーレン, フィリップ ビショップ / ピアソンエデュケーション)
- Fun of Programming (Cornerstones of Computing) (Jeremy Gibbons / Palgrave Macmillan)
- On Lisp (ポール グレアム, 野田 開 / オーム社)
- Algorithms: A Functional Programming Approach (International Computer Science Series) (Fethi A. Rabhi, Guy Lapalme / Addison Wesley)
- Hacking: 美しき策謀 ―脆弱性攻撃の理論と実際 (Jon Erickson / オライリージャパン)
- 暗号理論入門―暗号アルゴリズム、署名と認証、その数学的基礎 (ヨハネス・A. ブーフマン / シュプリンガージャパン)
- 詳解UNIXプログラミング (W.リチャード スティーヴンス / ピアソンエデュケーション)
- Binary Hacks ―ハッカー秘伝のテクニック100選 (高林 哲, 鵜飼 文敏, 佐藤 祐介, 浜地 慎一郎, 首藤 一幸 / オライリー・ジャパン)
- UNIXネットワークプログラミング〈Vol.1〉ネットワークAPI:ソケットとXTI (W.リチャード スティーヴンス / ピアソンエデュケーション)
- 数学ガール (数学ガールシリーズ 1) (結城 浩 / ソフトバンククリエイティブ)
- はじめての数論 原著第3版―発見と証明の大航海‐ピタゴラスの定理から楕円曲線まで (ジョセフ・H. シルヴァーマン / ピアソンエデュケーション)
- 暗号解読〈上〉 (新潮文庫) (サイモン シン / 新潮社)
- サポートベクターマシン入門 (ネロ クリスティアニーニ, ジョン ショー‐テイラー / 共立出版)
- オブジェクト指向入門 第2版 原則・コンセプト (IT Architect’Archive クラシックモダン・コンピューティング) (バートランド・メイヤー / 翔泳社)
- Boost C++ Libraryプログラミング (稲葉 一浩 / 秀和システム)
- プログラミング言語C 第2版 ANSI規格準拠 (B.W. カーニハン, D.M. リッチー / 共立出版)
- 青い虚空 (文春文庫) (ジェフリー ディーヴァー / 文藝春秋)
- The Haskell School of Expression: Learning Functional Programming through Multimedia (Professor Paul Hudak / Cambridge University Press)
- XML Hacks ―エキスパートのためのデータ処理テクニック (Michael Fitzgerald, 佐藤 直生, 木下 哲也, 福竜興業 / オライリージャパン)
- 科学論文の英語用法百科〈第1編〉よく誤用される単語と表現 (グレン パケット, 理論物理学刊行会 / 京都大学学術出版会)
- 宇宙消失 (創元SF文庫) (グレッグ イーガン / 東京創元社)
- しあわせの理由 (ハヤカワ文庫SF) (グレッグ イーガン / 早川書房)
- ウェブ進化論 本当の大変化はこれから始まる (ちくま新書) (梅田 望夫 / 筑摩書房)
- ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門 (青木 峰郎 / ソフトバンククリエイティブ)
- マスタリングTCP/IP 応用編 (Philip Miller / オーム社)
- 知識人とは何か (平凡社ライブラリー) (エドワード・W. サイード / 平凡社)
- ユーザ中心ウェブサイト戦略 仮説検証アプローチによるユーザビリティサイエンスの実践 (株式会社ビービット 武井 由紀子, 遠藤 直紀 / ソフトバンククリエイティブ)
- マイノリティ・リポート―ディック作品集 (ハヤカワ文庫SF) (フィリップ・K. ディック / 早川書房)
- アルジャーノンに花束を (ダニエル・キイス文庫) (ダニエル キイス / 早川書房)
- パターン指向リファクタリング入門~ソフトウエア設計を改善する27の作法 (ジョシュア・ケリーエブスキー, 小黒 直樹, 村上 歴, 高橋 一成, 越智 典子 / 日経BP社)
- Types and Programming Languages (Benjamin C. Pierce / The MIT Press)
- アンドロイドは電気羊の夢を見るか? (ハヤカワ文庫 SF (229)) (フィリップ・K・ディック / 早川書房)
- PHPサイバーテロの技法―攻撃と防御の実際 (GIJOE / ソシム)
- 時間衝突 (創元推理文庫) (バリントン・Ｊ・ベイリー, 大森 望 / 東京創元社)
- Exceptional C++―47のクイズ形式によるプログラム問題と解法 (C++ in‐Depth Series) (ハーブ サッター / ピアソンエデュケーション)
- カラマーゾフの兄弟1 (光文社古典新訳文庫) (ドストエフスキー / 光文社)
- 人月の神話―狼人間を撃つ銀の弾はない (Professional computing series (別巻3)) (Jr.,フレデリック・P. ブルックス / ピアソンエデュケーション)
- 情報の構造〈下〉ネットワークアルゴリズムとデータ構造 (情報数学セミナー) (浅野 孝夫 / 日本評論社)
- 計算機プログラムの構造と解釈 (ジェラルド・ジェイ サスマン, ジュリー サスマン, ハロルド エイブルソン / ピアソンエデュケーション)
- アルゴリズムC++ (ロバート セジウィック / 近代科学社)
- アルゴリズムイントロダクション 第3巻 精選トピックス (T. コルメン, R. リベスト, C. ライザーソン / 近代科学社)
- 増補改訂版 Java言語で学ぶデザインパターン入門 マルチスレッド編 (結城 浩 / ソフトバンククリエイティブ)
- 情報科学における論理 (情報数学セミナー) (小野 寛晰 / 日本評論社)
- 代数系入門 (松坂 和夫 / 岩波書店)
- 欺術（ぎじゅつ）―史上最強のハッカーが明かす禁断の技法 (ケビン・ミトニック, ウィリアム・サイモン / ソフトバンククリエイティブ)
- C言語によるUNIXシステムプログラミング入門 (河野 清尊 / オーム社)
- マスタリングTCP/IP 入門編 (竹下 隆史, 村山 公保, 荒井 透, 苅田 幸雄 / オーム社)
- 珠玉のプログラミング―本質を見抜いたアルゴリズムとデータ構造 (ジョン ベントリー / ピアソンエデュケーション)
- アート・オブ・プロジェクトマネジメント ―マイクロソフトで培われた実践手法 (THEORY/IN/PRACTICE) (Scott Berkun / オライリー・ジャパン)
- あなたの人生の物語 (ハヤカワ文庫SF) (テッド・チャン / 早川書房)
- アルゴリズムイントロダクション 第2巻 アルゴリズムの設計と解析手法 (T. コルメン, R. リベスト, C. ライザーゾン / 近代科学社)
- プログラミングのための線形代数 (平岡 和幸, 堀 玄 / オーム社)
- シンギュラリティ・スカイ (ハヤカワ文庫SF) (チャールズ ストロス / 早川書房)
- ハッカーのたのしみ―本物のプログラマはいかにして問題を解くか (ジュニア,ヘンリー・S. ウォーレン / エスアイビーアクセス)
- C++の設計と進化 (Bjarne Stroustrup, ビョーン ストラウストラップ / ソフトバンククリエイティブ)
- ウェブユーザビリティの法則 改訂第2版 (スティーブ・クルーグ / ソフトバンククリエイティブ)
- グラフ理論 (Springer‐Verlag GTMシリーズ) (R. ディーステル / シュプリンガー・フェアラーク東京)
- C言語ポインタ完全制覇 (標準プログラマーズライブラリ) (前橋 和弥 / 技術評論社)
- フェルマーの最終定理 (新潮文庫) (サイモン シン / 新潮社)
- 情報の構造〈上〉データ構造とグラフアルゴリズム (情報数学セミナー) (浅野 孝夫 / 日本評論社)
- STL―標準テンプレートライブラリによるC++プログラミング 第2版 (ディビッド・R. マッサー, アトゥル サイニ, ギルマー・J. ダージ / ピアソンエデュケーション)
- Code Reading―オープンソースから学ぶソフトウェア開発技法 (トップスタジオ, まつもと ゆきひろ, 平林 俊一, 鵜飼 文敏 / 毎日コミュニケーションズ)
- プログラマのうちあけ話―続・プログラム設計の着想 (J.L. ベントリー / 近代科学社)
- ユニバーサルHTML/XHTML (神崎 正英 / 毎日コミュニケーションズ)
- Effective STL―STLを効果的に使いこなす50の鉄則 (スコット メイヤーズ / ピアソンエデュケーション)
- Effective C++ 【改訂第2版】 アスキーアジソンウェスレイシリーズ―Ascii Addison Wesley programming series (Scott Meyers / アスキー)
- ドグラ・マグラ (上) (角川文庫) (夢野 久作 / 角川書店)
- Introduction To Functional Programming, 2nd Edition (Prentice Hall Series in Computer Science) (Richard Bird / Prentice Hall)
- オブジェクト指向における再利用のためのデザインパターン (エリック ガンマ, ラルフ ジョンソン, リチャード ヘルム, ジョン ブリシディース / ソフトバンククリエイティブ)
- 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) (高橋 正子 / 近代科学社)
- 組合せ最適化-理論とアルゴリズム (B. コルテ, J. フィーゲン / シュプリンガー・フェアラーク東京)
- Rubyソースコード完全解説 (青木 峰郎 / インプレス)
- 暗号技術入門-秘密の国のアリス (結城 浩 / ソフトバンククリエイティブ)
- 決定不能の論理パズル―ゲーデルの定理と様相論理 (レイモンド スマリヤン / 白揚社)
- プログラミングRuby―達人プログラマーガイド (デビット トーマス, アンドリュー ハント / ピアソンエデュケーション)
- Efficient C++パフォーマンスプログラミングテクニック (ダブ ブルカ, デビット メイヒュ / ピアソンエデュケーション)
- C/C++セキュアコーディング (SEI SERIES・A CERT BOOK) (Robert C. Seacord / アスキー)
- ハッカーと画家 コンピュータ時代の創造者たち (ポール グレアム / オーム社)
- 論理学をつくる (戸田山 和久 / 名古屋大学出版会)
- 憂鬱なプログラマのためのオブジェクト指向開発講座―C++による実践的ソフトウェア構築入門 (DDJ Selection) (Tucker / 翔泳社)
- Joel on Software (Joel Spolsky / オーム社)
- 数学に感動する頭をつくる (栗田 哲也 / ディスカヴァー・トゥエンティワン)
- PHP×WebサービスAPIコネクションズ (秋元 裕樹 / ソフトバンククリエイティブ)