本棚.org

RISC-V原典オープンアーキテクチャのススメ (デイビッド・パターソン / 日経BP社)
量子コンピュータ入門(第2版) (宮野健次郎 / 日本評論社)
観測に基づく量子計算 (小柴健史 / コロナ社)
スマリヤン数理論理学講義下巻 (レイモンド・M・スマリヤン / 日本評論社)
スマリヤン数理論理学講義上巻 (レイモンド・M・スマリヤン / 日本評論社)
Go言語による並行処理 (Katherine Cox-Buday / オライリージャパン)
Effective Java 第3版 (Joshua Bloch / 丸善出版)
PC UNIXユーザのためのPostgreSQL完全攻略ガイド (石井達夫 / 技術評論社)
Scalaスケーラブルプログラミング第2版 (Martin Odersky, Lex Spoon, Bill Venners / インプレスジャパン)
リファクタリング―プログラムの体質改善テクニック (Object Technology Series) (マーチンファウラー / ピアソンエデュケーション)
Windowsプロフェッショナルゲームプログラミング (やねうらお / 秀和システム)
Sambaのすべて (The Samba Book) (高橋基信 / 翔泳社)
Handbook of Model Checking ( / Springer)
Model Checking (Edmund M. Clarke Jr., Orna Grumberg, Doron Peled / The MIT Press)
Data Flow Analysis: Theory and Practice (Uday Khedker / CRC Press)
IntelliJ IDEAハンズオン――基本操作からプロジェクト管理までマスター (山本裕介 / 技術評論社)
IT Text ソフトウェア工学 (平山雅之 / オーム社)
体系的に学ぶ安全なWebアプリケーションの作り方第2版脆弱性が生まれる原理と対策の実践 (徳丸浩 / SBクリエイティブ)
Chainer v2による実践深層学習 (新納浩幸 / オーム社)
RESTful Java with JAX-RS 2.0: Designing and Developing Distributed Web Services (Bill Burke / O'Reilly Media)
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series) (Roberto Gorrieri / Springer)
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series) (Roberto Bruni / Springer)
Java 9 Modularity: Patterns and Practices for Developing Maintainable Applications (Sander Mak / O'Reilly Media)
Embedded Operating Systems: A Practical Approach (Undergraduate Topics in Computer Science) (Alan Holt / Springer)
しくみがわかる深層学習 (手塚太郎 / 朝倉書店)
Pythonによる深層強化学習入門 ChainerとOpenAI Gymではじめる強化学習 (牧野浩二 / オーム社)
リレーショナルデータベース入門―データモデル・SQL・管理システム・NoSQL (Information & Computing) (増永良文 / サイエンス社)
[改訂新版]Emacs実践入門―思考を直感的にコード化し、開発を加速する (WEB+DB PRESS plus) (大竹智也 / 技術評論社)
圏論による量子計算のモデルと論理 (クリスヒューネン / 共立出版)
プログラミングRust (Jim Blandy / オライリージャパン)
ベイズ推定入門モデル選択からベイズ的最適化まで (大関真之 / オーム社)
データサイエンスのための統計学入門 ―予測、分類、統計モデリング、統計的機械学習とRプログラミング (Peter Bruce / オライリージャパン)
scikit-learnとTensorFlowによる実践機械学習 (Aurélien Géron / オライリージャパン)
ゼロから作るDeep Learning ❷ ―自然言語処理編 (斎藤康毅 / オライリージャパン)
WEB+DB PRESS総集編[Vol.1~102] (WEB+DB PRESS plusシリーズ) (川合史朗 / 技術評論社)
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化 (萩原学 / 森北出版)
Eclipse Plug-In Development Beginner's Guide - Second Edition (Dr Alex Blewitt / Packt Publishing)
Modern Compiler Design (Dick Grune / Springer)
Writing Compilers and Interpreters: A Software Engineering Approach (Ronald Mak / Wiley)
Software Design総集編【2013~2017】 (Software Design編集部 / 技術評論社)
Aliasing in Object-Oriented Programming: Types, Analysis and Verification (Lecture Notes in Computer Science) ( / Springer)
Concurrent, Real-Time and Distributed Programming in Java: Threads, RTSJ and RMI (Focus: Computer Science) (Badr Benmammar / Wiley-ISTE)
Chainerで作るコンテンツ自動生成AIプログラミング入門 (坂本俊之 / シーアンドアール研究所)
深層学習 (Ian Goodfellow / KADOKAWA)
関数型リアクティブプログラミング (Programmer's SELECTION) (Stephen Blackheath / 翔泳社)
数値計算の常識 (伊理正夫, 藤野和建 / 共立出版)
/kuwa/4274219984 ( / )
Java本格入門 ~モダンスタイルによる基礎からオブジェクト指向・実用ライブラリまで (谷本心 / 技術評論社)
はじめての電子回路15講 (KS理工学専門書) (秋田純一 / 講談社)
/kuwa/4873118255 ( / )
[改訂新版]Swift実践入門 ── 直感的な文法と安全性を兼ね備えた言語 (WEB+DB PRESS plus) (石川洋資, 西山勇世 / 技術評論社)
Rで楽しむベイズ統計入門[しくみから理解するベイズ推定の基礎] (Data Science Library) (奥村晴彦, 瓜生真也, 牧山幸史 / 技術評論社)
/kuwa/4061538322 ( / )
Rプログラミング本格入門: 達人データサイエンティストへの道 (Kun Ren / 共立出版)
A Practical Approach to Compiler Construction (Undergraduate Topics in Computer Science) (Des Watson / Springer)
Concise Guide to Software Engineering: From Fundamentals to Application Methods (Undergraduate Topics in Computer Science) (Gerard O'Regan / Springer)
/kuwa/3319640208 ( / )
/kuwa/4320124227 ( / )
/kuwa/4865941126 ( / )
/kuwa/4320124057 ( / )
/kuwa/4798149810 ( / )
/kuwa/4798147524 ( / )
/kuwa/4627854013 ( / )
/kuwa/4908686025 ( / )
/kuwa/4798153273 ( / )
強化学習 (Richard S.Sutton, Andrew G.Barto, 三上貞芳, 皆川雅章 / 森北出版)
/kuwa/4822253635 ( / )
統計的学習の基礎 ―データマイニング・推論・予測― (Trevor Hastie, Robert Tibshirani, Jerome Friedman / 共立出版)
Kotlinイン・アクション (Dmitry Jemerov, Svetlana Isakova / マイナビ出版)
入門 Python 3 (Bill Lubanovic / オライリージャパン)
/kuwa/4764905183 ( / )
/kuwa/4798048259 ( / )
テスト駆動開発 (Kent Beck / オーム社)
/kuwa/4873118166 ( / )
Angularアプリケーションプログラミング (山田祥寛 / 技術評論社)
Haskell入門関数型プログラミング言語の基礎と実践 (本間雅洋, 類地孝介, 逢坂時響 / 技術評論社)
情報科学における論理 (情報数学セミナー) (小野寛晰 / 日本評論社)
数理論理学―使い方と考え方:超準解析の入口まで (江田勝哉 / 内田老鶴圃)
/kuwa/4274219348 ( / )
Verified Functional Programming in Agda (Acm Books) (Aaron Stump / ACM Books)
/kuwa/946239203X ( / )
サーバーレスシングルページアプリケーション ―S3、AWS Lambda、API Gateway、DynamoDB、Cognitoで構築するスケーラブルなWebサービス (Ben Rady / オライリージャパン)
/kuwa/4295001139 ( / )
/kuwa/4873118077 ( / )
Effective Debugging ―ソフトウェアとシステムをデバッグする66項目 (Diomidis Spinellis / オライリージャパン)
数学における証明と真理: 様相論理と数学基礎論 (佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 / 共立出版)
キューネン数学基礎論講義 (ケネス・キューネン / 日本評論社)
集合論―独立性証明への案内 (ケネスキューネン / 日本評論社)
ソフトウェア工学―理論と実践 (シャリ・ローレンスプリーガー / ピアソンエデュケーション)
プレファクタリング ―リファクタリング軽減のための新設計 (THEORY/IN/PRACTICE) (Ken Pugh / オライリージャパン)
/kuwa/4000298569 ( / )
詳解ディープラーニング ~TensorFlow・Kerasによる時系列データ処理~ (巣籠悠輔 / マイナビ出版)
深層学習による自然言語処理 (機械学習プロフェッショナルシリーズ) (坪井祐太, 海野裕也, 鈴木潤 / 講談社)
純粋関数型データ構造 (Chris Okasaki / KADOKAWA)
/kuwa/4774189286 ( / )
30時間でマスタープレゼンテーション+PowerPoint2016 ( / 実教出版)
よくわかる情報リテラシー (標準教科書) (安齊公士, 安間文彦, 松下孝太郎, 夜久竹夫, 渡辺博芳, 香山瑞恵, 小泉力一, 佐々木整, 永田奈央美, 西端律子, 平田謙次 / 技術評論社)
小学生からはじめるわくわくプログラミング (阿部和広 / 日経BP社)
オートマトン言語理論計算論2 <第2版> (ジョン・E・ホッブクロフト, R・モトワニ, J・D・ウルマン / サイエンス社)
コンピュータと数学 (現代基礎数学) (高橋正子 / 朝倉書店)
論理と集合から始める数学の基礎 (嘉田勝 / 日本評論社)
/kuwa/477418361X ( / )
Swift実践入門 ── 直感的な文法と安全性を兼ね備えた言語 (WEB+DB PRESS plus) (石川洋資, 西山勇世 / 技術評論社)
Scalaスケーラブルプログラミング第3版 (Martin Odersky, Lex Spoon, Bill Venners / インプレス)
The Definitive ANTLR 4 Reference (Terence Parr / Pragmatic Bookshelf)
Writing for Computer Science (Justin Zobel / Springer)
Azureテクノロジ入門2016 (マイクロソフト関連書) (日本マイクロソフト株式会社 / 日経BP社)
/kuwa/4873117763 ( / )
レガシーソフトウェア改善ガイド (Object Oriented Selection) (クリス・バーチャル / 翔泳社)
これからの強化学習 (牧野貴樹, 澁谷長史, 白川真一, 浅田稔, 麻生英樹, 荒井幸代, 飯間等, 伊藤真, 大倉和博, 黒江康明, 杉本徳和, 坪井祐太, 銅谷賢治, 前田新一, 松井藤五郎, 南泰浩, 宮崎和光, 目黒豊美, 森村哲郎, 森本淳, 保田俊行, 吉本潤一郎 / 森北出版)
/kuwa/3319278878 ( / )
ディジタル回路設計とコンピュータアーキテクチャ[ARM版] (デイビッド・M・ハリスサラ・L・ハリス / 星雲社)
プログラミング言語Go (Alan A.A. Donovan, Brian W. Kernighan / 丸善出版)
回路図で学べるFPGA入門回路図は読める人のためのHDLガイド (すすたわり / 秀和システム)
/kuwa/4798142662 ( / )
岩波データサイエンス Vol.3 ( / 岩波書店)
理系研究者のためのアカデミックライティング (ヒラリー・グラスマン-ディール / 東京図書)
/kuwa/3319127411 ( / )
Object-Oriented Analysis, Design and Implementation: An Integrated Approach (Undergraduate Topics in Computer Science) (Brahma Dathan, Sarnath Ramnath / Springer)
岩波データサイエンス Vol.2 ( / 岩波書店)
戦略的データサイエンス入門 ―ビジネスに活かすコンセプトとテクニック (Foster Provost, Tom Fawcett / オライリージャパン)
圏論の技法 (中岡宏行 / 日本評論社)
Selenium実践入門 ―― 自動化による継続的なブラウザテスト (WEB+DB PRESS plus) (伊藤望, 戸田広, 沖田邦夫, 宮田淳平, 長谷川淳, 清水直樹, Vishal Banthia / 技術評論社)
ITエンジニアのための機械学習理論入門 (中井悦司 / 技術評論社)
言語処理のための機械学習入門 (自然言語処理シリーズ) (高村大也 / コロナ社)
統計学入門 (基礎統計学) ( / 東京大学出版会)
はじめてのパターン認識 (平井有三 / 森北出版)
データサイエンティスト養成読本機械学習入門編 (Software Design plus) (比戸将平, 馬場雪乃, 里洋平, 戸嶋龍哉, 得居誠也, 福島真太朗, 加藤公一, 関喜史, 阿部厳, 熊崎宏樹 / 技術評論社)
JavaScriptによるデータビジュアライゼーション入門 (Stephen A. Thomas / オライリージャパン)
超高速グラフ列挙アルゴリズム－〈フカシギの数え方〉が拓く，組合せ問題への新アプローチ－ (ERATO 湊離散構造処理系プロジェクト / 森北出版)
実践 JUnit ―達人プログラマーのユニットテスト技法 (Jeff Langr, Andy Hunt, Dave Thomas / オライリージャパン)
圏論原著第2版 (スティーブアウディ / 共立出版)
WEB+DB PRESS総集編[Vol.1~84] (WEB+DB PRESS plus) ( / 技術評論社)
CSS3開発者ガイド第2版 ―モダンWebデザインのスタイル設計 (Peter Gasston / オライリージャパン)
ゲームエンジン・アーキテクチャ第2版 (ジェイソン・グレゴリー / SBクリエイティブ)
Javaパフォーマンス (Scott Oaks / オライリージャパン)
実践Javaコーディング作法プロが知るべき、112の規約と21の心得 (森崎雅稔 / 日経BP社)
モダンWeb ―新しいWebプラットフォームの基盤技術 (Peter Gasston / オライリージャパン)
Web API: The Good Parts (水野貴明 / オライリージャパン)
グラフデータベース ―Neo4jによるグラフデータモデルとグラフデータベース入門 (Ian Robinson, Jim Webber, Emil Eifrem / オライリージャパン)
コンピュータシステムの理論と実装 ―モダンなコンピュータの作り方 (Noam Nisan, Shimon Schocken / オライリージャパン)
ソフトウェア要求第3版 (Karl Wiegers、Joy Beatty / 日経BP社)
入門Redmine―オープンソースの課題管理システム第4版 (前田剛 / 秀和システム)
システムテスト自動化標準ガイド (CodeZine BOOKS) (Mark Fewster, Dorothy Graham, テスト自動化研究会, 伊藤望, 玉川紘子, 長谷川孝二, きょん / 翔泳社)
/kuwa/4822298434 ( / )
コンピュータの構成と設計第5版上 (ジョン・L. ヘネシー, デイビッド・A. パターソン / 日経BP社)
/kuwa/4274050645 ( / )
Backbone.jsアプリケーション開発ガイド (Addy Osmani / オライリージャパン)
入門ソーシャルデータ第2版 ―ソーシャルウェブのデータマイニング (Matthew A. Russell / オライリージャパン)
RESTful Webサービス (Leonard Richardson, Sam Ruby / オライリー・ジャパン)
パターン認識と機械学習下 (ベイズ理論による統計的予測) (C.M. ビショップ / 丸善出版)
パターン認識と機械学習上 (C.M. ビショップ / 丸善出版)
Javaプログラマーなら習得しておきたい Java SE 8 実践プログラミング (Cay S. Horstmann / インプレス)
基礎からはじめる UML2.4 (式会社テクノロジックアート / ソーテック社)
AngularJSリファレンス (池添明宏, 金井健一, 吉田徹生 / インプレス)
エンジニアのためのフィードバック制御入門 (Philipp K. Janert / オライリージャパン)
Haskellによる並列・並行プログラミング (Simon Marlow / オライリージャパン)
[改訂新版] MicrosoftWindowsServer2012 R2 Hyper-V 仮想化技術活用ガイド (Software Design plus) (遠山藤乃 / 技術評論社)
LLVM/Clang実践活用ハンドブック (出村成和 / ソシム)
新装版リファクタリング―既存のコードを安全に改善する― (OBJECT TECHNOLOGY SERIES) (Martin Fowler / オーム社)
Java Coding Guidelines: 75 Recommendations for Reliable and Secure Programs (SEI Series in Software Engineering) (Fred Long, Dhruv Mohindra, Robert C. Seacord, Dean F. Sutherland, David Svoboda / Addison-Wesley Professional)
チーム開発実践入門 ~共同作業を円滑に行うツール・メソッド (WEB+DB PRESS plus) (池田尚史, 藤倉和明, 井上史彰 / 技術評論社)
/kuwa/4048915118 ( / )
AngularJSアプリケーション開発ガイド (Brad Green, Shyam Seshadri / オライリージャパン)
チューリング (コンピュータ理論の起源) ( / 近代科学社)
GitHub実践入門 ~Pull Requestによる開発の変革 (WEB+DB PRESS plus) (大塚弘記 / 技術評論社)
Programming Concurrency on the JVM: Mastering Synchronization, STM, and Actors (Venkat Subramaniam / Pragmatic Bookshelf)
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Adam Chlipala / The MIT Press)
インタラクティブ・データビジュアライゼーション ―D3.jsによるデータの可視化 (Scott Murray / オライリージャパン)
量子情報科学入門 (石坂智, 小川朋宏, 河内亮周, 木村元, 林正人 / 共立出版)
The Formal Semantics of Programming Languages (Glynn Winskel / The MIT Press)
Object-Oriented Analysis and Design (Undergraduate Topics in Computer Science) (Sarnath Ramnath, Brahma Dathan / Springer)
Models of Computation: An Introduction to Computability Theory (Undergraduate Topics in Computer Science) (Maribel Fernández / Springer London)
Introduction to Compiler Design (Undergraduate Topics in Computer Science) (Torben Ægidius Mogensen / Springer)
リレーショナルデータベース入門―データモデル・SQL・管理システム (Information&Computing) (増永良文 / サイエンス社)
データベースシステム (情報系教科書シリーズ) (北川博之 / 昭晃堂)
代数学とは何か (I.R.シャファレヴィッチ / 丸善出版)
Gitによるバージョン管理 (岩松信洋, 上川純一, まえだこうへい, 小川伸一郎 / オーム社)
Apache Maven 3クックブック Javaソフトウェア開発のための特選レシピ集 (Srirangan / アスキー・メディアワークス)
サードパーティJavaScript (Ben Vinegar, Anton Kovalyov / KADOKAWA/アスキー・メディアワークス)
JavaScriptで学ぶ関数型プログラミング (Michael Fogus / オライリージャパン)
実践デバッグ技法 ―GDB、DDD、Eclipseによるデバッギング (Norman Matloff, Peter Salzman / オライリージャパン)
バッドデータハンドブック ―データにまつわる問題への19の処方箋 (Q. Ethan McCallum / オライリージャパン)
Advanced Topics in Types and Programming Languages ( / The MIT Press)
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy) (Graham Priest / Cambridge University Press)
The Art of Multiprocessor Programming, Revised Reprint (Maurice Herlihy, Nir Shavit / Morgan Kaufmann)
[改訂第6版] LaTeX2ε美文書作成入門 (奥村晴彦, 黒木裕介 / 技術評論社)
入門 HTML5 (Mark Pilgrim / オライリージャパン)
テスタブルJavaScript (Mark Ethan Trostler / オライリージャパン)
間違いだらけの設計レビュー (森崎修司 / 日経BP社)
ECMA-262 Edition 5.1を読む ( / 秀和システム)
モダンオペレーティングシステム原書第2版 (Andrew S.Tanenbaum / ピアソン・エデュケーション・ジャパン)
Hadoop徹底入門第2版オープンソース分散処理環境の構築 (太田一樹, 岩崎正剛, 猿田浩輔, 下垣徹, 藤井達朗, 山下真一 / 翔泳社)
Hadoop 第3版 (Tom White / オライリージャパン)
実践スマートフォンアプリケーション開発 ―iOS、Android、Windows Phoneの比較 (株式会社ブリリアントサービス, 八木俊広, 原昇平, かわかみひろき / オライリージャパン)
FPGA入門―回路図とHDLによるディジタル回路設計 (すすたわり / 秀和システム)
WEB+DB PRESS 総集編〔Vol.1~72〕 (WEB+DB PRESS plus) (伊藤直也, 外村和仁, 長野雅広, 松信嘉範, 渡辺修司 / 技術評論社)
数学の女王 ―歴史から見た数論入門― (Jay R.Goldman / 共立出版)
アルゴリズム設計マニュアル　下 ( / 丸善出版)
アルゴリズム設計マニュアル　上 ( / 丸善出版)

kuwaの本棚