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.
おもちゃの国のプログラミング
287
9
章
おもちゃの国のプログラミング
プログラミングとは、構文を使ってアイデアを機械に伝えることです。私たちがプログラムを書くと
きには、プログラムを実行したときに機械にやらせたいアイデアを頭に描いています。そして、プログ
ラミング言語の意味論を知ることで、そのプログラムの小さなパーツが意味することを、機械が理解し
ようとしていると確信できます。
ところが、複雑なコンピュータプログラムというのは、個々の文や式の単なる足し合わせ以上のもの
です。複数の小さなパーツを大きなプログラムに埋め込んだときに、プログラム全体が本来やってほし
いことをやってくれているかどうか、チェックできると便利です。たとえば、プログラムが常に特定の
結果を返すこと、ファイルシステムやネットワークに確実に副作用を与えること、予期せぬ入力によっ
てクラッシュするような明らかなバグを含んでいないこと、といったことを、私たちは知りたいのです。
プログラムに持たせたい性質には、さまざまな種類があります。プログラムの構文をチェックするだ
けで、プログラムにその性質があるかどうかわかると、本当に便利です。ところが残念ながら、ライス
の定理によって、ソースコードからプログラムの振る舞いを予測しても、必ずしも正しい答えは得られ
ないことがわかっています。もちろん、プログラムがやることを調べる最も直接的な方法は、単にプロ
グラムを実行することです。実際には、それで問題ない場合もあるでしょう。多くのソフトウェアテス
トは、
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.