本を探す
Scrapbox
書籍追加
|
本棚情報変更
|
名前変更/本棚削除
|
ヘルプ
|
ランダム
@tkの本棚
|
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
(12/12)冊
プログラム検証論 (情報数学講座)
著者:
林 晋
出版社:
共立出版
評価:
カテゴリ:
コメント:
形式手法に関する数少ない入門書。<BR> 学生だけでなく,一般のソフトウェア技術者に対する配慮もなされてます。
関連本棚:
Calculi
soutaro
kuwa
@tk
tasario
プログラミング言語StandardML入門
著者:
大堀 淳
出版社:
共立出版
評価:
カテゴリ:
コメント:
これが関数型言語との出会いでした。TeXで論文調なところがまたいい。
関連本棚:
p-his
cs
tanaka
it-main
rero
@tk
kunishi
ゲーデルの世界―その生涯と論理
著者:
ジョン・L. カスティ, ヴェルナー デパウリ
出版社:
青土社
評価:
カテゴリ:
コメント:
論理の不完全性を人間の直観の勝利とみなす発想は新鮮だった。
関連本棚:
@tk
ゲーデルは何を証明したか―数学から超数学へ
著者:
E. ナーゲル, J.R. ニューマン
出版社:
白揚社
評価:
カテゴリ:
コメント:
コンパクトにまとまっている。ただ2200円は高いかな。中高生に読んで欲しいだけに。
関連本棚:
stonechild
@tk
ystt
ライフゲイムの宇宙
著者:
ウィリアム・パウンドストーン, William Poundstone
出版社:
日本評論社
評価:
カテゴリ:
コメント:
読み物として最高に面白いし子供が読むにも最適。<BR> ちなみにeaterが好みです。
関連本棚:
rui
増井
れれれ
羽尻
minek
@tk
suchi
doax
計算可能性・計算の複雑さ入門 (アルゴリズムシリーズ)
著者:
渡辺 治
出版社:
近代科学社
評価:
カテゴリ:
コメント:
講義録のような文体で親しみやすく,説明も平易です。<BR> それでいて議論の厳密さも失われていません。
関連本棚:
Taku
@tk
嗤う日本の「ナショナリズム」 (NHKブックス)
著者:
北田 暁大
出版社:
日本放送出版協会
評価:
カテゴリ:
コメント:
序章の2chネタは余計かな。
関連本棚:
文化とアイデンティティ
岸リトル
米示
中二階
井上裕太
GRA
mine
eggman
kw
@tk
kw+hg
Teo
NHKブックス
takanofumio_hatena
磁力と重力の発見〈1〉古代・中世
著者:
山本 義隆
出版社:
みすず書房
評価:
カテゴリ:
コメント:
これを読むと,現代に生きる我々の自然理解もたいしたものではないと思えてくる。
関連本棚:
つとめさき
neanias
hogehoge2
toshiharu
sakai
Azu
かえさんの未来
@tk
山形Fan
野澤真一
go.tekuteku
ogijun
tasario
19750708
岸リトル
uru
Fomal Haut
情報科学における論理 (情報数学セミナー)
著者:
小野 寛晰
出版社:
日本評論社
評価:
カテゴリ:
コメント:
演習問題の難易度が手ごろで,独学に向いています。
関連本棚:
nobsun2006
unnonouno
naoki_afif
kuwa
Taku
スハカ2005
tanaka
prime_no_132nd
Felio
Calculi
minkewhale
@tk
tasario
blackbird
Concurrency: State Models & Java Programs (Worldwide Series in Computer Science)
著者:
Jeff Magee, Jeff Kramer
出版社:
Wiley
評価:
カテゴリ:
コメント:
並行プログラミングの入門書としては他に類を見ない出来です。<BR> 偏執的なほどに読者のことを考慮した構成になっています。ちょっとくさいけど。
関連本棚:
@tk
ソフトウェア・テストの技法
著者:
G.J. マイヤーズ
出版社:
近代科学社
評価:
カテゴリ:
コメント:
昔の本だが内容は古くない。 逆にそれが悲しいところではあるが。
関連本棚:
terukat
kmdtty
mitu
makotan
WR
@tk
かなびず
suchi
The Monopoly Companion: The Player's Guide : The Game from A to Z, Winning Tips, Trivia
著者:
Philip Orbanes
出版社:
Adams Media Corp
評価:
カテゴリ:
コメント:
ダークブルーってそんなにいいか?
関連本棚:
@tk
|
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト