hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

(13/477)冊
Fms
入門X Window (Ascii books)
入門X Window (Ascii books)
著者: 松田 晃一, 暦本 純一
出版社: ASCII
評価:
カテゴリ:
コメント:
関連本棚: p-his yusasa ogijun
Fms
たのしいUNIX―UNIXへの招待 (Ascii books)
たのしいUNIX―UNIXへの招待 (Ascii books)
著者: 坂本 文
出版社: アスキー
評価:
カテゴリ:
コメント:
関連本棚: ichiyu Akira51 SieSta p-his derya tanaka 尊 wac TEM anot られれ ６期生 コンマ yasunari matznaga ごま juroku いーさん SBA tasario suchi
Fms
ゲーデルの不完全性定理
ゲーデルの不完全性定理
著者: レイモンド スマリヤン
出版社: 丸善
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his yashihara 雑食 toshiharu 羽尻 matznaga
Fms
連続体仮説
連続体仮説
著者: P.J. コーヘン
出版社: 東京図書
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
証明論入門
証明論入門
著者: 竹内 外史, 八杉 満利子
出版社: 共立出版
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
著者: Jean-Yves Girard
出版社: Humanities Pr
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
数理論理学とタイプ理論―証明による真理へ
数理論理学とタイプ理論―証明による真理へ
著者: ピーター アンドリュース
出版社: 丸善
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
Introduction to Mathematical Logic and Type Theory (Computer Science and Applied Mathematics)
Introduction to Mathematical Logic and Type Theory (Computer Science and Applied Mathematics)
著者: Peter B. Andrews
出版社: Academic Pr
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
From Frege to Goedel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in the History of the Sciences)
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
評価:
カテゴリ: 論理学
コメント:
関連本棚: p-his
Fms
Metamagical Themas: Questing for the Essence of Mind and Pattern
Metamagical Themas: Questing for the Essence of Mind and Pattern
著者: Douglas R. Hofstadter
出版社: Penguin Books Ltd
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: p-his
Fms
π(パイ)のはなし
π(パイ)のはなし
著者: 金田 康正
出版社: 東京図書
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: p-his kare
Fms
メタマジック・ゲーム―科学と芸術のジグソーパズル
メタマジック・ゲーム―科学と芸術のジグソーパズル
著者: 竹内 郁雄, 斉藤 康己, 片桐 恭弘, ダグラス・R. ホフスタッター, Douglas R. Hofstadter
出版社: 白揚社
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: つとめさき shigeya p-his 岸リトル ωアンテナ Fomal Haut NiC miwalogos matznaga null パズルとマジック miyano
Fms
MMIXware: A RISC Computer for the Third Millennium (Lecture Notes in Computer Science)
MMIXware: A RISC Computer for the Third Millennium (Lecture Notes in Computer Science)
著者: Donald E. Knuth
出版社: Springer
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: p-his おせの本棚
Fms
Geometric Modular Forms and Elliptic Curves
Geometric Modular Forms and Elliptic Curves
著者: Haruzo Hida
出版社: World Scientific Pub Co Inc
評価:
カテゴリ: 楕円曲線論
コメント:
関連本棚: p-his
Fms
ゲームプログラミング
ゲームプログラミング
著者:
出版社: 共立出版
評価:
カテゴリ: 計算機科学
コメント:
関連本棚: p-his イヒ
Fms
Elliptic Curves in Cryptography (London Mathematical Society Lecture Note Series)
Elliptic Curves in Cryptography (London Mathematical Society Lecture Note Series)
著者: I. Blake, G. Seroussi, N. Smart
出版社: Cambridge University Press
評価:
カテゴリ: 楕円曲線論
コメント:
関連本棚: p-his おせの本棚
Fms
The Geometry of Schemes (Graduate Texts in Mathematics)
The Geometry of Schemes (Graduate Texts in Mathematics)
著者: David Eisenbud, Joe Harris
出版社: Springer
評価:
カテゴリ: 代数幾何
コメント:
関連本棚: p-his
Fms
Rational Points on Curves over Finite Fields: Theory and Applications (London Mathematical Society Lecture Note Series)
Rational Points on Curves over Finite Fields: Theory and Applications (London Mathematical Society Lecture Note Series)
著者: Harald Niederreiter, Chaoping Xing
出版社: Cambridge University Press
評価:
カテゴリ: 楕円曲線論
コメント:
関連本棚: p-his
Fms
A Course in Computational Algebraic Number Theory (Graduate Texts in Mathematics)
A Course in Computational Algebraic Number Theory (Graduate Texts in Mathematics)
著者: Henri Cohen
出版社: Springer-Verlag
評価:
カテゴリ: 数論アルゴリズム
コメント:
関連本棚: p-his
Fms
Solaris8 サーバ構築ガイド―理論・実践・応用
Solaris8 サーバ構築ガイド―理論・実践・応用
著者: 井上 亜潮
出版社: 秀和システム
評価:
カテゴリ:
コメント:
関連本棚: p-his seiichi
Fms