新品:

￥6,416

ポイント: 64pt (1%) 詳細はこちら

配送料 ¥257 4月13日-16日にお届け
詳細を見る

お届け先を選択

通常10～11日以内に発送します。在庫状況について

￥￥6,416 () 選択したオプションを含めます。最初の月の支払いと選択されたオプションが含まれています。詳細

出荷元

globebooks87

出荷元

globebooks87

販売元

globebooks87

（1411件の評価）

販売元

globebooks87

（1411件の評価）

支払い方法

お客様情報を保護しています

支払い方法

お客様情報を保護しています

Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。詳細はこちら

詳細はこちら

すべて見る

画像はありません

選択したカラーの画像がありません。
カラー：

このビデオを見るには、次をダウンロード Flash Player

著者をフォロー

Daniel P. Friedman

フォロー

The Reasoned Schemer (MIT Press) ペーパーバック – イラスト付き, 2018/3/2

英語版 Daniel P Friedman (著), William E Byrd (著), Oleg Kiselyov (著),

56

すべての形式と版を表示

{"desktop_buybox_group_1":[{"displayPrice":"￥6,416","priceAmount":6416.00,"currencySymbol":"￥","integerValue":"6,416","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"q3FKzrN%2Fj9hegkTzqDB%2B2veLQB9txiolVHSP6OLpANiRDHNkRiwrIFJUsOL0tiOIyforVfGiPod09in6xToAir03I17UmSz3KdGGPwqJQnQco6ejclvAO29cgy3IecvmFpXQ5rp4qQ55bwfS3VdkaaSjJaA6NbYE879K6ke%2FQJM30b3Tlc0KtEiqNU3OsoAy","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

購入オプションとあわせ買い

A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.

The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programming. The book shows how to implement a relational programming language in Scheme, or in any other functional language, and demonstrates the remarkable flexibility of the resulting relational programs. As in the first edition, the pedagogical method is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first five chapters of The Little Schemer is assumed.

For this second edition, the authors have greatly simplified the programming language used in the book, as well as the implementation of the language. In addition to revising the text extensively, and simplifying and revising the “Laws” and “Commandments,” they have added explicit “Translation” rules to ease translation of Scheme functions into relations.

この商品に関する問題を報告する

本の長さ

206ページ
言語

英語
出版社

MIT Press
発売日

2018/3/2
対象読者年齢

18 歳以上
寸法

22.61 x 17.53 x 1.02 cm
ISBN-10

0262535513
ISBN-13

978-0262535519
すべての詳細を表示

Daniel P. Friedman
64
ペーパーバック
24個の商品：￥6,334から
Daniel P. Friedman
24
ペーパーバック
25個の商品：￥3,900から
Daniel P. Friedman
134
ペーパーバック
28個の商品：￥4,776から
Daniel P. Friedman
24
ペーパーバック
28個の商品：￥6,331から
Daniel P. Friedman
20
ペーパーバック
22個の商品：￥9,153から
Harold Abelson
570
ペーパーバック
23個の商品：￥6,859から

商品の説明

レビュー

"Contrary to popular belief, logic programming doesn't always mean programming in Prolog. In this groundbreaking book, Friedman and Kiselyov extend Scheme to form a completely new kind of logic programming system, one which is in many ways even more elegant than Prolog. Written in the same classic question-and-answer format as the authors' previous book "The Little Schemer, The Reasoned Schemer" covers goals, first-class relations, interleaved and non-interleaved backtracking, the relationship between relational and functional programming, and much more. Reading this book will not only cause your geek rating to skyrocket and impress all the Cool Kids, it will also open your eyes to a paradigm of programming which most programmers are completely unaware of, but which will undoubtedly play a significant role in the programming systems of the future. More importantly, though, this book is great fun to read and will make you a better programmer."--Michael Vanier, Caltech

"Some programmers are particularly fascinated by new ways of thinking about programming and computation. But few programmers have much experience with logic programming, and fewer still understand its essence. There has never been a more engaging presentation of this material, or a clearer view all the way to the bottom. Like the other Little books, this book is sure to broaden your horizons. And in fact, this one has the broadest horizons yet."--Matt Hellige, Researcher, Accenture Technology Labs

"The Little books are unique in the way they combine deep and subtle ideas with hands-on humorous presentation. "The Reasoned Schemer, " the latest book in the series, is no exception. Friedman, Byrd, and Kiselyov provide a unique presentation of many of the ideas behind logic programming, which is developed as a natural--though subtle--extension of functional programming. For perfecting your programming skills and style you cannot do better than sit at the feet of Friedman and Kiselyov."--Ehud Lamm, Founder of 'Lambda the Ultimate, ' the programming languages weblog

著者について

Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann).

William E. Byrd is a scientist in the Department of Computer Science at the University of Alabama at Birmingham.

Oleg Kiselyov is Assistant Professor in the Graduate School of Information Sciences at Tohoku University, Japan.

Jason Hemann is a PhD candidate in the School of Informatics, Computing, and Engineering at Indiana University.

Gerald Jay Sussman is Panasonic Professor of Electrical Engineering at MIT.

登録情報

出版社 ‏ : ‎ MIT Press; 第2版 (2018/3/2)
発売日 ‏ : ‎ 2018/3/2
言語 ‏ : ‎ 英語
ペーパーバック ‏ : ‎ 206ページ
ISBN-10 ‏ : ‎ 0262535513
ISBN-13 ‏ : ‎ 978-0262535519
対象読者年齢 ‏ : ‎ 18 歳以上
寸法 ‏ : ‎ 22.61 x 17.53 x 1.02 cm

Amazon 売れ筋ランキング: - 226,172位洋書 (洋書の売れ筋ランキングを見る)
- - 137位Digital Law
- - 219位AI Robotics
- - 2,176位Computer Programming Language & Tool

カスタマーレビュー:
56

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。

Daniel P. Friedman

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

カスタマーレビュー

5つのうち4.4つ

56グローバルレーティング

この商品をレビュー

カスタマーレビューを書く

レビューのソート基準

上位レビュー、対象国：日本

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

roger

論理型プログラミングから学ぶ処理系作成

2008年10月3日に日本でレビュー済み

Amazonで購入

Schemerシリーズの中では前二著とは独立しています。著者のひとり Oleg Kiselyov 氏の作成した miniKANREN 上でのプログラミングを全編で行います。 miniKANREN は Scheme 上に構築した論理型言語で、DSL の形態になっています。 miniKANREN は Scheme と似た condi などが含まれており、これらを上手に使って Prolog の教科書で出てくるレッドカットやグリーンカット等を分かり易く解説しています。こういった例から論理型といっても手続きの評価順序の影響があることを理解できます。

読者として２つのグループを想定しているようです。ひとつは miniKANREN 上のプログラミングを通して論理型プログラミングを学ぶグループです。もうひとつは巻末の miniKANREN 作成から処理系の作成を学ぶグループです。前者の場合には予備知識は不要ですが、後者の場合にはマクロ等に関する深い知識が必要です。 SICP や On Lisp を読み終わっているぐらいの知識が必要だと思います。

自分のスキルアップとともに読み取れる内容がどんどん深くなっていくのが処理系作成の醍醐味です。自分の Scheme のスキルを確認するために何度か読み返してみると新しい発見ができる面白い本だと思います。Clause and Effect と一緒に読むと Prolog を学びやすいのでお勧めです。

11人のお客様がこれが役に立ったと考えています

役に立った

他の国からのトップレビュー

すべてのレビューを日本語に翻訳

Mac

Mind opening

2021年2月17日にイタリアでレビュー済み

Amazonで購入

Great. Fun.

レビューを日本語に翻訳する

Stephen Cagle

it is not as easy as that

2016年12月2日にアメリカ合衆国でレビュー済み

Amazonで購入

I gave this book 5 stars, but as this book is in a complete category of its own, that is kind of a technicality. The Reasoned Schemer is a book that introduces you to the notion, usage, and application of logic programming. It is entirely structured in a question/answer format, which slowly introduces you to all the base "control" structures you would need in logic programming.

Non logic programming basically works from the notion of imperative data flow. This is generally represented by the concept of a function. A function takes a argument and returns a value, it takes input variables and returns output variables. A logic program creates a relation (not a function) between a set of variables. If you had a two input function, with one output, you could represent this as a logic program relation of three variables. Two of those relation variables would be what were the two inputs to the function, the third variable would be the output of the function. Here is the kicker though. You can provide concrete values for any number of those variable in any order and ask the relation what the other variables might be. At the simplest level, this means that you might run your function "backwards" (from the output to the input). But really, it means that you can ask any question relating to those variables (conceptually). Now, realistically, it is not as easy as that. Some relations may never terminate (return a answer), some grow too large and barf (overflow), some may not complete for various other reasons. It can be more complex to actually write a logical relation than a function, this must be balanced against the fact that the relation is far more powerful than the function.

If you want a primer for logical programing, this book is probably worth your time. It takes you through writing many of the fundamental parts of a logical relation. The only thing I think it really skips is the actual unification (= x y) primitive itself, which I believe it uses as a given. You can learn quite a bit by reading this code slowly and carefully. Note however, that you must complete every step of the question/answer pairings! Skimming this book will not work (unless you already know it). Really, these concepts build on each other. It is a rather small (page number and physically) book, but it will take far more time to really go through then its size would suggest. Read and work through for the purpose of understanding, and I think you will really get a good backing in logic programming, and probably enjoy yourself as well!

Note: The above statements applied to the paper edition.

The Kindle version of this Book is pure garbage. Here I am, on a 2016 Macbook Pro with a Retina Display and I can barely read the damn thing. I tried reading on my Android, just awful. I tried on my Windows PC, same. A good deal of the information in this book is communicated by bolding and italics. These are incredibly difficult to see in the Kindle version. Shame on the publisher for releasing such an inferior thing to the public. Disappointed in Amazon for not enforcing minimum legibility standards on non free Kindle books. DO NOT EVEN CONSIDER BUYING THE KINDLE EDITION!

25人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

Benjamin Peter

Brauchbare Einführung in miniKanren und damit auch clojure core logic

2013年7月7日にドイツでレビュー済み

Amazonで購入

Ich habe mir dieses Buch gekauft um mehr über miniKanren zu lernen, da ich es in Form von clojure.core.logic verwenden möchte. Die online verfügbaren Dokumentationen dazu sind leider nicht sehr ergiebig oder greift an einer zu hohen Ebene an. Ich denke dieses Buch ist der Schlüssel, welcher diese Lücke füllt.

Das Buch erklärt leider nicht sehr viel in Prosa, es versucht eher die Welt von miniKanren durch viele Beispiele abzustecken, so wie man es in einer Deklarativen Sprache selbst machen würde. Es macht durchaus Spaß die Beispiele nachzuvollziehen und daraus zu lernen, erfordert aber noch einiges an Eigenleistung um es zu verstehen.

5人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

D. Kersten

I had to refund it because I couldn't read it (sadly I dont have perfect eyesight) and now have to wait for a print ...

2017年4月18日に英国でレビュー済み

Amazonで購入

This review is for the kindle version only. Its absolutely unreadable on my kindle paperwhite because the text is tiny and the font very "thin". You cannot make the text bigger. I had to refund it because I couldn't read it (sadly I dont have perfect eyesight) and now have to wait for a print copy :(

2人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

nanchen stanislas

Kindle Version unbrauchbar

2013年3月10日にドイツでレビュー済み

Amazonで購入

Leider ist die Kindle Version von diesem Buch unbrauchbar: fast jede Seite wird eigentlich als Bild dargestellt und es ist nicht möglich zu zoomen. Sehr entäuschend.

7人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

レビューをすべて見る

Amazon Advertising 商品の露出でお客様の関心と反応を引き出す	Audible（オーディブル）「聴く」読書会員なら聴き放題	アマゾンウェブサービス（AWS）クラウドコンピューティングサービス	Amazonアウトレット訳あり商品をお手頃価格で販売

Amazonビジネス（法人購買）請求書払い法人価格・数量割引	AmazonGlobal 65か国/地域以上への海外配送がより簡単に	Shopbop 世界中の厳選されたファッションアイテム

新品: ￥6,416

著者をフォロー

The Reasoned Schemer (MIT Press) ペーパーバック – イラスト付き, 2018/3/2

購入オプションとあわせ買い

この商品を買った人はこんな商品も買っています

商品の説明

レビュー

著者について

登録情報

著者について

Daniel P. Friedman

カスタマーレビュー

この商品をレビュー

上位レビュー、対象国： 日本

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

他の国からのトップレビュー

新品:

￥6,416

上位レビュー、対象国：日本