(13/401)冊
- ポアンカレ予想 (新潮文庫) (ドナル オシア / 新潮社)
- The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics) (Joseph H. Silverman / Springer)
- The Arithmetic of Elliptic Curves (Graduate Texts in Mathematics) (Joseph H. Silverman / Springer)
- 楕円曲線論入門 (J.H. シルヴァーマン, J. テイト / シュプリンガー・フェアラーク東京)
- 代数的整数論 (J. ノイキルヒ / シュプリンガーフェアラーク東京)
- Number Theory, Vol. 1: Tools and Diophantine Equations (Graduate Texts in Mathematics) (Henri Cohen / Springer)
- Perl書法 (ASCII SOFTWARE SCIENCE Language) (増井 俊之 / ASCII)
- Number Theory, Vol. 2: Analytic and Modern Tools (Graduate Texts in Mathematics) (Henri Cohen / Springer)
- ゲーデルと20世紀の論理学 3 不完全性定理と算術の体系 ( / 東京大学出版会)
- Algebraic Geometry (Graduate Texts in Mathematics. 52) (Robin Hartshorne / Springer)
- 無限の天才―夭逝の数学者・ラマヌジャン (ロバート カニーゲル / 工作舎)
- フェルマーの大定理―整数論の源流 (ちくま学芸文庫) (足立 恒雄 / 筑摩書房)
- 奇異譚とユートピア - 近代日本驚異<SF>小説史 (長山 靖生 / 中央公論新社)
- Introduction to Geometry (Wiley Classics Library) (H. S. M. Coxeter / WILEY)
- The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics) (Akihiro Kanamori / Springer)
- ゲーデルと20世紀の論理学 4 集合論とプラトニズム (田中 一之 / 東京大学出版会)
- 少子社会日本―もうひとつの格差のゆくえ (岩波新書) (山田 昌弘 / 岩波書店)
- 暗号理論と楕円曲線 (辻井 重男, 笠原 正雄, 有田 正剛, 境 隆一, 只木 孝太郎, 趙 晋輝, 松尾 和人 / 森北出版)
- The Number Pi (Pierre Eymard, Jean-Pierre Lafon / Amer Mathematical Society)
- 人工知能はどのようにして 「名人」を超えたのか?―――最強の将棋AIポナンザの開発者が教える機械学習・深層学習・強化学習の本質 (山本 一成 / ダイヤモンド社)
- 数学基礎論 (新井 敏康 / 岩波書店)
- The Little Book of Big Primes (Paulo Ribenboim / Springer)
- Elliptic Curves: Number Theory and Cryptography (Discrete Mathematics and Its Applications) (Lawrence C. Washington / Chapman & Hall)
- 駆け出し数学者ドイツに行く (高山 幸秀 / 文芸社)
- コンピュータVSプロ棋士―名人に勝つ日はいつか (PHP新書) (岡嶋 裕史 / PHP研究所)
- /p-his/4764910144 ( / )
- Linuxのブートプロセスをみる (UNIXMAGAZINE COLLECTION) (白崎 博生 / アスキー)
- ゲーデル 不完全性定理 (岩波文庫) (ゲーデル / 岩波書店)
- FreeBSDのブートプロセスをみる (UNIX MAGAZINE COLLECTION) (白崎 博生 / アスキー)
- Regular Polytopes (Dover Books on Mathematics) (H. S. M. Coxeter, Mathematics / Dover Publications)
- 暗号・ゼロ知識証明・数論 ( / 共立出版)
- ゲーデル,エッシャー,バッハ―あるいは不思議の環 (野崎 昭弘, はやし はじめ, 柳瀬 尚紀 / 白揚社)
- 四色問題 (ロビン・ウィルソン / 新潮社)
- パラサイト社会のゆくえ (ちくま新書) (山田 昌弘 / 筑摩書房)
- Introduction to the Construction of Class Fields (Harvey Cohn / Dover Publications)
- フェルマーの大定理が解けた!―オイラーからワイルズの証明まで (ブルーバックス) (足立 恒雄 / 講談社)
- ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 ( / 東京大学出版会)
- M.C. Escher's Legacy: A Centennial Celebration : Collection of Articles Coming from the M.C. Escher Centennial Conference, Rome 1998 (Italy) M. C. Escher Centennial Conference (1998 Rome, Michele Emmer / Springer)
- ゲーデルと20世紀の論理学(ロジック)〈1〉ゲーデルの20世紀 ( / 東京大学出版会)
- フリーソフトウェアと自由な社会 ―Richard M. Stallmanエッセイ集 (リチャード・M・ストールマン, Richard M. Stallman / アスキー)
- 不屈の棋士 (講談社現代新書) (大川 慎太郎 / 講談社)
- ヨーロッパ近代の社会史 工業化と国民形成 (福井 憲彦 / 岩波書店)
- 求道心 誰も語れない将棋天才列伝 (SB新書) (加藤 一二三 / SBクリエイティブ)
- 数学のまなび方 (ちくま学芸文庫) (彌永 昌吉 / 筑摩書房)
- 大学に「明日」はあるか (毎日新聞教育取材班 / 毎日新聞社)
- 幻魔大戦 (平井和正全集) (平井 和正 / リム出版)
- 中学生棋士 (角川新書) (谷川 浩司 / KADOKAWA)
- 宇宙船vol.156 (ホビージャパンMOOK 790) ( / ホビージャパン)
- 棋士とAI――アルファ碁から始まった未来 (岩波新書) (王銘〓(おう めいえん) / 岩波書店)
- 飛び入学―日本の教育は変われるか (小林 哲夫 / 日本経済新聞社)
- /p-his/4791768272 ( / )
- /p-his/4861711703 ( / )
- 宇宙船 vol.134 (ホビージャパンMOOK 420) ( / ホビージャパン)
- 物語数学史 (新潮選書) (小堀 憲 / 新潮社)
- オブジェクト指向スクリプト言語 Ruby (ASCII SOFTWARE SCIENCE Language) (まつもと ゆきひろ, 石塚 圭樹 / アスキー)
- Life with UNIX―UNIXを愛するすべての人に (ドン ライブ, サンディ レスラ / アスキー)
- Standard C Library, The (P.J. Plauger / Prentice Hall)
- Retargetable C Compiler, A: Design and Implementation (David R. Fraser, Christopher W. Hanson / Addison-Wesley Professional)
- Hubble Space Telescope: New Views of the Universe (Mark Voit / Harry N. Abrams)
- 将棋とコンピュータ (情報フロンテイアシリーズ) (松原 仁 / 共立出版)
- Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science) (Harold Abelson, Gerald Jay Sussman / The MIT Press)
- 数学文化〈002〉特集=数遊び・ことば遊び ( / 日本評論社)
- Functional Programming (International Computer Science Series) (Anthony J. Field, Peter Harrison / Addison-Wesley)
- /p-his/4569837468 ( / )
- オタクはすでに死んでいる (新潮新書) (岡田 斗司夫 / 新潮社)
- 数学者の20世紀―彌永昌吉エッセイ集1941-2000 (彌永 昌吉 / 岩波書店)
- 人口減少時代の都市 - 成熟型のまちづくりへ (中公新書) (諸富 徹 / 中央公論新社)
- 入門マクロ経済学 (中谷 巌 / 日本評論社)
- ゼミナール 日本経済入門 ( / 日本経済新聞社)
- バックロードホーン・スピーカーをつくる! (ONTOMO MOOK) ( / 音楽之友社)
- /p-his/4797680229 ( / )
- Prologのソフトウェア作法 (岩波コンピュータサイエンス) (黒川 利明 / 岩波書店)
- 大解剖ベストシリーズ デビルマン大解剖 (SAN-EI MOOK 大解剖ベストシリーズ) (ダイナミックプロ / 三栄書房)
- われ敗れたり―コンピュータ棋戦のすべてを語る (米長 邦雄 / 中央公論新社)
- ルポ 電王戦―人間 vs. コンピュータの真実 (NHK出版新書 436) (松本 博文 / NHK出版)
- 日本統計学会公式認定 統計検定 1級・準1級 公式問題集[2016〜2017年] ( / 実務教育出版)
- 仰天文学大系 (夢枕 獏 / 集英社)
- The C++ Programming Language (Bjarne Stroustrup / Addison-Wesley Pub (Sd))
- Computers & Typesetting, Volume B: TeX: The Program (Computers and Typesetting) (Donald E. Knuth / Addison-Wesley Professional)
- アホでマヌケなプログラミング (プログラマーズ叢書) (Lepton / 翔泳社)
- 藤井聡太はAIに勝てるか? (光文社新書) (松本 博文 / 光文社)
- ゼータ研究所だより ( / 日本評論社)
- Debugging With Gdb Manual (Richard M. Stallman / Free Software Foundation)
- プログラミング言語StandardML入門 (大堀 淳 / 共立出版)
- MCSE 教科書 70-294 (MCSE教科書) (ウィル・ウィリス / 翔泳社)
- Surveys in Number Theory: Papers from the Millennial Conference on Number Theory ( / A K Peters/CRC Press)
- Friendly Introduction to Number Theory, A (2nd Edition) (Joseph H Silverman / Prentice Hall)
- TCP/IP Illustrated, Volume 2: The Implementation (Addison-Wesley Professional Computing Series) (Gary R. Stevens, W. Richard Wright / Addison-Wesley Professional)
- TCP/IP Illustrated, Volume 3: TCP for Transactions, HTTP, NNTP, and the UNIX® Domain Protocols (Addison-Wesley Professional Computing Series) (W. Richard Stevens / Addison-Wesley Professional)
- The Art of Computer Programming: Fundamental Algorithms v.1 (World Student) (Donald E. Knuth / Addison Wesley)
- Advanced Topics in Computational Number Theory (Graduate Texts in Mathematics) (Henri Cohen / Springer)
- オーディオDCアンプシステム―時空を超えた音楽再現〈上巻〉 (金田 明彦 / 誠文堂新光社)
- 開拓者 長岡鉄男 ([MOOK21]シリーズ) ( / 株式会社共同通信社)
- POV‐Rayではじめるレイトレーシング (Ascii books) (小室 日出樹 / アスキー)
- A Singular Introduction to Commutative Algebra (Gert-Martin Greuel, Gerhard Pfister / Springer)
- バージョン管理システム(CVS)の導入と活用 (鯉江 英隆, 馬場 肇, 西本 卓也 / ソフトバンククリエイティブ)
- と学会年鑑BLUE (と学会 / 太田出版)
- 数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える ( / シュプリンガー・フェアラーク東京)
- ACMチューリング賞講演集 ( / 共立出版)
- 散語拾語 (朝日文庫) (安野 光雅 / 朝日新聞社)
- プロフェショナルBSD (ASCH SOFTWARE SCIENCE Operating System) (砂原 秀樹, 植原 啓介, 石井 秀治, 林 周志 / アスキー)
- 暗号の代数理論 (ニール コブリッツ / シュプリンガー・フェアラーク東京)
- Make Manual (Richard M. Stallman, Roland McGrath / Free Software Foundation)
- 数論入門 (現代数学への入門) (山本 芳彦 / 岩波書店)
- FreeBSDシステムアドミニストレーターズマニュアル (PC‐UNIXシリーズ) ( / 毎日コミュニケーションズ)
- グレブナー基底の計算 実践篇-Risa/Asirで解く (齋藤 友克, 竹島 卓, 平野 照比古 / 東京大学出版会)
- 計算幾何学 (情報数学講座) (今井 浩, 今井 桂子 / 共立出版)
- 数学文化 第8号 特集=数の不思議・ふしぎな数 ( / 日本評論社)
- MMIXware: A RISC Computer for the Third Millennium (Lecture Notes in Computer Science) (Donald E. Knuth / Springer)
- Introduction To Functional Programming, 2nd Edition (Prentice Hall Series in Computer Science) (Richard Bird / Prentice Hall)
- コンピュータ将棋の進歩 (松原 仁 / 共立出版)
- 数論〈2〉岩沢理論と保型形式 (黒川 信重, 斎藤 毅, 栗原 将人 / 岩波書店)
- 追悼長岡鉄男「観音力アンソロジー」―オーディオ・音楽・趣味・人生の足跡をたどる著作集 (Ontomo mook―Audio) (長岡鉄男 / 音楽之友社)
- Operating Systems: Design And Implementation (International Edition) (Andrew S. Tanenbaum / Prentice-Hall)
- オセロの打ち方―勝つための基本戦術 (長谷川 五郎 / 講談社)
- The CWEB System of Structured Documentation (Donald E. Knuth, Silvio Levy / Addison-Wesley Professional)
- 最前線UNIXのカーネル (ユーレッシュ ヴァハリア / ピアソンエデュケーション)
- コーヒーが廻り世界史が廻る―近代市民社会の黒い血液 (中公新書) (臼井 隆一郎 / 中央公論社)
- A Course in Computational Algebraic Number Theory (Graduate Texts in Mathematics) (Henri Cohen / Springer-Verlag)
- 極めるLinuxザウルス pdaXromで作る最強環境 (ザウルス最強環境研究会 / 技術評論社)
- 数学文化〈003〉特集=形で遊ぼう ( / 日本評論社)
- 証明論入門 (竹内 外史, 八杉 満利子 / 共立出版)
- Elliptic Curves in Cryptography (London Mathematical Society Lecture Note Series) (I. Blake, G. Seroussi, N. Smart / Cambridge University Press)
- 由比正雪 (村松 友視 / 読売新聞)
- グレブナー基底の計算基礎篇－計算代数入門 (野呂 正行, 横山 和弘 / 東京大学出版会)
- 宇宙船vol.160 (ホビージャパンMOOK 860) ( / ホビージャパン)
- テラスで読む戦後トピック経済史 (原田 泰 / 日経)
- 絶対数学原論 (黒川信重 / 現代数学社)
- 博多学 (新潮文庫) (岩中 祥史 / 新潮社)
- Computer Algebra and Symbolic Computation: Mathematical Methods (Joel S. Cohen / A K Peters/CRC Press)
- 新編 算私語録 (朝日文庫) (安野 光雅 / 朝日新聞社)
- Kasparov Versus Deep Blue: Computer Chess Comes of Age (Monroe Newborn, Monty Newborn / Springer-Verlag New York Inc (C))
- 茶の世界史―緑茶の文化と紅茶の社会 (中公新書 (596)) (角山 栄 / 中央公論新社)
- みんなが忘れてしまった大事な話―マイナスが実はプラスなんだという発想 (ベストセラーシリーズ・ワニの本) (森 毅 / ベストセラーズ)
- ステレオ時代 Vol.11 (NEKO MOOK) ( / ネコ・パブリッシング)
- Ghostscript Another Manual (江口 庄英 / ソフトバンククリエイティブ)
- The Definition of Standard ML (Robin Milner, Mads Tofte, Robert Harper / The MIT Press)
- 算法少女 (ちくま学芸文庫) (遠藤 寛子 / 筑摩書房)
- Rational Points on Curves over Finite Fields: Theory and Applications (London Mathematical Society Lecture Note Series) (Harald Niederreiter, Chaoping Xing / Cambridge University Press)
- Analytic Methods for Diophantine Equations and Diophantine Inequalities (Cambridge Mathematical Library) (H. Davenport, T. D. Browning / Cambridge University Press)
- A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext) (Bruno Poizat / Springer)
- The New Astronomy (Nigel Henbest, Michael Marten / Cambridge University Press)
- /p-his/4938704102 ( / )
- リーマンの夢 ゼータ関数の探求 (黒川信重 / 現代数学社)
- お金の思い出 (石坂 啓 / 新潮社)
- 宇宙が始まるとき (サイエンス・マスターズ) (ジョン バロウ / 草思社)
- 連続体仮説 (P.J. コーヘン / 東京図書)
- The LaTeX Graphics Companion: Illustrating Documents with TeX and Postscript(R) (Tools and Techniques for Computer Typesetting) (Michel Goossens, Sebastian Rahtz, Frank Mittelbach / Addison-Wesley Professional)
- BSDを256倍使うための本 (宮川 晋, 増田 佳泰, 古場 正行 / アスキー)
- Tex for the Impatient (Paul W. Abrahams / Addison-Wesley Pub (Sd))
- From Frege to Goedel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences) (Jean van Heijenoort / Harvard University Press)
- Elliptic Curves (Graduate Texts in Mathematics) (Dale Husemoller / Springer)
- 数理論理学とタイプ理論―証明による真理へ (ピーター アンドリュース / 丸善)
- 標準FreeBSDリファレンス (マイケル アーバン, ブライアン ティーマン / インプレス)
- The Design and Implementation of the 4.4 BSD Operating System (Addison-Wesley UNIX and Open Systems Series) (Marshall Kirk McKusick, Keith Bostic, Michael J. Karels, John S. Quarterman / Addison-Wesley Professional)
- Smalltalk-80: Bits of History, Words of Advice ( / Addison-Wesley)
- PC UNIXユーザのためのPostgreSQL完全攻略ガイド (石井 達夫 / 技術評論社)
- 少子に挑む 「脱・人口減少」への最後の選択 ( / 日本経済新聞社)
- インターネットを256倍使うための本 (Vol.1) (志村 拓, 榊 隆 / アスキー)
- METAFONTブック―タイポグラファのためのプログラミング言語 (アスキー・電子出版シリーズ) (ドナルド・E. クヌース / ASCII)
- プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座) (井田 哲雄 / 共立出版)
- FreeBSDユーザーズリファレンスマニュアル (PC‐UNIXシリーズ) ( / 毎日コミュニケーションズ)
- 数論〈1〉Fermatの夢と類体論 (加藤 和也, 斎藤 毅, 黒川 信重 / 岩波書店)
- 角運動量とスピン―『量子力学』補巻 (朝永 振一郎 / みすず書房)
- 並列アルゴリズム―理論と設計 (宮野 悟 / 近代科学社)
- オタク学入門 (新潮OH!文庫) (岡田 斗司夫 / 新潮社)
- Geometry: Euclid and Beyond (Springer Undergraduate Texts in Mathematics and Technology) (Robin Hartshorne / Springer)
- 数学文化〈009〉関孝和没後300年記念懸賞問題 ( / 日本評論社)
- Diophantine Geometry: An Introduction (Graduate Texts in Mathematics) (Marc Hindry, Joseph H. Silverman / Springer)
- たのしいUNIX―UNIXへの招待 (Ascii books) (坂本 文 / アスキー)
- 代数的整数論 第2版 (高木 貞治 / 岩波書店)
- Metamagical Themas: Questing for the Essence of Mind and Pattern (Douglas R. Hofstadter / Penguin Books Ltd)
- MINIXを256倍使うための本 (古田 敦, 友石 正彦, 端山 毅, 宮川 晋 / アスキー)
- リスト遊び―Emacsで学ぶLispの世界 (ASCII SOFTWARE SCIENCE Language) (山本 和彦 / アスキー)
- 使って学ぶIPv6 (増田 康人, 有賀 征爾, 長橋 賢吾 / アスキー)
- SMALLTALK-80―対話形プログラミング環境 (Adele Goldberg / オーム社)
- Lisp (Patrick Winston, Berthold Horn / Addison Wesley)
- The Geometry of Schemes (Graduate Texts in Mathematics) (David Eisenbud, Joe Harris / Springer)
- Programming With Standard Ml (BCS Practitioner) (Colin Myers, Chris Clack, Ellen Poon / Prentice Hall)
- 実験で学ぶ最新トランジスタ・アンプ設計法 (ラジオ技術選書) (黒田 徹 / ラジオ技術社)
- Commutative Ring Theory (Cambridge Studies in Advanced Mathematics) (H. Matsumura / Cambridge University Press)
- ペトロス伯父と「ゴールドバッハの予想」 (ハヤカワ・ノヴェルズ) (アポストロス ドキアディス / 早川書房)
- Rational Points on Modular Elliptic Curves (Cbms Regional Conference Series in Mathematics) (Henri Darmon / Amer Mathematical Society)
- 今日からつかえるPHP4サンプル集 (山田 祥寛 / 秀和システム)
- 基礎トランジスタ・アンプ設計法 (黒田 徹 / ラジオ技術社)
- π(パイ)のはなし (金田 康正 / 東京図書)
- 無限のパラドックス―パズルで学ぶカントールとゲーデル (レイモンド スマリヤン / 白揚社)
- 東大オタク学講座 (岡田 斗司夫 / 講談社)
- Implementations of PROLOG (J.A. Campbell / Ellis Horwood Ltd , Publisher)
- Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1) (Jean-Yves Girard / Humanities Pr)
- メタマジック・ゲーム―科学と芸術のジグソーパズル (竹内 郁雄, 斉藤 康己, 片桐 恭弘, ダグラス・R. ホフスタッター, Douglas R. Hofstadter / 白揚社)
- Javaグラフィクス完全制覇 (標準プログラマーズライブラリ) (芹沢 浩 / 技術評論社)
- Rubyライブラリ編 (ASCII SOFTWARE SCIENCE Language) ( / アスキー)
- Smalltalk-80: The Interactive Programming Environment (Adele Goldberg / Addison-Wesley)
- Principles of Compiler Design (Alfred V. Aho, Jeffrey D. Ullman / Addison Wesley World Student Series)
- My Numbers, My Friends: Popular Lectures on Number Theory (Paulo Ribenboim / Springer)
- Design and Evolution of C++, The (Bjarne Stroustrup / Addison-Wesley Professional)
- サンダーバード大図鑑〈2〉 (エンターティメントバイブルシリーズ) ( / バンダイ)
- 日本で生まれた数式処理ソフト―リサアジールガイドブック (斎藤 友克, 平野 照比古, 竹島 卓 / SEG出版)
- Opengl Reference Manual: The Official Reference Document for Opengl, Release 1 (OTL) (OpenGL Architecture Review Board / Addison-Wesley (C))