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.
18
2
章 プログラムの意味
ショットに命を与える方法について理解します。
2.1
「意味」 の意味
言語学的に言うと、意味論（semantics）とは、言葉と意味の関係に関する学問です。たとえば「犬」
という言葉は、紙面上に表された形状として、また誰かの声帯から発した空気中を伝わる振動として
表現されますが、実際の犬や一般的な犬の概念とはまったく違うものです。意味論というのは、こうし
た具象的記号がその抽象的意味や抽象的意味の基本的性質とどのように関係しているか、に関心があ
ります。
コンピュータサイエンスにおける形式意味論（formal semantics）という分野は、とらえどころのな
いプログラムの意味を明確にする方法を見つけて、それを使ってプログラミング言語に関して興味深
いことを発見したり、証明したりすることに関心があります。形式意味論には、新しい言語の仕様化
やコンパイラ最適化の工夫といった具体的なものから、プログラムの正当性の数学的証明といった抽
象的なものまで、幅広い応用があります。
プログラミ
ング言語を完全に記述するためには、2つのものが必要になります。1つは構文（syntax）
で、プログラムがどのように見えるかを記述します。もう1つは意味論で、プログラムが何を意味する
かを記述します
†
。
多くの言語には、公式に書かれた仕様書というものがありません。実際に動くインタプリタやコンパ
イラがあるだけです。Rubyもこの「実装による仕様（specification by implementati ...
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.