hondana.org
本を探す

 

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

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