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.
284
8
章 不可能なプログラム
8.7
計算不能性に対処する
プログラムを書く上で大事なことは、コンピュータを役立てることです。プログラムが正しく動くか
チェックするという問題が解決不能なこの世界において、プログラマはどのように対処すればよいので
しょうか。
拒絶というのは魅力的な反応です。すべての問題を無視しましょう。プログラムの振る舞いを自動
的に検証できればいいのですが、それは不可能です。ですから、ただうまくいくことを願いましょう。
プログラムが正しく仕事をしているか、チェックしようとしてはいけません。
これは過剰な反応です。というのも、状況はそれほどひどくはありません。ライスの定理はプログラ
ムの解析が不可能だとは言っていません。必ず停止して正しい答えを生成するような、自明でない分
析器を書くことはできない、と言っているだけです。「8.3.1 停止性チェッカーの構築」で見たよう
に、間違った答えを返したり、何も返さずに永久にループするプログラムが存在しても構わなければ、
いくつかのプログラムに対して正しい答えを返すようなツールを書くことは可能です。
以下に、決定不能性にもかかわらず、プログラムの振る舞いを分析して予測する実践的な方法を挙
げておきます。
●
決定不能な質問をしてみて、答えが見つからなければあきらめましょう。たとえば、プログラム
が特定の文字列をプリントするかどうかチェックするため、プログラムを実行してただ待つこと
も可能です。もしプログラムがある期間内、たとえば10 秒以内に文字列を
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.