本棚.org

Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science) (Steven S. Skiena, Miguel Revilla / Springer)
はじめまして数学〈3〉二階建ての数「分数」の世界 (幻冬舎文庫) (吉田武 / 幻冬舎)
はじめまして数学〈2〉ベクトルをまわせ、ドミノを倒せ! (幻冬舎文庫) (吉田武 / 幻冬舎)
トランザクション処理〈下〉―概念と技法 (ジムグレイ, アンドレアスロイター / 日経BP社)
トランザクション処理〈上〉―概念と技法 (ジムグレイ, アンドレアスロイター / 日経BP社)
理系のためのプレゼンのアイディア (平林純 / 技術評論社)
ハートで感じる英文法―NHK3か月トピック英会話 (語学シリーズ) (大西泰斗, ポール・マクベイ / 日本放送出版協会)
字書を作る (白川静 / 平凡社)
ベイジアンネットワーク概説 (繁桝算男, 本村陽一, 植野真臣 / 培風館)
ハートで感じる英文法会話編[CD]―大西先生の集中講義 (NHK3か月トピック英会話) (大西泰斗, ポール・マクベイ / 日本放送出版協会)
ハートで感じる英文法[CD]―大西先生の集中講義 (NHK3か月トピック英会話) (大西泰斗, ポール・マクベイ / 日本放送出版協会)
Getting Things Done: The Art of Stress-Free Productivity (David Allen / Penguin Books)
文章表現400字からのレッスン (ちくま学芸文庫) (梅田卓夫 / 筑摩書房)
新訳経営者の条件 (ドラッカー選書) (P・F. ドラッカー, Peter F. Drucker, 上田惇生 / ダイヤモンド社)
Categories for Types (Cambridge Mathematical Textbooks) (Roy L. Crole / Cambridge University Press)
Puzzles for Hackers:スクリプトキディから大人のハッカーへ (IT Architects' Archive 知の連環) (イワン・スクリャロフ / 翔泳社)
フレーゲ著作集〈6〉書簡集・付「日記」 (G. フレーゲ / 勁草書房)
フレーゲ著作集〈5〉数学論集 (G. フレーゲ / 勁草書房)
フレーゲ著作集〈4〉哲学論集 (G. フレーゲ / 勁草書房)
フレーゲ著作集〈3〉算術の基本法則 (ゴットロープフレーゲ / 勁草書房)
フレーゲ著作集〈2〉算術の基礎 (G. フレーゲ / 勁草書房)
フレーゲ著作集〈1〉概念記法 (F.L.G. フレーゲ / 勁草書房)
ふつうのHaskellプログラミングふつうのプログラマのための関数型言語入門 (青木峰郎 / ソフトバンククリエイティブ)
論理学 (野矢茂樹 / 東京大学出版会)
論理学をつくる (戸田山和久 / 名古屋大学出版会)
情報科学における論理 (情報数学セミナー) (小野寛晰 / 日本評論社)
現代論理学〈1〉 (マグロウヒル大学演習) (John Nolt, Dennis Rohatyn / オーム社)
頭の良くなる「短い、短い」文章術―あなたの文章が「劇的に」変わる! (轡田隆史 / 三笠書房)
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp (Peter Norvig / Morgan Kaufmann)
Compilers: Principles, Techniques, and Tools (Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman / Prentice Hall)
三国志名言集 (井波律子 / 岩波書店)
Trends in Functional Programming: Volume 5 (Hans-Wolfgang Loidl / Intellect L & D E F a E)
講座数学の考え方〈23〉数学と論理 (難波完爾 / 朝倉書店)
4日で学ぶモデル検査 (初級編) (CVS教程 (1)) (産業技術総合研究所システム検証研究センター / エヌ・ティー・エス)
不完全性定理―数学的体系のあゆみ (ちくま学芸文庫) (野崎昭弘 / 筑摩書房)
関数を考える (岩波科学の本) (遠山啓 / 岩波書店)
カーニハン&リッチー『プログラミング言語C』を読む (KS) (小林健一郎 / 講談社)

nobsun2006の本棚