30日間無料体験

この注文でお急ぎ便、お届け日時指定便を無料体験 Amazonプライム無料体験について

単行本
￥3,740

ポイント: 225pt (6%) 詳細はこちら

無料配送 3月30日土曜日にお届け
詳細を見る

または最も早い配送明日 3月29日にお届け（5 時間 32 分以内にご注文の場合）
詳細を見る

お届け先を選択

残り5点（入荷予定あり）在庫状況について

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

出荷元

Amazon.co.jp

出荷元

Amazon.co.jp

販売元

Amazon.co.jp

販売元

Amazon.co.jp

支払い方法

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

支払い方法

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

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

詳細はこちら

すべて見る

ギフトの設定

配送料 ¥350 3月30日-31日にお届け（10 時間 32 分以内にご注文の場合）
詳細を見る

お届け先を選択

中古商品: 良い | 詳細

発売元ノースブックセンター（不備・不具合があれば返品・返金対応致します）

画像はありません

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

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

著者をフォロー

高橋正子

フォロー

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

高橋正子 (著)

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":"SyW0N70siP8nrs6WfrjT%2FQRKg8ECPlPFOk9jE1ShUV5wAJDFm6p%2B6B6D4hxvs%2FROgr%2BAlcIu7vJj6g%2FpbxBDxKupNppTsrpAIKvCjz0Jrlg8FVa%2BMpB98P%2Frb02B2qGm","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"￥2,374","priceAmount":2374.00,"currencySymbol":"￥","integerValue":"2,374","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"SyW0N70siP8nrs6WfrjT%2FQRKg8ECPlPFKHS0oLYATTv4RvRnpxWcpX%2FYuDhW2I5pa8thE%2F1rii7Emui9V3SxQ1C932ItOvTNedAhf45eWWhKzRFtdajNkKNLLQaHYxiGjQrWtbgKxl2cvZygm2Y6WqxsfXnRHpxD5IpdUxtJibY3uZ4F2PxAoQ%3D%3D","locale":"ja-JP","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}

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

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

ISBN-10

4764901846
ISBN-13

978-4764901841
出版社

近代科学社
発売日

1991/8/1
言語

日本語
本の長さ

191ページ
すべての詳細を表示

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

￥3,740

225ポイント(6%)

最短で3月30日土曜日のお届け予定です

残り5点（入荷予定あり）

この商品は、Amazon.co.jpが販売および発送します。

+

￥4,510

45ポイント(1%)

最短で3月30日土曜日のお届け予定です

在庫あり。

この商品は、Amazon.co.jpが販売および発送します。

+

￥4,070

245ポイント(6%)

最短で3月30日土曜日のお届け予定です

残り3点（入荷予定あり）

この商品は、Amazon.co.jpが販売および発送します。

総額:

当社の価格を見るには、これら商品をカートに追加してください。

ポイントの合計: pt

もう一度お試しください

詳細

追加されました

これらの商品のうちのいくつかが他の商品より先に発送されます。

詳細の表示詳細の非表示

一緒に購入する商品を選択してください。

商品の説明

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

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

登録情報

出版社 ‏ : ‎ 近代科学社 (1991/8/1)
発売日 ‏ : ‎ 1991/8/1
言語 ‏ : ‎ 日本語
単行本 ‏ : ‎ 191ページ
ISBN-10 ‏ : ‎ 4764901846
ISBN-13 ‏ : ‎ 978-4764901841

Amazon 売れ筋ランキング: - 366,802位本 (本の売れ筋ランキングを見る)
- - 19,449位科学・テクノロジー (本)

カスタマーレビュー:
11

著者について

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

高橋正子

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

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

カスタマーレビュー

5つのうち4.3つ

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

星2つ

0%

星1つ

0%

評価はどのように計算されますか?

この商品をレビュー

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

レビューのソート基準

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

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

山田太郎

薄くて簡潔にまとまってるいるがゆえに難しい

2023年9月22日に日本でレビュー済み

Amazonで購入

ラムダ計算についてはこの本が初めて読む本ですが、
一人で読みながら一通り目を通したので、レビューを書きます

1章計算可能な関数
簡潔に短くまとめられてる。初学者でも読めるようにできていると思う
2章 λ計算の基礎
最初は難しかったが慣れていけば、分かる
3章 λ計算のモデル
途中から難しくて理解できなかった。モデルの全体像を捉えることができなかった
全体を通して
問題の答えがないものもある

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

役に立った

ex-phenomenologist

ラムダ計算のモデル論への最適な入門書

2008年9月19日に日本でレビュー済み

Amazonで購入

帰納関数論、λ計算、λ計算のモデルを扱う入門書。読んでいて非常に楽しかった。

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

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

非常にうまく書かれている本とはいえ、独習者にはきつい。読書会やゼミのテキストとして活用できる本だろう。

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

役に立った

yoshik-y

素晴らしい入門書

2010年6月19日に日本でレビュー済み

Amazonで購入

　この分野においては、全く説明になっていないエッセイまがいのページだけの多い本か、やたら難しくてどうしようもない本がほとんどである。つまり、独習者向きの本が殆どないのだ。そんな中で、この本は入門書として優れている。難易度は高くないのだが、しっかりと証明と説明が書かれており、この一冊だけで必要十分と言っても言い過ぎではない。
　読むのに難しいと感じるようであれば、計算論に手を出す前に、基礎的な数学の勉強が必要だろう。普通に計算論の勉強をしようというレベルの人には、全く文句なしに薦められる良書だ。

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

役に立った

kaizen

十分難しい

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

最初に割り算と引き算について、自然数で閉じるように定義をしている。
次ぎに、ユークリッドの互除法の原理の説明がある。
gcd(x,y) = gcd(y,mod(x,y)) if (y>0)
= x (y=0)
いきなりmod関数を使っている。
１．６計算不可能な関数と決定不能な問題で、
「帰納的述語ではない」ということと、計算不可能という関係がよくわからなかった。
決定不能な問題としては、Postの対応問題、Hilbertの第１０問題の紹介があるが、証明は省略されている。参考文献として、廣瀬健の帰納的関数が参考文献にある。

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

役に立った

うすしお

入門書として最高の一冊

2002年8月26日に日本でレビュー済み

「コンピュータで計算ができる関数とはいかなるものか？」というモチベーションからスタートして、その概念を厳密に定式化する。また抽象化されたプログラミング言語であるラムダ計算を全くの基礎から解説し、計算可能性との関係、ベームの木、ラムダモデルなど、かなり高度な内容まで詳しく説明されている。
全く前知識なしで読み通せるくらい親切で、しかし、高度な内容までほとんど省略なく書いてある。証明も無駄がなくエレガントなものが多い。
もちろん、それなりの根気は必要だが、読みやすさと正確さの面では最良の一冊だろう。計算機科学のいち入門書として強くおすすめ。

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

役に立った

	非会員	プライム会員
通常配送	¥410 - ¥450*	無料
お急ぎ便	¥510 - ¥550
お届け日時指定便	¥510 - ¥650

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

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

プライム無料体験をお試しいただけます

画像はありません

著者をフォロー