新品:
￥3,740 税込
ポイント: 225pt  (6%)
無料配送 5月29日 水曜日にお届け
発送元: Amazon.co.jp
販売者: Amazon.co.jp
￥3,740 税込
ポイント: 225pt  (6%)  詳細はこちら
無料配送 5月29日 水曜日にお届け
詳細を見る
または 最も早い配送 本日中にお届け（1 時間 53 分以内にご注文の場合）
詳細を見る
残り7点（入荷予定あり） 在庫状況について
￥￥3,740 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥3,740
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
出荷元
Amazon.co.jp
出荷元
Amazon.co.jp
販売元
Amazon.co.jp
販売元
Amazon.co.jp
支払い方法
お客様情報を保護しています
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
支払い方法
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
￥1,778 税込
◆購入者様の送料負担はありません。 ◆アルコールクリーニング済みです。 ◆厚さ3センチ以内の商品はヤマト運輸のネコポスでの発送となります。 ◆24時間以内の出荷となりますが、稀に手続き不備などにより遅れる場合があります。 ◆土日祝日も出荷となります。 ◆中古品のためご使用に影響ない程度の経年劣化、キズ、汚れなどがある場合がございます。 また検品の際に気づかなかった書き込みがある場合がございます。 慎重な検品を心がけておりますが、予めご了承いただくよう宜しくお願いいたします。 ◆帯や商品内のクーポン券などをお付けできる保証はございません。 ◆付属品がある商品で本説明に付属の記載がない場合、限定・初回・付録などの表記があっても特典や内容物はないものとなります。 ◆購入者様の送料負担はありません。 ◆アルコールクリーニング済みです。 ◆厚さ3センチ以内の商品はヤマト運輸のネコポスでの発送となります。 ◆24時間以内の出荷となりますが、稀に手続き不備などにより遅れる場合があります。 ◆土日祝日も出荷となります。 ◆中古品のためご使用に影響ない程度の経年劣化、キズ、汚れなどがある場合がございます。 また検品の際に気づかなかった書き込みがある場合がございます。 慎重な検品を心がけておりますが、予めご了承いただくよう宜しくお願いいたします。 ◆帯や商品内のクーポン券などをお付けできる保証はございません。 ◆付属品がある商品で本説明に付属の記載がない場合、限定・初回・付録などの表記があっても特典や内容物はないものとなります。 一部を表示
無料配送 5月29日 水曜日にお届け（21 時間 23 分以内にご注文の場合）
詳細を見る
残り1点 ご注文はお早めに 在庫状況について
￥￥3,740 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥3,740
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
この商品は、MM市場 が販売、発送します。
Kindleアプリのロゴ画像

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。

ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。

携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。

KindleアプリをダウンロードするためのQRコード

著者をフォロー

高橋 正子
+ フォロー
この著者の他の本
何か問題が発生しました。後で再度リクエストしてください。

計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24) 単行本 – 1991/8/1

4.3 5つ星のうち4.3 11個の評価
すべての形式と版を表示
{"desktop_buybox_group_1":[{"displayPrice":"￥3,740","priceAmount":3740.00,"currencySymbol":"￥","integerValue":"3,740","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"Wo3OwxYV2wztXHIQSlIGe%2BZg3NkHpq5oWpGAvngrDeN3wWYSZT1sitUTE8tESl2r%2BX4B%2FhM8koB%2Fpc80KSVodVaV3e4U11qllqseKl8uX%2BAUzyLj%2FaQUDi8hS4f5%2BOsj","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"￥1,778","priceAmount":1778.00,"currencySymbol":"￥","integerValue":"1,778","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"Wo3OwxYV2wztXHIQSlIGe%2BZg3NkHpq5oIPGZhkfPJlJWzeUAskPjaDAgLkKuGcK6P%2Ftkj1ihiw0umGZSRRHRWbykOyQnY4zZsmMRwd1Ep9tJ%2Bg0FbeTEuPNiPTBiv7vml8Iryav3alDNSeSpfg4gmv%2Fyv4u6uJVJ1rpX9fSXohcH1A5S07UKdo8fR72KAO%2BB","locale":"ja-JP","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}

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

Previous page
  1. ISBN-10
    4764901846
  2. ISBN-13
    978-4764901841
  3. 出版社
    近代科学社
  4. 発売日
    1991/8/1
  5. 言語
    日本語
  6. 本の長さ
    191ページ
  7. すべての詳細を表示
Next page

よく一緒に購入されている商品

計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24)
￥3,740
225ポイント(6%)
最短で5月29日 水曜日のお届け予定です
残り7点（入荷予定あり）
この商品は、Amazon.co.jpが販売および発送します。
+
論理と計算のしくみ
￥4,510
45ポイント(1%)
最短で5月29日 水曜日のお届け予定です
在庫あり。
この商品は、Amazon.co.jpが販売および発送します。
+
情報数学講座 (第7巻)
￥4,070
245ポイント(6%)
最短で5月29日 水曜日のお届け予定です
残り5点（入荷予定あり）
この商品は、Amazon.co.jpが販売および発送します。
総額:
当社の価格を見るには、これら商品をカートに追加してください。
ポイントの合計: pt
詳細
追加されました
spCSRF_Control
これらの商品のうちのいくつかが他の商品より先に発送されます。
詳細の表示 詳細の非表示
一緒に購入する商品を選択してください。

商品の説明

内容（「MARC」データベースより）

計算とは何か、計算できる関数全体は数学的にどのような構造をもっているか、などといった問題について考察する。

登録情報

  • 出版社 ‏ : ‎ 近代科学社 (1991/8/1)
  • 発売日 ‏ : ‎ 1991/8/1
  • 言語 ‏ : ‎ 日本語
  • 単行本 ‏ : ‎ 191ページ
  • ISBN-10 ‏ : ‎ 4764901846
  • ISBN-13 ‏ : ‎ 978-4764901841
  • カスタマーレビュー:
    4.3 5つ星のうち4.3 11個の評価

著者について

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

高橋 正子

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

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

カスタマーレビュー

星5つ中4.3つ
5つのうち4.3つ
11グローバルレーティング

この商品をレビュー

他のお客様にも意見を伝えましょう
カスタマーレビューを書く

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

山田太郎
5つ星のうち5.0 薄くて簡潔にまとまってるいるがゆえに難しい
2023年9月22日に日本でレビュー済み
Amazonで購入
ラムダ計算についてはこの本が初めて読む本ですが、
一人で読みながら一通り目を通したので、レビューを書きます

1章 計算可能な関数
簡潔に短くまとめられてる。初学者でも読めるようにできていると思う
2章 λ計算の基礎
最初は難しかったが慣れていけば、分かる
3章 λ計算のモデル
途中から難しくて理解できなかった。モデルの全体像を捉えることができなかった
全体を通して
問題の答えがないものもある
3人のお客様がこれが役に立ったと考えています
役に立った
 レポート
ex-phenomenologist
5つ星のうち5.0 ラムダ計算のモデル論への最適な入門書
2008年9月19日に日本でレビュー済み
Amazonで購入
帰納関数論、λ計算、λ計算のモデルを扱う入門書。読んでいて非常に楽しかった。

確かに難しいところも多々ある。λ計算をまったく知らない人が読んでいけるとは思えない。私も分からなくなって数ヶ月放置し、他の本で別の説明を読んでから読み直したりした。

各項目にうまくつながりをつけるように書いてある。特にD∞を導入するあたりは最高。天下り的にD∞を導入するのではない。λ計算のモデルとはそもそもどういうものになるか、と一般的に考えた後、D∞を提示していく。これによってλのタームがどのような役割を担ったものなのか、λ計算がいったい何を表現しようとしているのか納得が行く。

非常にうまく書かれている本とはいえ、独習者にはきつい。読書会やゼミのテキストとして活用できる本だろう。
30人のお客様がこれが役に立ったと考えています
役に立った
 レポート
yoshik-y
5つ星のうち5.0 素晴らしい入門書
2010年6月19日に日本でレビュー済み
Amazonで購入
　この分野においては、全く説明になっていないエッセイまがいのページだけの多い本か、やたら難しくてどうしようもない本がほとんどである。つまり、独習者向きの本が殆どないのだ。そんな中で、この本は入門書として優れている。難易度は高くないのだが、しっかりと証明と説明が書かれており、この一冊だけで必要十分と言っても言い過ぎではない。
　読むのに難しいと感じるようであれば、計算論に手を出す前に、基礎的な数学の勉強が必要だろう。普通に計算論の勉強をしようというレベルの人には、全く文句なしに薦められる良書だ。
30人のお客様がこれが役に立ったと考えています
役に立った
 レポート
kaizen
5つ星のうち5.0 十分難しい
2008年4月4日に日本でレビュー済み
最初に割り算と引き算について、自然数で閉じるように定義をしている。
次ぎに、ユークリッドの互除法の原理の説明がある。
gcd(x,y) = gcd(y,mod(x,y)) if (y>0)
= x (y=0)
いきなりmod関数を使っている。
１．６計算不可能な関数と決定不能な問題で、
「帰納的述語ではない」ということと、計算不可能という関係がよくわからなかった。
決定不能な問題としては、Postの対応問題、Hilbertの第１０問題の紹介があるが、証明は省略されている。参考文献として、廣瀬健の帰納的関数が参考文献にある。
10人のお客様がこれが役に立ったと考えています
役に立った
 レポート
うすしお
5つ星のうち5.0 入門書として最高の一冊
2002年8月26日に日本でレビュー済み
「コンピュータで計算ができる関数とはいかなるものか？」というモチベーションからスタートして、その概念を厳密に定式化する。また抽象化されたプログラミング言語であるラムダ計算を全くの基礎から解説し、計算可能性との関係、ベームの木、ラムダモデルなど、かなり高度な内容まで詳しく説明されている。
全く前知識なしで読み通せるくらい親切で、しかし、高度な内容までほとんど省略なく書いてある。証明も無駄がなくエレガントなものが多い。
もちろん、それなりの根気は必要だが、読みやすさと正確さの面では最良の一冊だろう。計算機科学のいち入門書として強くおすすめ。
51人のお客様がこれが役に立ったと考えています
役に立った
 レポート