本棚.org

ポアンカレ予想 (新潮文庫) (ドナルオシア / 新潮社)
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. テイト / シュプリンガー・フェアラーク東京)
Number Theory, Vol. 1: Tools and Diophantine Equations (Graduate Texts in Mathematics) (Henri Cohen / Springer)
ゲーデルと20世紀の論理学 3　不完全性定理と算術の体系 ( / 東京大学出版会)
代数的整数論 (J. ノイキルヒ / シュプリンガーフェアラーク東京)
Number Theory, Vol. 2: Analytic and Modern Tools (Graduate Texts in Mathematics) (Henri Cohen / Springer)
Perl書法 (ASCII SOFTWARE SCIENCE Language) (増井俊之 / ASCII)
Introduction to Geometry (Wiley Classics Library) (H. S. M. Coxeter / WILEY)
無限の天才―夭逝の数学者・ラマヌジャン (ロバートカニーゲル / 工作舎)
暗号理論と楕円曲線 (辻井重男, 笠原正雄, 有田正剛, 境隆一, 只木孝太郎, 趙晋輝, 松尾和人 / 森北出版)
Algebraic Geometry (Graduate Texts in Mathematics. 52) (Robin Hartshorne / Springer)
少子社会日本―もうひとつの格差のゆくえ (岩波新書) (山田昌弘 / 岩波書店)
ゲーデルと20世紀の論理学 4 集合論とプラトニズム (田中一之 / 東京大学出版会)
The Number Pi (Pierre Eymard, Jean-Pierre Lafon / Amer Mathematical Society)
フェルマーの大定理―整数論の源流 (ちくま学芸文庫) (足立恒雄 / 筑摩書房)
奇異譚とユートピア - 近代日本驚異<SF>小説史 (長山靖生 / 中央公論新社)
The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (Springer Monographs in Mathematics) (Akihiro Kanamori / Springer)
駆け出し数学者ドイツに行く (高山幸秀 / 文芸社)
/p-his/4764910144 ( / )
The Little Book of Big Primes (Paulo Ribenboim / Springer)
コンピュータVSプロ棋士―名人に勝つ日はいつか (PHP新書) (岡嶋裕史 / PHP研究所)
Linuxのブートプロセスをみる (UNIXMAGAZINE COLLECTION) (白崎博生 / アスキー)
人工知能はどのようにして「名人」を超えたのか?―――最強の将棋AIポナンザの開発者が教える機械学習・深層学習・強化学習の本質 (山本一成 / ダイヤモンド社)
数学基礎論 (新井敏康 / 岩波書店)
ゲーデル不完全性定理 (岩波文庫) (ゲーデル / 岩波書店)
FreeBSDのブートプロセスをみる (UNIX MAGAZINE COLLECTION) (白崎博生 / アスキー)
逆数学:定理から公理を「証明」する (ジョン・スティルウェル / 森北出版)
Elliptic Curves: Number Theory and Cryptography (Discrete Mathematics and Its Applications) (Lawrence C. Washington / Chapman & Hall)
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世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 ( / 東京大学出版会)
四色問題 (ロビン・ウィルソン / 新潮社)
パラサイト社会のゆくえ (ちくま新書) (山田昌弘 / 筑摩書房)
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世紀の論理学(ロジック)〈1〉ゲーデルの20世紀 ( / 東京大学出版会)
オセロの打ち方―勝つための基本戦術 (長谷川五郎 / 講談社)
博多学 (新潮文庫) (岩中祥史 / 新潮社)
Hubble Space Telescope: New Views of the Universe (Mark Voit / Harry N. Abrams)
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))
Retargetable C Compiler, A: Design and Implementation (David R. Fraser, Christopher W. Hanson / Addison-Wesley Professional)
コンピュータは名人を超えられるか (岩波科学ライブラリー (90)) (飯田弘之 / 岩波書店)
茶の世界史―緑茶の文化と紅茶の社会 (中公新書 (596)) (角山栄 / 中央公論新社)
暗号の代数理論 (ニールコブリッツ / シュプリンガー・フェアラーク東京)
プロフェショナルBSD (ASCH SOFTWARE SCIENCE Operating System) (砂原秀樹, 植原啓介, 石井秀治, 林周志 / アスキー)
Ghostscript Another Manual (江口庄英 / ソフトバンククリエイティブ)
Standard C Library, The (P.J. Plauger / Prentice Hall)
Make Manual (Richard M. Stallman, Roland McGrath / Free Software Foundation)
数論入門 (現代数学への入門) (山本芳彦 / 岩波書店)
FreeBSDシステムアドミニストレーターズマニュアル (PC‐UNIXシリーズ) ( / 毎日コミュニケーションズ)
数論〈1〉Fermatの夢と類体論 (加藤和也, 斎藤毅, 黒川信重 / 岩波書店)
計算幾何学 (情報数学講座) (今井浩, 今井桂子 / 共立出版)
数学文化第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〉岩沢理論と保型形式 (黒川信重, 斎藤毅, 栗原将人 / 岩波書店)
Functional Programming (International Computer Science Series) (Anthony J. Field, Peter Harrison / Addison-Wesley)
Tex for the Impatient (Paul W. Abrahams / Addison-Wesley Pub (Sd))
The Definition of Standard ML (Robin Milner, Mads Tofte, Robert Harper / The MIT Press)
数学の基礎をめぐる論争―21世紀の数学と数学基礎論のあるべき姿を考える ( / シュプリンガー・フェアラーク東京)
Rational Points on Curves over Finite Fields: Theory and Applications (London Mathematical Society Lecture Note Series) (Harald Niederreiter, Chaoping Xing / Cambridge University Press)
と学会年鑑BLUE (と学会 / 太田出版)
Life with UNIX―UNIXを愛するすべての人に (ドンライブ, サンディレスラ / アスキー)
コンピュータ将棋のアルゴリズム―最強アルゴリズムの探求とプログラミング (I・O BOOKS) (池泰弘 / 工学社)
宇宙船vol.156 (ホビージャパンMOOK 790) ( / ホビージャパン)
バージョン管理システム(CVS)の導入と活用 (鯉江英隆, 馬場肇, 西本卓也 / ソフトバンククリエイティブ)
BSDを256倍使うための本 (宮川晋, 増田佳泰, 古場正行 / アスキー)
The New Astronomy (Nigel Henbest, Michael Marten / Cambridge University Press)
POV‐Rayではじめるレイトレーシング (Ascii books) (小室日出樹 / アスキー)
基礎トランジスタ・アンプ設計法 (黒田徹 / ラジオ技術社)
FreeBSDユーザーズリファレンスマニュアル (PC‐UNIXシリーズ) ( / 毎日コミュニケーションズ)
オブジェクト指向スクリプト言語 Ruby (ASCII SOFTWARE SCIENCE Language) (まつもとゆきひろ, 石塚圭樹 / アスキー)
日本で生まれた数式処理ソフト―リサアジールガイドブック (斎藤友克, 平野照比古, 竹島卓 / SEG出版)
Ramanujan: Essays and Surveys (History of Mathematics, V. 22) ( / Amer Mathematical Society)
トンデモ本1999―このベストセラーがとんでもない (カッパ・ブックス) (と学会 / 光文社)
/p-his/020112078X ( / )
Prologのソフトウェア作法 (岩波コンピュータサイエンス) (黒川利明 / 岩波書店)
Introduction to Mathematical Logic and Type Theory (Computer Science and Applied Mathematics) (Peter B. Andrews / Academic Pr)
/p-his/1565922360 ( / )
メタマジック・ゲーム―科学と芸術のジグソーパズル (竹内郁雄, 斉藤康己, 片桐恭弘, ダグラス・R. ホフスタッター, Douglas R. Hofstadter / 白揚社)
長岡鉄男編集長の本―ヴィジュアル・オーディオ・パワー (Ontomo mook―Audio) ( / 音楽之友社)
Rational Points on Modular Elliptic Curves (Cbms Regional Conference Series in Mathematics) (Henri Darmon / Amer Mathematical Society)
Prolegomena to a Middlebrow Arithmetic of Curves of Genus 2 (London Mathematical Society Lecture Note Series) (J. W. S. Cassels, E. V. Flynn / Cambridge University Press)
代数的整数論第2版 (高木貞治 / 岩波書店)
コンピュータチェス―世界チャンピオンへの挑戦 (Information & Computing) (D. リービ, M. ニューボーン / サイエンス社)
宇宙が始まるとき (サイエンス・マスターズ) (ジョンバロウ / 草思社)
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic (Universitext) (Bruno Poizat / Springer)
Analytic Methods for Diophantine Equations and Diophantine Inequalities (Cambridge Mathematical Library) (H. Davenport, T. D. Browning / Cambridge University Press)
ソフトウェア千夜一夜物語 (Themsky / 共立出版)
図解早わかりオセロ―これが必勝のコツだ!! (谷田邦彦 / 日東書院本社)
連続体仮説 (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)
Fermat's Last Theorem for Amateurs (Paulo Ribenboim / Springer)
4.4 Bsd System Manager's Manual (Smm) (Computer Systems Research Group, Computer Systems Research Group Uc Berkeley, Uc Berkeley Computer Systems Research Group / Oreilly & Associates Inc)
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)
プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座) (井田哲雄 / 共立出版)
The Art of Computer Programming: Fundamental Algorithms v.1 (World Student) (Donald E. Knuth / Addison Wesley)
Pascalの言語処理系―翻訳系・直訳系/通訳系 (ソフトウェア工学ライブラリ (10)) (スティーブン・ペンバートン, マーチン・ダニエルズ, 武市正人, 木村友則 / 近代科学社)
角運動量とスピン―『量子力学』補巻 (朝永振一郎 / みすず書房)
並列アルゴリズム―理論と設計 (宮野悟 / 近代科学社)
オタク学入門 (新潮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) (坂本文 / アスキー)
MCSE 教科書 70-294 (MCSE教科書) (ウィル・ウィリス / 翔泳社)
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 / オーム社)
Number Theory and Algebraic Geometry (London Mathematical Society Lecture Note Series) ( / Cambridge University Press)
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)
無限のパラドックス―パズルで学ぶカントールとゲーデル (レイモンドスマリヤン / 白揚社)
物語数学史 (新潮選書) (小堀憲 / 新潮社)
宇宙船 vol.134 (ホビージャパンMOOK 420) ( / ホビージャパン)
プログラミング言語ML (ASCII SOFTWARE SCIENCE Language) (ジェフリー・D. ウルマン / アスキー)
Rubyを256倍使うための本無道編 (青木峰郎 / アスキー)
TCP/IP Illustrated, Volume 2: The Implementation (Addison-Wesley Professional Computing Series) (Gary R. Stevens, W. Richard Wright / Addison-Wesley Professional)
ゲーデルの不完全性定理 (レイモンドスマリヤン / 丸善)
A Course in P-Adic Analysis (Graduate Texts in Mathematics) (Alain M. Robert / Springer)
Friendly Introduction to Number Theory, A (2nd Edition) (Joseph H Silverman / Prentice Hall)
Object-Oriented Programming in Common Lisp: A Programmer's Guide to CLOS (Sonya E. Keene / Addison-Wesley Professional)
Elliptic Curves in Cryptography (London Mathematical Society Lecture Note Series) (I. Blake, G. Seroussi, N. Smart / Cambridge University Press)
証明論入門 (竹内外史, 八杉満利子 / 共立出版)
Surveys in Number Theory: Papers from the Millennial Conference on Number Theory ( / A K Peters/CRC Press)
My Numbers, My Friends: Popular Lectures on Number Theory (Paulo Ribenboim / Springer)
Principles of Compiler Design (Alfred V. Aho, Jeffrey D. Ullman / Addison Wesley World Student Series)
数学文化〈003〉特集=形で遊ぼう ( / 日本評論社)
Smalltalk-80: The Interactive Programming Environment (Adele Goldberg / Addison-Wesley)
Rubyライブラリ編 (ASCII SOFTWARE SCIENCE Language) ( / アスキー)
Design and Evolution of C++, The (Bjarne Stroustrup / Addison-Wesley Professional)
グレブナー基底の計算基礎篇－計算代数入門 (野呂正行, 横山和弘 / 東京大学出版会)
サンダーバード大図鑑〈2〉 (エンターティメントバイブルシリーズ) ( / バンダイ)
ACMチューリング賞講演集 ( / 共立出版)
極めるLinuxザウルス pdaXromで作る最強環境 (ザウルス最強環境研究会 / 技術評論社)
/p-his/1565924924 ( / )
The C++ Programming Language (Bjarne Stroustrup / Addison-Wesley Pub (Sd))
数学文化〈002〉特集=数遊び・ことば遊び ( / 日本評論社)
Javaスレッド完全制覇 (標準プログラマーライブラリ) (村上列 / 技術評論社)
Prolog for Programmers (Apic Studies in Data Processing) (Feliks Kluzniak, Stanislaw Szpakowicz / Academic Pr)
Opengl Reference Manual: The Official Reference Document for Opengl, Release 1 (OTL) (OpenGL Architecture Review Board / Addison-Wesley (C))
The Gnu Emacs Lisp Reference Manual: Gnu Emacs Version 18 for Unix Users (Gnu Manual Group / Free Software Foundation)
Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory (Graduate Texts in Mathematics, 50) (Harold M. Edwards / Springer-Verlag)
コンピュータ科学者がめったに語らないこと (D・E・クヌース / エスアイビー・アクセス)
Principles of Functional Programming (Hugh Glaser, etc. / Pearson Education Limited)
Opengl Programming Guide: The Official Guide to Learning Opengl, Release 1 (Jackie Neider, Tom Davis, Mason Woo / Addison-Wesley (C))
GNU Emacs Manual Version 20 (Richard M. Stallman / Free Software Foundation)
UNIX 4.3BSDの設計と実装 (Samuel J. Leffler, Michael J. Karels, Marshall Kirk McKusick, John S. Quarterman / 丸善)
コンピュータ将棋の進歩〈2〉 (松原仁 / 共立出版)
数学文化―Journal of mathematical culture (第1号) (日本数学協会 / 日本評論社)
Javaグラフィクス完全制覇 (標準プログラマーズライブラリ) (芹沢浩 / 技術評論社)
Design and Implementation of the FreeBSD Operating System, The (Marshall Kirk Neville-Neil, George V. McKusick / Addison-Wesley Professional)
A Singular Introduction to Commutative Algebra (Gert-Martin Greuel, Gerhard Pfister / Springer)
LaTeX: A Document Preparation System (Addison-Wesley Series on Tools and Techniques for Computer T) (Leslie Lamport / Addison-Wesley Professional)
A Course in Computational Algebraic Number Theory (Graduate Texts in Mathematics) (Henri Cohen / Springer-Verlag)
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1) (Jean-Yves Girard / Humanities Pr)
数学文化〈007〉教育シンポジウム=こんな授業をやってみたい ( / 日本評論社)
The Powerpc Architecture: A Specification for a New Family of Risc Processors (Ed Sikha, Rick Simpson, Cathy May / Morgan Kaufmann Pub)
Implementations of PROLOG (J.A. Campbell / Ellis Horwood Ltd , Publisher)
定本続トランジスタ回路の設計―FET パワーMOS スイッチング回路を実験で解析 (鈴木雅臣 / CQ出版)
カラー版ハッブル望遠鏡が見た宇宙 (岩波新書) (野本陽代, ロバートウィリアムズ / 岩波書店)
Friendly Introduction to Number Theory, A (Joseph H. Silverman / Prentice Hall)
コーヒーが廻り世界史が廻る―近代市民社会の黒い血液 (中公新書) (臼井隆一郎 / 中央公論社)
FETアンプ製作集―やさしく作れるスーパーアンプ (窪田登司 / 誠文堂新光社)
プログラミング言語StandardML入門 (大堀淳 / 共立出版)
Garbage Collection: Algorithms for Automatic Dynamic Memory Management (Richard Jones, Rafael Lins / Wiley)
東大オタク学講座 (岡田斗司夫 / 講談社)
量子力学 (2) (物理学大系基礎物理篇 8) (朝永振一郎 / みすず書房)
リバーシのアルゴリズム C++&Java対応―「探索アルゴリズム」「評価関数」の設計と実装 (I・O BOOKS) (Seal Software / 工学社)
開拓者長岡鉄男 ([MOOK21]シリーズ) ( / 株式会社共同通信社)
初めてのPython 第2版 (マークルッツ, デイビッドアスカー / オライリージャパン)
「おたく」の精神史　一九八〇年代論 (大塚英志 / 講談社)
アマ4段を超える―コンピュータ将棋の進歩〈4〉 (松原仁 / 共立出版)
整数論―美しき円分体論・ベルヌーイ数への旅路 (山口周 / 産業図書)
最前線UNIXのカーネル (ユーレッシュヴァハリア / ピアソンエデュケーション)
Linuxカーネルインターナル (アスキーアジソンウェスレイシリーズ) (Michael Beck / ピアソン・エデュケーション)
π(パイ)のはなし (金田康正 / 東京図書)
思考ゲームプログラミング―オセロゲームのアルゴリズムと作成法 (アスキーブックス) (森田和郎, 国枝交子, 津田伸秀 / アスキー)
形式意味論入門―言語・論理・認知の世界 (白井賢一郎 / 産業図書)
コンピュータ将棋―あなたも挑戦してみませんか (Information & Computing) (小谷善行, 柿木義一, 吉川竹四郎, 森田和郎 / サイエンス社)
LISP (Patrick Henry Winston / Addison Wesley Longman Publishing Co)
Modula-2: A Software Development Approach (Gary Ford, Richard S. Wiener / Wiley)
オーディオDCアンプシステム―時空を超えた音楽再現〈上巻〉 (金田明彦 / 誠文堂新光社)
The CWEB System of Structured Documentation (Donald E. Knuth, Silvio Levy / Addison-Wesley Professional)

p-hisの本棚