Skip to Content
アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
book

アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで

by Tom Stuart, 笹田 耕一, 笹井 崇司
September 2014
Intermediate to advanced
336 pages
7h 53m
Japanese
O'Reilly Japan, Inc.
Content preview from アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで
8.6
 なぜ起こるのか
283
に待たなくてはならないプログラムが常に存在するのです。
8.6
 なぜ起こるのか
この章では、すべての万能システムに自己参照できる能力があることを見てきました。プログラムは
数を操作し、数は文字列を表現することができ、文字列はプログラムの命令を書くための手段となり
ます。したがって、プログラムは自分自身のソースコードを完全に操作することができます。
この自己参照能力は、プログラムの振る舞いを確実に予測できるプログラムを書くことを不可能にし
ます。たとえ振る舞いをチェックする特定のプログラムを書いても、必ずそれを無駄にするより大きな
プログラムを構築することができます。チェッカーをサブルーチンとして組み込んで自分自身のソース
コードをチェックしたあと、即座にチェッカーの判定とは正反対のことをする新しいプログラムを書け
ばよいのです。このような自己矛盾プログラムは、現場で書くものというより興味本位なものですが、
これは問題の原因ではなく、単なる症状にすぎません。一般的に、プログラムの振る舞いは強力すぎ
て、確実に予測することは不可能なのです。
自然言語にも同じような能力があり、同じような問題を抱えています。「この文はうそです」(
そつきのパラドックス)は真にも偽にもなり得ない文です。ただし、うそつきのパラドックス
は特別な自己参照語である「この」に依存しています。「
8.1.5
 プログラムは自己参照できる」
で見たように、コンピュータプログラムは特別な言語機能を必要とせず、構成によ
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

AirBnbBlueOriginElectronic ArtsHomeDepotNasdaqRakutenTata Consultancy Services

QuotationMarkO’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.
Head of Cybersecurity
QuotationMarkI 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.
Field Engineer
QuotationMarkI’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.
Data Platform Tech Lead
QuotationMarkI'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.
Mark W.
Embedded Software Engineer

You might also like

行動を変えるデザイン ―心理学と行動経済学をプロダクトデザインに活用する

行動を変えるデザイン ―心理学と行動経済学をプロダクトデザインに活用する

Stephen Wendel, 武山 政直, 相島 雅樹, 反中 望, 松村 草也
マスタリング・イーサリアム ―スマートコントラクトとDAppの構築

マスタリング・イーサリアム ―スマートコントラクトとDAppの構築

Andreas M. Antonopoulos, Gavin Wood, 宇野 雅晴, 鳩貝 淳一郎, 中城 元臣, 落合 渉悟, 落合 庸介, 小林 泰男, 土屋 春樹, 祢津 誠晃, 平山 翔, 三津澤 サルバドール将司, 山口 和輝
Pythonによるデータ分析入門 第2版 ―NumPy、pandasを使ったデータ処理

Pythonによるデータ分析入門 第2版 ―NumPy、pandasを使ったデータ処理

Wes McKinney, 瀬戸山 雅人, 小林 儀匡, 滝口 開資

Publisher Resources

ISBN: 9784873116976Other