バックアップ
[
{
"title" : "DNAコンピュータ",
"isbn" : "4563015490",
"date" : "2005-05-08T05:19:50.000Z",
"publisher" : "培風館",
"authors" : "",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "プログラム検証論 (情報数学講座)",
"isbn" : "4320026586",
"date" : "2005-05-14T05:44:57.000Z",
"publisher" : "共立出版",
"authors" : "林 晋",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)",
"isbn" : "0521356539",
"date" : "2005-05-07T16:27:40.000Z",
"publisher" : "Cambridge University Press",
"authors" : "J. Lambek, P. J. Scott",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Categories for the Working Mathematician (Graduate Texts in Mathematics)",
"isbn" : "0387984038",
"date" : "2005-05-07T11:01:17.000Z",
"publisher" : "Springer",
"authors" : "Saunders Mac Lane",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Implementation of Functional Programming Language (Prentice Hall Series in Computer Science)",
"isbn" : "0134533259",
"date" : "2005-05-07T10:57:04.000Z",
"publisher" : "Prentice-Hall",
"authors" : "Simon L.Peyton Jones",
"categories" : "",
"score" : "",
"comment" : "Available scan image from:\nhttp://research.microsoft.com/Users/simonpj/papers/slpj-book-1987/"
},
{
"title" : "A Theory of Objects (Monographs in Computer Science)",
"isbn" : "0387947752",
"date" : "2005-05-07T11:25:06.000Z",
"publisher" : "Springer",
"authors" : "Martin Abadi, Luca Cardelli",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)",
"isbn" : "4764901846",
"date" : "2005-05-08T05:19:55.000Z",
"publisher" : "近代科学社",
"authors" : "高橋 正子",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Theoretical Aspects of Computer Software: Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings (Lecture Notes in Computer Science)",
"isbn" : "354063388X",
"date" : "2005-05-07T11:17:21.000Z",
"publisher" : "Springer",
"authors" : "",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "情報代数 (情報数学講座)",
"isbn" : "4320026527",
"date" : "2005-05-14T05:44:53.000Z",
"publisher" : "共立出版",
"authors" : "小野 寛晰",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "論理・代数・データベース―知の工学の基礎",
"isbn" : "4782851286",
"date" : "2005-05-08T04:24:11.000Z",
"publisher" : "産業図書",
"authors" : "ピーター グレイ",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "プログラム意味論 (情報数学講座)",
"isbn" : "4320026578",
"date" : "2005-05-14T05:44:49.000Z",
"publisher" : "共立出版",
"authors" : "横内 寛文",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)",
"isbn" : "0444501703",
"date" : "2005-07-19T11:51:51.000Z",
"publisher" : "Elsevier Science",
"authors" : "B. Jacobs",
"categories" : "",
"score" : "",
"comment" : "たぶん一生積読"
},
{
"title" : "圏論の基礎",
"isbn" : "4431708723",
"date" : "2005-07-19T11:53:23.000Z",
"publisher" : "シュプリンガー・フェアラーク東京",
"authors" : "S.マックレーン",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座)",
"isbn" : "4320023773",
"date" : "2005-05-08T04:23:50.000Z",
"publisher" : "共立出版",
"authors" : "井田 哲雄",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "構成的プログラミングの基礎",
"isbn" : "4795268673",
"date" : "2005-05-08T04:24:06.000Z",
"publisher" : "遊星社",
"authors" : "林 晋, 小林 聡",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)",
"isbn" : "0262011255",
"date" : "2005-05-07T13:49:52.000Z",
"publisher" : "The MIT Press",
"authors" : "Andrea Asperti, Giuseppe Longo",
"categories" : "",
"score" : "",
"comment" : "PDF available from:\nhttp://www.di.ens.fr/users/longo/download.html"
},
{
"title" : "数理論理学 (コンピュータ数学シリーズ)",
"isbn" : "4339025364",
"date" : "2005-05-08T04:24:04.000Z",
"publisher" : "コロナ社",
"authors" : "林 晋",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "DNAコンピューティング―新しい計算パラダイム",
"isbn" : "4431708154",
"date" : "2005-05-08T05:19:52.000Z",
"publisher" : "シュプリンガー・フェアラーク東京",
"authors" : "G. パウン, A. サローマ, G. ローゼンバーグ",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "情報科学における論理 (情報数学セミナー)",
"isbn" : "4535608148",
"date" : "2005-05-08T04:23:54.000Z",
"publisher" : "日本評論社",
"authors" : "小野 寛晰",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "関数プログラミング〈2〉JSSST’94 (レクチャノートソフトウェア学)",
"isbn" : "476490232X",
"date" : "2005-05-08T04:24:02.000Z",
"publisher" : "近代科学社",
"authors" : "",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "PX: A Computational Logic (Foundations of Computing)",
"isbn" : "0262081741",
"date" : "2005-05-08T05:20:51.000Z",
"publisher" : "The MIT Press",
"authors" : "Susumu Hayashi, Hiroshi Nakano",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "プログラミング言語の基礎理論 (情報数学講座)",
"isbn" : "4320026594",
"date" : "2005-05-14T05:44:50.000Z",
"publisher" : "共立出版",
"authors" : "大堀 淳",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides)",
"isbn" : "0198501277",
"date" : "2005-05-08T04:26:58.000Z",
"publisher" : "Oxford Univ Pr on Demand",
"authors" : "",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "自然言語・意味論・論理",
"isbn" : "4320029089",
"date" : "2005-05-14T05:44:55.000Z",
"publisher" : "共立出版",
"authors" : "赤間 世紀",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "関数プログラミング JSSST’91 (レクチャーノート ソフトウェア学)",
"isbn" : "4764902036",
"date" : "2005-05-08T04:24:01.000Z",
"publisher" : "近代科学社",
"authors" : "",
"categories" : "",
"score" : "",
"comment" : ""
},
{
"title" : "Basic Category Theory for Computer Scientists (Foundations of Computing)",
"isbn" : "0262660717",
"date" : "2005-05-07T10:58:39.000Z",
"publisher" : "The MIT Press",
"authors" : "Benjamin C. Pierce",
"categories" : "",
"score" : "",
"comment" : ""
}
]
