バックアップ
[
{
"title" : "プログラム検証論 (情報数学講座)",
"isbn" : "4320026586",
"date" : "2005-08-01T11:12:38.000Z",
"publisher" : "共立出版",
"authors" : "林 晋",
"categories" : "",
"score" : "",
"comment" : "形式手法に関する数少ない入門書。\u003cBR\u003e\n学生だけでなく，一般のソフトウェア技術者に対する配慮もなされてます。"
},
{
"title" : "プログラミング言語StandardML入門",
"isbn" : "4320120248",
"date" : "2005-08-05T10:51:38.000Z",
"publisher" : "共立出版",
"authors" : "大堀 淳",
"categories" : "",
"score" : "",
"comment" : "これが関数型言語との出会いでした。TeXで論文調なところがまたいい。"
},
{
"title" : "ゲーデルの世界―その生涯と論理",
"isbn" : "4791760115",
"date" : "2005-08-05T10:17:43.000Z",
"publisher" : "青土社",
"authors" : "ジョン・L. カスティ, ヴェルナー デパウリ",
"categories" : "",
"score" : "",
"comment" : "論理の不完全性を人間の直観の勝利とみなす発想は新鮮だった。"
},
{
"title" : "ゲーデルは何を証明したか―数学から超数学へ",
"isbn" : "4826900872",
"date" : "2005-08-05T10:21:08.000Z",
"publisher" : "白揚社",
"authors" : "E. ナーゲル, J.R. ニューマン",
"categories" : "",
"score" : "",
"comment" : "コンパクトにまとまっている。ただ2200円は高いかな。中高生に読んで欲しいだけに。"
},
{
"title" : "ライフゲイムの宇宙",
"isbn" : "4535783837",
"date" : "2005-08-01T11:33:19.000Z",
"publisher" : "日本評論社",
"authors" : "ウィリアム・パウンドストーン, William Poundstone",
"categories" : "",
"score" : "",
"comment" : "読み物として最高に面白いし子供が読むにも最適。\u003cBR\u003e\nちなみにeaterが好みです。"
},
{
"title" : "計算可能性・計算の複雑さ入門 (アルゴリズムシリーズ)",
"isbn" : "4764902001",
"date" : "2005-08-01T11:22:24.000Z",
"publisher" : "近代科学社",
"authors" : "渡辺 治",
"categories" : "",
"score" : "",
"comment" : "講義録のような文体で親しみやすく，説明も平易です。\u003cBR\u003e\nそれでいて議論の厳密さも失われていません。"
},
{
"title" : "嗤う日本の「ナショナリズム」 (NHKブックス)",
"isbn" : "4140910240",
"date" : "2005-08-05T10:28:09.000Z",
"publisher" : "日本放送出版協会",
"authors" : "北田 暁大",
"categories" : "",
"score" : "",
"comment" : "序章の2chネタは余計かな。"
},
{
"title" : "磁力と重力の発見〈1〉古代・中世",
"isbn" : "4622080311",
"date" : "2005-08-05T10:32:32.000Z",
"publisher" : "みすず書房",
"authors" : "山本 義隆",
"categories" : "",
"score" : "",
"comment" : "これを読むと，現代に生きる我々の自然理解もたいしたものではないと思えてくる。"
},
{
"title" : "情報科学における論理 (情報数学セミナー)",
"isbn" : "4535608148",
"date" : "2005-08-01T12:18:59.000Z",
"publisher" : "日本評論社",
"authors" : "小野 寛晰",
"categories" : "",
"score" : "",
"comment" : "演習問題の難易度が手ごろで，独学に向いています。"
},
{
"title" : "Concurrency: State Models \u0026 Java Programs (Worldwide Series in Computer Science)",
"isbn" : "0471987107",
"date" : "2005-08-05T10:10:11.000Z",
"publisher" : "Wiley",
"authors" : "Jeff Magee, Jeff Kramer",
"categories" : "",
"score" : "",
"comment" : "並行プログラミングの入門書としては他に類を見ない出来です。\u003cBR\u003e\n偏執的なほどに読者のことを考慮した構成になっています。ちょっとくさいけど。"
},
{
"title" : "ソフトウェア・テストの技法",
"isbn" : "4764900599",
"date" : "2005-08-01T10:41:28.000Z",
"publisher" : "近代科学社",
"authors" : "G.J. マイヤーズ",
"categories" : "",
"score" : "",
"comment" : "昔の本だが内容は古くない。\n逆にそれが悲しいところではあるが。"
},
{
"title" : "The Monopoly Companion: The Player's Guide : The Game from A to Z, Winning Tips, Trivia",
"isbn" : "1580621759",
"date" : "2005-08-05T10:57:42.000Z",
"publisher" : "Adams Media Corp",
"authors" : "Philip Orbanes",
"categories" : "",
"score" : "",
"comment" : "ダークブルーってそんなにいいか？"
}
]
