[ { "title" : "プログラミング言語StandardML入門", "isbn" : "4320120248", "date" : "2005-07-08T18:36:05.000Z", "publisher" : "共立出版", "authors" : "大堀 淳", "categories" : "関数型言語", "score" : "10", "comment" : "フォーマルメソッドの入り口。" } ]