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.
あとがき
309
あとがき
さて、これで計算理論を巡る旅も終わりです。私たちはさまざまな能力を備えた言語と機械を設計
し、なじみのないシステムから計算を引き出し、コンピュータプログラミングの理論的限界へと飛び込
んでいきました。
特定の機械やテクニックを調べるだけでなく、より一般的な考えについても見てきました。
●
だれでもプログラミング言語を設計して、実装することができます。構文と意味論の基本的なア
イデアは単純ですし、退屈な詳細についてはTreetopのようなツールが面倒を見てくれます。
●
コンピュータプログラムというのはすべて、数学的なオブジェクトです。構文的には、プログラ
ムは大きな数にすぎません。意味論的には、プログラムは数学的関数もしくは形式的な簡約規
則によって操作できる階層構造を表現することができます。このことは、クリーネの帰納定理や
ゲーデルの不完全性定理といった数学由来のさまざまなテクニックや結果が、プログラムにも同
じように適用できることを意味しています。
●
私たちが当初「コンピュータがやること」と説明した計算は、自然の力のようなものだとわかり
ました。計算は人間による高度な発明であり、複雑なパーツを複数使って特別に設計したシステ
ムによってのみ実行できるものだと考えがちですが、それほど複雑には見えないシステムであっ
ても、計算が可能であることを見てきました。したがって、計算というのは、マイクロプロセッ
サ内部でのみ起こる不毛で人工的なプロセスではなく、それどころか、さまざまな場所や
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.