September 2014
Intermediate to advanced
336 pages
7h 53m
Japanese
Content preview from アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
O’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.I wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.I’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.I'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.
210
7
章 至るところにある万能性
言い換えると、
RUN
は任意のチューリングマシンをシミュレートできるラムダ計算プログラムです
†
。
逆もまた可能であることがわかっています。「6.2.2 意味論」にある操作的意味論と同じように、ラム
ダ計算の式の表現をテープに格納し、簡約規則の集合にしたがってテープを繰り返し更新することに
よって、チューリングマシンはラムダ計算インタプリタとして機能します。
あらゆるチューリングマシンはラムダ計算プログラムによってシミュレートすることができ、
あらゆるラムダ計算プログラムはチューリングマシンによってシミュレートすることができま
す。したがって、これら
2
つのシステムは能力的にはまったく同等だと言えます。チューリン
グマシンとラムダ計算プログラムはまったく動き方が異なり、同じ能力を持っているようには
見えないため、これは驚くべき結果です。
このことは、ラムダ計算には自分自身をシミュレートする方法が少なくとも1つあることを意味して
います。まずチューリングマシンをラムダ計算で実装し、そのあとシミュレートした機械を使ってラム
ダ計算インタプリタを実行すればよいのです。このシミュレーションの中のシミュレーションというの
は非常に効率の悪い方法です。ラムダ計算の式を表現するデータ構造を設計してから操作的意味論を
直接実装した方が、同じ結果をもっとエレガントに得ることができます。ところが、このラムダ計算の
自己シミュレーションというのは、新しいものを何も構築しなくても、ラムダ計算が万能
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access
More than 5,000 organizations count on O’Reilly
O’Reilly covers everything we've got, with content to help us build a world-class technology community, upgrade the capabilities and competencies of our teams, and improve overall team performance as well as their engagement.Julian F.
I wanted to learn C and C++, but it didn't click for me until I picked up an O'Reilly book. When I went on the O’Reilly platform, I was astonished to find all the books there, plus live events and sandboxes so you could play around with the technology.Addison B.
I’ve been on the O’Reilly platform for more than eight years. I use a couple of learning platforms, but I'm on O'Reilly more than anybody else. When you're there, you start learning. I'm never disappointed.Amir M.
I'm always learning. So when I got on to O'Reilly, I was like a kid in a candy store. There are playlists. There are answers. There's on-demand training. It's worth its weight in gold, in terms of what it allows me to do.