本を探す
Scrapbox
書籍追加
|
本棚情報変更
|
名前変更/本棚削除
|
ヘルプ
|
ランダム
p-his
の本棚
手持ちの本の整理に役立てています。
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
計算機科学
書籍変更
|
カテゴリ名変更／削除
|
テキスト表示
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
著者:
萩原 学
出版社:
森北出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
kuwa
p-his
モトローラ 6800伝説
著者:
鈴木哲哉
出版社:
ラトルズ
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
増井
p-his
スパコンとは何か (ウェッジ選書46)
著者:
金田 康正
出版社:
ウェッジ
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
コンピュータ囲碁 ―モンテカルロ法の理論と実践―
著者:
美添 一樹, 山下 宏
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
blackbird
p-his
コンピュータ将棋の進歩 6 -プロ棋士に並ぶ-
著者:
松原 仁
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
コンピュータ囲碁の入門
著者:
清 愼一, 佐々木 宣介, 山下 宏
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
mie
minek
soutaro
p-his
blackbird
ゲーデル,エッシャー,バッハ―あるいは不思議の環
著者:
野崎 昭弘, はやし はじめ, 柳瀬 尚紀
出版社:
白揚社
評価:
★
カテゴリ:
計算機科学
コメント:
関連本棚:
たんご
つとめさき
p-his
ねおき
The Pulitzer Prizes
おせの本棚
ωアンテナ
rui
eiko-a
増井
giftig-engel
m-use
Fomal Haut
ぷー
carver
のらねこ兵☆２
muziyoshiz
のん
kanade_tt
toshiharu
kid_rock
veri
minek
DWEI
mrmt
NiC
五十嵐研究室
teru
pants03a
walkinglint
Mike
gniibe
miwalogos
matznaga
stonechild
結城浩
l-v-l
miyano
uru
ystt
nobsun-old
ento
マイ・コレクション
dateofrock
maeda
kunishi
kzk2009
ogijun
hirune
アマトップクラスに迫る―コンピュータ将棋の進歩〈5〉
著者:
松原 仁
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
matznaga
p-his
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
評価:
★
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
コンピュータ将棋のアルゴリズム―最強アルゴリズムの探求とプログラミング (I・O BOOKS)
著者:
池 泰弘
出版社:
工学社
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
The Definition of Standard ML
The Definition of Standard ML
著者:
Robin Milner, Mads Tofte, Robert Harper
出版社:
The MIT Press
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
The Powerpc Architecture: A Specification for a New Family of Risc Processors
著者:
Ed Sikha, Rick Simpson, Cathy May
出版社:
Morgan Kaufmann Pub
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
コンピュータチェス―世界チャンピオンへの挑戦 (Information & Computing)
著者:
D. リービ, M. ニューボーン
出版社:
サイエンス社
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
null
Kasparov Versus Deep Blue: Computer Chess Comes of Age
著者:
Monroe Newborn, Monty Newborn
出版社:
Springer-Verlag New York Inc (C)
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
ACMチューリング賞講演集
ACMチューリング賞講演集
著者:
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
m
p-his
nao@netlab.jp
Y.nabe
ひがき
形式意味論入門―言語・論理・認知の世界
著者:
白井 賢一郎
出版社:
産業図書
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
spi
shaolin
羽尻
LaTeX: A Document Preparation System (Addison-Wesley Series on Tools and Techniques for Computer T)
著者:
Leslie Lamport
出版社:
Addison-Wesley Professional
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
h.kakugawa
p-his
psi
take3
The CWEB System of Structured Documentation
著者:
Donald E. Knuth, Silvio Levy
出版社:
Addison-Wesley Professional
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
結城浩
TEX(テック)ブック―コンピュータによる組版システム (アスキー・電子出版シリーズ)
著者:
ドナルド・E. クヌース
出版社:
アスキー
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
yusasa
Y.nabe
arrow
Queso
ひがき
TeX
dateofrock
ogijun
METAFONTブック―タイポグラファのためのプログラミング言語 (アスキー・電子出版シリーズ)
著者:
ドナルド・E. クヌース
出版社:
ASCII
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
ksh
ひがき
naga
TeX
kunishi
suchi
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
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
h.kakugawa
p-his
svslab
TeX
Garbage Collection: Algorithms for Automatic Dynamic Memory Management
著者:
Richard Jones, Rafael Lins
出版社:
Wiley
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
kazama
gniibe
Essentials of Programming Languages
著者:
Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
出版社:
The MIT Press
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
Lisp
著者:
Patrick Winston, Berthold Horn
出版社:
Addison Wesley
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
shigeru
skimu
LISP
LISP
著者:
Patrick Henry Winston
出版社:
Addison Wesley Longman Publishing Co
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
ソフトウェア千夜一夜物語
著者:
Themsky
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
masso
zorac_tech
ひがき
matznaga
計算幾何学 (情報数学講座)
著者:
今井 浩, 今井 桂子
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
AshLama
コンピュータ将棋の進歩〈2〉
著者:
松原 仁
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
イヒ
コンピュータ将棋の進歩
著者:
松原 仁
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
イヒ
コンピュータ将棋―あなたも挑戦してみませんか (Information & Computing)
コンピュータ将棋―あなたも挑戦してみませんか (Information & Computing)
著者:
小谷 善行, 柿木 義一, 吉川 竹四郎, 森田 和郎
出版社:
サイエンス社
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
将棋とコンピュータ (情報フロンテイアシリーズ)
著者:
松原 仁
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
it-aux
思考ゲームプログラミング―オセロゲームのアルゴリズムと作成法 (アスキーブックス)
思考ゲームプログラミング―オセロゲームのアルゴリズムと作成法 (アスキーブックス)
著者:
森田 和郎, 国枝 交子, 津田 伸秀
出版社:
アスキー
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
shigeya
p-his
pochitto
Principles of Compiler Design
Principles of Compiler Design
著者:
Alfred V. Aho, Jeffrey D. Ullman
出版社:
Addison Wesley World Student Series
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
並列アルゴリズム―理論と設計
著者:
宮野 悟
出版社:
近代科学社
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
suchi
プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座)
著者:
井田 哲雄
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
Calculi
The Art of Computer Programming: Fundamental Algorithms v.1 (World Student)
著者:
Donald E. Knuth
出版社:
Addison Wesley
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
Puppet Master
Principles of Functional Programming
Principles of Functional Programming
著者:
Hugh Glaser, etc.
出版社:
Pearson Education Limited
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
Functional Programming (International Computer Science Series)
Functional Programming (International Computer Science Series)
著者:
Anthony J. Field, Peter Harrison
出版社:
Addison-Wesley
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
Retargetable C Compiler, A: Design and Implementation
著者:
David R. Fraser, Christopher W. Hanson
出版社:
Addison-Wesley Professional
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
nao@netlab.jp
並列論理型言語GHCとその応用 (知識情報処理シリーズ)
著者:
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
it-aux
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
π(パイ)のはなし
π(パイ)のはなし
著者:
金田 康正
出版社:
東京図書
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
kare
メタマジック・ゲーム―科学と芸術のジグソーパズル
メタマジック・ゲーム―科学と芸術のジグソーパズル
著者:
竹内 郁雄, 斉藤 康己, 片桐 恭弘, ダグラス・R. ホフスタッター, Douglas R. Hofstadter
出版社:
白揚社
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
つとめさき
shigeya
p-his
岸リトル
ωアンテナ
Fomal Haut
NiC
miwalogos
matznaga
null
パズルとマジック
miyano
MMIXware: A RISC Computer for the Third Millennium (Lecture Notes in Computer Science)
著者:
Donald E. Knuth
出版社:
Springer
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
おせの本棚
ゲームプログラミング
著者:
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
イヒ
コンピュータ囲碁GREAT―プログラムの作り方とネット対局の実際
著者:
吉川 竹四郎
出版社:
エスアイビーアクセス
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
夜空の下
Computers & Typesetting, Volume B: TeX: The Program (Computers and Typesetting)
著者:
Donald E. Knuth
出版社:
Addison-Wesley Professional
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
shigeya
h.kakugawa
p-his
blackbird
gniibe
Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)
著者:
Harold Abelson, Gerald Jay Sussman
出版社:
The MIT Press
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
おせの本棚
yagiey
wirepuller
kitt
soutaro
Puppet Master
RogueEngineer
kunishi
コンピュータは名人を超えられるか (岩波科学ライブラリー (90))
著者:
飯田 弘之
出版社:
岩波書店
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
リバーシのアルゴリズム C++&Java対応―「探索アルゴリズム」「評価関数」の設計と実装 (I・O BOOKS)
著者:
Seal Software
出版社:
工学社
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
p-his
夜空の下
増井
あぶら
☆1
minek
アマ4段を超える―コンピュータ将棋の進歩〈4〉
著者:
松原 仁
出版社:
共立出版
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
m
p-his
alcus
Y.nabe
コンピュータ科学者がめったに語らないこと
著者:
D・E・クヌース
出版社:
エスアイビー・アクセス
評価:
カテゴリ:
計算機科学
コメント:
関連本棚:
gawash
Spiegel
p-his
みわ
おせの本棚
Jane
svslab
h12o
dainichiro
xcda
岸リトル
KNM
m-use
masso
naoya_t
まなぶ
６期生
Junichiro
寺脇 犬
うち
yasunari
りょうせい
soutaro
AsO
結城浩
K-To
asdfeep
doax
tamio
suchi
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
