【読書メモ】最後の資本主義

 ロバート・B・ライシュというとクリントン政権時代の労働長官であり、現在はカリフォルニア大学バークレー校 ゴールドマン公共政策大学院の教授である。

最後の資本主義

ルールを決める裕福層

本書はトランプ政権誕生前に書かれた経済書であるが、その内容はトランプ政権誕生を示唆している物となっている。よく、小さな政府（自由市場主義）か大きな政府かの対立があるが、本書はそのような二元論ではなく、今の市場ルールが誰の手によって決められているかを明確にすべきと述べている。

従来、アメリカの政治は2大政党制として民主党と共和党が台頭している。大雑把に分けると、民主党が労働者のための政党であり、共和党がウォール街や石油産業などのいわゆる資本家と呼ばれる層の政党である。しかし、最近ではウォール街や巨大産業のマネーが民主党にも入り込み、労働者のための政党はどこにもなくなってしまったのが少し前のアメリカであった。つまり、一部の裕福層がルールを彼らを利するように変えてきてしまっていると指摘している。本書の大部分は裕福層がどのようにしてルールを変えてきたかを説明している。

処罰されないウォール街の面々

2008年9月15日、アメリカの投資銀行であるリーマン・ブラザーズが、資産6,910億ドル以上とそれをはるかに上回る負債を抱えて経営破綻した。これを契機に世界規模の金融危機が起こったのがリーマン・ショックと言われる金融危機である。リーマン・ブラザーズは、財務的に弱い体質であることを意図的に隠蔽しており、裁判所が指名した検査官は、これを「注意深く仕組まれた詐欺である」と詳述したが、リーマンの役員経験者で刑事訴追された者はいない。

当時、明らかに犯罪に見えるような行為であっても、大きすぎて潰せないとして、逆に資金投入されて救済されていくのは傍目に見ても大変奇妙な光景であったのを覚えている。このリーマン・ショックは本書で述べられているほんの一例で、このような例は枚挙に暇がない。あからさまに恣意的な采配や不公正が横行したために、多くの人が市場や政府に不信感を持ち、経済ゲームはいかさまだと思うようになった。

いかさまゲーム

自分がいかさまなゲームの犠牲になっていると感じる人々は、全体に損をさせることによってシステムを打倒しようと考える場合が多いそうだ。本書では、次のようなゲームを説明している。

1. 二人の学生がいて、1,000ドルを二人で分配することにする。
2. 一人の学生は1,000ドルの取り分、つまり二人での分配方法を決める。
3. もう一方の学生は、2. で決めた分配で良いか決める。ただし、事前に分配方法は知らされない。
4. 3. でOKが出たら2. で決めた分配方法で分配し、NGであれば1,000ドルは没収され二人に分配されない。

このようなゲームを設定した場合、2がいかさまして、より多く取り分を取ると考えてしまうと、3. の学生はNGを出すことが多いそうだ。OKを出せば自分にも多少は取り分があるはずなのにである。

これはトランプ政権の誕生理由を思わされるような結果ではないだろうか。実のところ、誰もトランプには期待しておらず、いかさまゲームを打破しようとしているだけかもしれない。それに、今の経済は信用を基に成り立っているのに、その前提である信用が崩れ落ちれば、資本主義経済など成立するはずもない。

反ウォール街とバーニー・サンダース議員

しかし、ここ最近ではまたその風向きも変わってきているようだ。バーニー・サンダース議員といえば、民主社会主義者を自称する政治家であり、労働者側の政治家であると言える。そのサンダース議員周辺の動きが最近活発になってきているので、次のアメリカ大統領選挙では、前回とは違った様相を示すかもしれない。しかし、サンダース議員もだいぶ高齢なのでどうなるかはわからないが。

www.businessinsider.jp

jp.techcrunch.com

諸君 私は広角が好きだ

諸君、私は広角が好きである。パノラマも大好きだ。というわけで、これまで撮った広角、パノラマ写真をいくつか載せてみる。

オーストラリアのウィーンにある時計塔から

医王山から富山の砺波平野

石川県の獅子吼高原から

奥能登

ハワイのハナウマ湾

ハワイのダイヤモンドヘッドからワイキキを望む

ハワイのワイキキ夜景

【読書メモ】Learn Better ― 頭の使い方が変わり、学びが深まる6つのステップ

現代日本では、小・中学校は義務教育であるため学習を行ったことのないという人はほぼ居ないだろう。学習するということはつまり、数学や国語などについての知識や技術などを習得するということである。では、学習方法について学習したことのある人は、どの程度居るだろうか？

私達は、小・中学校、高校、そして大学、会社などで様々なことを学ぶが、より効率的な学習方法についてはほとんど知らないのではないだろうか。「Learn Better」は、そのタイトルの通り、よりよく学ぶための様々な方法について解説した書籍である。

Learn Better――頭の使い方が変わり、学びが深まる6つのステップ

誤った学習方法

本書では、いくつもの陥りがちな誤った方法についてを紹介している。例えば、以下のような方法は、非常に効率の悪い方法であると本書では述べている。

1. 外国語で歴史や文学を数学を教えたりする
2. 漠然とした願望を立てる

外国語で歴史や文学や数学を教えると、脳の短期記憶を使い果たしてしまい、どちらも身につかないし、『うまくなりたい』などの漠然とした願望を立ててもだめである。しかしながら、私達はしばしばこのような方法を取りがちである。

学習するためには脳の短期記憶を利用することが重要である。しかしながら、外国語で教えると、外国語と、教える対象、両方の短期記憶が必要なため、短期記憶の容量がオーバーしてしまう。私達しばしば、短期記憶の容量を過大評価してしまいがちである。

また、『うまくなりたい』というような漠然とした目標も学習のためにはならない。学習するためには、例えば、毎日○時間取り組むなどといった、達成しやすいベンチマークが重要だと述べている。そうすることで、自己効力感、自分は達成できるはずだという感覚を得られ本当の『うまくなりたい』という目標を達成することが出来る。

本書では、このような学習についての陥りがちな誤った例を多くあげ、よりよい方法についても解説している。そのどれもが面白い内容であった。例えば他には、教科書にマーカーを塗るのは学習に意味はない、TEDトークは学習するのに益よりも害のほうが大きいと述べている。もしその理由についても興味があれば本書を手にとってほしい。

教師の役割

本書では、学習時において教師、教師の必要性も説いている。まず初学者が陥りがちなのは、何を勉強すべきかがわからないということであると言う。その道の専門家であれば、何から学ぶかを示すことが出来るが、学習を始めたばかりの入門者がそれがわからないため、それらを示すことの出来る教師が重要であるそうだ。

また、フィードバックも教師の重要な役割だ。学習時において、何を向上させるべきかは学習者自身ではわかりづらい。教師は、学習者に適切にフィードバックする役割を担う。特に、教師と学習者のマンツーマンレッスンは非常に効果的であると述べている。

最近、情報通信技術やインターネット、ウェブの発達により情報取得が非常に容易になった。そのため、大学などはもう必要のないとの言説が聞かれるようになった。たしかに、情報という観点からだけ見ると、すでに情報はウェブ上にあふれているため、大学は必要ないかもしれない。実際、自分自身も大学などはもう必要ないかもしれないと考えたときもあった。しかし、本書を読むと、どうも、教師の役割は知識を授けるということではなく、学習のサポートを行うために存在するようで、まだ大学は必要であるのかもしれない。しかし、英語学習などでは、学習用アプリケーションがフィードバックを行ってくれるため、習得方法が体系化されているものについては、話が変わってくるかもしれないとも感じた。

臨界期説

臨界期という考え方がある。ある程度の年齢を重ねると、物事を学習することができなくなるという考え方である。プログラマ35歳限界説などが臨界期説の一つと言えるだろう。しかし、本書では臨界期説は否定されている。

例えば、伊能忠敬は50歳のときに、19最年下の当時31歳であった高橋至時に弟子入りし、天体観測や測量の勉強を行ったとされる。また、葛飾北斎が波を書き始めたのは30代の頃で、富嶽三十六景・神奈川沖浪裏として完成したのが北斎が72歳の頃であるそうだ。

年齢を理由に学ぶことをやめてしまっている人が多くいるが、学習する能力は失われていないのに辞めてしまうのは、それは大変もったいないことなのだろう。

千変万化に描く北斎の冨嶽三十六景 (アートセレクション)

学習は人間の基本的欲求

人間は考える葦であるとはパスカルの言葉である。人は、新しいものの探求を行うと快感を与えるドーパミンが放出され快感を覚える。つまり、学習は、食事、睡眠、セックスと同じ欲求であると本書は述べている。強制されて行う勉強は退屈すぎるが、新しいことを学ぶのは楽しいのだ。本書は学習について知る上で大変おすすめなのでぜひ読んでほしい一冊である。

年収750万円で幸福度頭打ち説についての考察

というわけで年収750万になろう pic.twitter.com/grod39zSCB

— 新米先達mayan (@mayan1969) 2018年8月13日

年収750万円で幸福度が頭打ちになるという説がある。これは、ファスト&スローの下巻、37章「経験する自己」の幸福感、で説明されている文章が元になっていると予想している。当該箇所を引用すると以下のように記載されている。

もうそれ以上は幸福感を味わえないという所得の閾値は、物価の高い地域では、年間世帯所得ベースで約七万五〇〇〇ドルだった。この閾値を超えると、所得に伴う幸福感の増え方は、平均してなんとゼロになる。所得が多ければ多いほど、好きなところへ旅行に行けるしオペラも見られるなど多くの楽しみを買えるうえ、生活環境も改善できることはまちがいないのだから、これはじつに驚くべき結果と言える。

ファスト&スロー(下) あなたの意思はどのように決まるか? (ハヤカワ・ノンフィクション文庫)

つまり、このツイート画像では、7万5千ドルを750万円と換算しているのだろう。その換算レートが正しいかどうかはおいておいて、幸福度にはあるていど、頭打ちがあるように見て取れる。

幸福度の測り方

では、そもそも、幸福とは一体何なのだろうか。U指数という考え方がある。U指数とは、不快な状態で過ごす時間が全体に占める割合のことであり、U指数が少ないほど幸福であると考えることができる。U指数以外にも、もっと複数の段階に幸福度を区切って調査する方法もある。

このような調査方法から考えると、たしかに、ある程度の所得があれば幸福度は頭打ちしそうではある。

幸福とは何か

たしかに、U指数のようなもので幸福度を測ることが出来るような気もする。しかし、そもそも、幸福度とはU指数で表せるものなのだろうか。この点について、「幸福はなぜ哲学の問題になるのか」という書籍で議論されている。大変おすすめなのでぜひ読んでほしい。

幸福はなぜ哲学の問題になるのか (homo viator)

以下、この本の説明の一部を拝借して、年収750万円説を考察してみよう。

上昇と充足

ある聡明な男がいたとする。その男は、ある日事故で脳に障害を負って幼児レベルまで知能が退行してしまった。しかし、その後は、周りの人に支えられ幸福に生きたとする。さて、私達はこの男のことを幸福だと考えるだろうか。

U指数のような指標で測ると、この男は幸福極まりないということになる。しかし、私達は普通この男のことを幸福であるとは考えないだろう。その理由は、上昇と充足という観点から説明できる。

上昇とは、地位の向上や、知識の獲得、所得の向上が幸福であると見なすことであり、充足とは現状に満足することこそが幸福であるとすることである。上昇という視点から充足を見ると、充足は現状に甘えており、人間が成長する機会を捨て去っていると批判できる。一方、充足という視点から上昇を見ると、上昇はどこまでいってもきりがなく永遠に幸福にはなれないと批判できる。

つまり、事故にあってしまった聡明な男は、主観的には充足しているかもしれないが、人間として成長する機会を失ってしまってしまっており、その意味では不幸であると捉えることも出来る。年収750万円説も同じであり、ある程度まで行くと、U指数のような値は頭打ちするかもしれないが、上昇という点から見ると際限がないと考えることも出来る。

幸せについて考える時は、上昇にとりつかれた人は幸せなのだろうかという点も考えなければならないし、人間が成長を諦めるのは幸せなのかという点も考えなければならないのだろう。

お金がないのは不幸

書籍「幸福はなぜ哲学の問題になるのか」では、お金が無いと不幸になる確率は高いと述べている。これを定式化すると以下のようになる。

¬ お金がある ⇒ ¬ 幸福

これの対偶を取ると、以下のようになる。

幸福 ⇒ お金がある

つまり、幸福な人ならば、ある程度お金を持っているということになる。しかし、私達はしばしば、以下のように考えてしまう。

お金がある ⇒ 幸福

これは正しくない。お金があっても不幸である人はいるだろう。愛する人を失って、大量の保険金が手に入った人は幸福だろうかということである。お金と幸福の関係性を誤認してはいけない。

面白い学術読み物、自分用まとめ

自分用メモ。多すぎるので全部は網羅していない上に分類は適当。あとで読む。

anond.hatelabo.jp

物理

ファインマンの有名な書籍。ファインマン物理学も挙がっていたが、あれは読み物じゃなくて教科書なので割愛。

ご冗談でしょう、ファインマンさん〈上〉 (岩波現代文庫)

ご冗談でしょう、ファインマンさん〈下〉 (岩波現代文庫)

もしも月がなかったら―ありえたかもしれない地球への10の旅

宇宙の量子論 (地人選書)

エレガントな宇宙―超ひも理論がすべてを解明する

隠れていた宇宙 上 (ハヤカワ文庫 NF)

隠れていた宇宙 下 (ハヤカワ文庫 NF)

冷蔵庫と宇宙―エントロピーから見た科学の地平

量子革命: アインシュタインとボーア、偉大なる頭脳の激突 (新潮文庫)

光速より速い光 ~アインシュタインに挑む若き科学者の物語

磁力と重力の発見〈1〉古代・中世

磁力と重力の発見〈3〉近代の始まり

磁力と重力の発見〈2〉ルネサンス

数学

100年の難問はなぜ解けたのかはポアンカレ予想を解いたペレルマンに関する本なんだけど、面白いのでおすすめ。理論宇宙の話とかもある。

100年の難問はなぜ解けたのか―天才数学者の光と影 (新潮文庫)

カオス―新しい科学をつくる (新潮文庫)

複雑系―科学革命の震源地・サンタフェ研究所の天才たち (新潮文庫)

神は数学者か?―ー数学の不可思議な歴史 (ハヤカワ・ノンフィクション文庫〈数理を愉しむ〉シリーズ)

虚数の情緒―中学生からの全方位独学法

零の発見―数学の生い立ち (岩波新書)

分ける・詰め込む・塗り分ける―読んで身につく数学的思考法

ケプラー予想: 四百年の難問が解けるまで (新潮文庫―Science&History Collection)

生物

 ファーブル昆虫記、分量が多すぎてきつい。

ファーブル昆虫記 10冊セット (岩波文庫)

文明を変えた植物たち コロンブスが遺した種子 (NHKブックス)

ワンダフル・ライフ―バージェス頁岩と生物進化の物語 (ハヤカワ文庫NF)

 利己的な遺伝子は中学ぐらいのときに読んだ記憶があるなあ。

利己的な遺伝子 40周年記念版

捕食者なき世界 (文春文庫)

猫の大虐殺 (岩波現代文庫)

野尻湖のぞう (福音館の科学シリーズ)

眼の誕生――カンブリア紀大進化の謎を解く

恐竜はなぜ鳥に進化したのか―絶滅も進化も酸素濃度が決めた (文春文庫)

生と死の自然史―進化を統べる酸素

文庫 生命40億年全史 上 (草思社文庫)

文庫 生命40億年全史 下 (草思社文庫)

生命 最初の30億年―地球に刻まれた進化の足跡

進化論裁判―モンキー・ビジネス (ナチュラル・ヒストリー選書)

ソロモンの指環―動物行動学入門 (ハヤカワ文庫NF)

文明はなぜ崩壊するのか

生命のからくり (講談社現代新書)

光る生物の話 (朝日選書)

生物と無生物のあいだ (講談社現代新書)

生物から見た世界 (岩波文庫)

鳥類学者 無謀にも恐竜を語る (新潮文庫)

 経済学・行動経済学

超予測力は人は未来を予測できるのかについて科学した本。大変おもしろい。

超予測力―ー不確実な時代の先を読む10カ条 (ハヤカワ・ノンフィクション文庫)

亜玖夢博士の経済入門 (文春文庫)

負債論 貨幣と暴力の5000年

ヤバい経済学 [増補改訂版]

予想どおりに不合理: 行動経済学が明かす「あなたがそれを選ぶわけ」 (ハヤカワ・ノンフィクション文庫)

行動経済学はとりあえず、ファスト＆スロー読んどけって感じ。面白いけれど長い。面白いけれど。

ファスト&スロー(上) あなたの意思はどのように決まるか? (ハヤカワ・ノンフィクション文庫)

ファスト&スロー(下) あなたの意思はどのように決まるか? (ハヤカワ・ノンフィクション文庫)

ブラック・スワン[上]―不確実性とリスクの本質

ブラック・スワン[下]―不確実性とリスクの本質

21世紀の資本

戦略プロフェッショナル―シェア逆転の企業変革ドラマ (日経ビジネス人文庫)

影響力の武器は第二版を読んだけれど、面白い。広告や政治などのやり口がわかる。

影響力の武器[第三版]: なぜ、人は動かされるのか

医学・心理学

医学探偵ジョン・スノウ―コレラとブロード・ストリートの井戸の謎

あなたの知らない脳──意識は傍観者である (ハヤカワ・ノンフィクション文庫)

進化しすぎた脳―中高生と語る「大脳生理学」の最前線 (ブルーバックス)

単純な脳、複雑な「私」 (ブルーバックス)

脳のなかの幽霊 (角川文庫)

病気はなぜ、あるのか―進化医学による新しい理解

喪失と獲得―進化心理学から見た心と体

臨死体験〈上〉 (文春文庫)

臨死体験〈下〉 (文春文庫)

精神分裂病と妄想―精神科臨床と病床日誌から

性の進化、ヒトの進化―類人猿ボノボの観察から (朝日選書)

戦争における「人殺し」の心理学 (ちくま学芸文庫)

自閉症は津軽弁を話さない 自閉スペクトラム症のことばの謎を読み解く

二重らせん (ブルーバックス)

アートマン・プロジェクト―精神発達のトランスパーソナル理論

社会 

世界の陰謀論を読み解く――ユダヤ・フリーメーソン・イルミナティ (講談社現代新書)

文庫　銃・病原菌・鉄　（上）　1万3000年にわたる人類史の謎 (草思社文庫)

文庫　銃・病原菌・鉄　（下）　1万3000年にわたる人類史の謎 (草思社文庫)

書物の出現〈下〉 (ちくま学芸文庫)

書物の出現〈上〉 (ちくま学芸文庫)

ヒトはなぜヒトを食べたか―生態人類学から見た文化の起源 (ハヤカワ文庫―ハヤカワ・ノンフィクション文庫)

忘れられた日本人 (岩波文庫)

歴史を変えた6つの飲物 ビール、ワイン、蒸留酒、コーヒー、茶、コーラが語る もうひとつの世界史

死体が語る歴史

世界神話学入門 (講談社現代新書)

ビッグヒストリー われわれはどこから来て、どこへ行くのか――宇宙開闢から138億年の「人間」史

機関銃の社会史 (平凡社ライブラリー)

ヴィクトリア朝時代のインターネット

コンテナ物語―世界を変えたのは「箱」の発明だった

疫病と世界史 上 (中公文庫 マ 10-1)

疫病と世界史 下 (中公文庫 マ 10-2)

暴力の人類史 上

暴力の人類史 下

人権を創造する

ハーメルンの笛吹き男―伝説とその世界 (ちくま文庫)

世界戦史―歴史を動かした7つの戦い (学研M文庫)

オリエンタリズム〈上〉 (平凡社ライブラリー)

オリエンタリズム〈下〉 (平凡社ライブラリー)

砂糖の世界史 (岩波ジュニア新書)

人とミルクの1万年 (岩波ジュニア新書)

中世実在職業解説本 十三世紀のハローワーク

「民族」で読み解く世界史

神々の沈黙―意識の誕生と文明の興亡

暴力の人類史 上

暴力の人類史 下

自由からの逃走 新版

大英博物館展: 100のモノが語る世界の歴史 (単行本)

歴史はべき乗則で動くでは、なぜ地震予知がうまくいかないかを砂山実験で説明していて、その部分だけでも読む価値あり。地震予知は眉唾。

歴史は「べき乗則」で動く――種の絶滅から戦争までを読み解く複雑系科学 (ハヤカワ文庫NF―数理を愉しむシリーズ)

人はなぜ異星人(エイリアン)を追い求めるのか―地球外生命体探索の50年

新ネットワーク思考―世界のしくみを読み解く

アナル・アナリシス――お尻の穴から読む

熊を殺すと雨が降る―失われゆく山の民俗 (ちくま文庫)

黒死病―ペストの中世史 (INSIDE HISTORIES)

キッチンの歴史: 料理道具が変えた人類の食文化

化学

スプーンと元素周期表 (ハヤカワ・ノンフィクション文庫)

毒性元素 謎の死を追う

哲学・論理学

レトリック感覚 (講談社学術文庫)

これからの「正義」の話をしよう (ハヤカワ・ノンフィクション文庫)

法学に遊ぶ (慈学社叢書)

意識と本質―精神的東洋を索めて (岩波文庫)

赤を見る―感覚の進化と意識の存在理由

マインズ・アイ

ラカンはこう読め!

哲学ファンタジー:パズル・パラドックス・ロジック (ちくま学芸文庫)

哲学入門 (ちくま新書)

 ソフィーの世界は中学頃に読んだけれど、全く理解できなかった。

新装版　ソフィーの世界　上 ―哲学者からの不思議な手紙

コンピュータ科学

世界でもっとも強力な9のアルゴリズム

暗号化 プライバシーを救った反乱者たち

コンピュータは数学者になれるのかは面白いのだけれど、いかんせん難しい。しっかり読まないといけない。

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-

インフォメーション―情報技術の人類史

暗号解読はめちゃくちゃ面白い。このせいで一時期、暗号学者を目指した。しかし、やってみたら暗号解読の研究はめっちゃ退屈であった。いまは、ネットワークとサイバーセキュリティをやっているので遠からずという感じ。

暗号解読〈上〉 (新潮文庫)

暗号解読 下巻 (新潮文庫 シ 37-3)

地学

スノーボール・アース: 生命大進化をもたらした全地球凍結 (ハヤカワ・ノンフィクション文庫)

大気の海―なぜ風は吹き、生命が地球に満ちたのか

日本列島100万年史 大地に刻まれた壮大な物語 (ブルーバックス)

チェンジング・ブルー――気候変動の謎に迫る (岩波現代文庫)

言語学

言語を生みだす本能(上) (NHKブックス)

言語を生みだす本能(下) (NHKブックス)

全国アホ・バカ分布考―はるかなる言葉の旅路 (新潮文庫)

音楽

響きの科学―名曲の秘密から絶対音感まで (ハヤカワ・ノンフィクション文庫)

美術・デザイン

イコノロジー研究〈上〉 (ちくま学芸文庫)

国宝神護寺三像とは何か (角川選書)

誰のためのデザイン？　増補・改訂版　―認知科学者のデザイン原論

科学一般

この世界が消えたあとの　科学文明のつくりかた

 SFで使われている技術が本当に実現可能化について、科学的に考察した本。近未来的な話もありめっちゃ面白い。

サイエンス・インポッシブル SF世界は実現可能か

リスク―神々への反逆

マギー キッチンサイエンス -食材から食卓まで-

世界でもっとも美しい10の科学もなかなか面白かった。科学史がわかる感じ。

世界でもっとも美しい10の科学実験

異貌の科学者 (丸善ライブラリー)

アインシュタインの部屋―天才たちの奇妙な楽園〈上〉

アインシュタインの部屋―天才たちの奇妙な楽園〈下〉

新しい1キログラムの測り方 科学が進めば単位が変わる (ブルーバックス)

【読書メモ】アンダースタンディング コンピュテーション

チューリング・マシンとはイギリスの数学者チューリングが考案した計算モデルである。チューリングとは第二次世界大戦中にナチス・ドイツ軍の暗号Enigmaを解読した人物である。チューリングは当時、、今で言うコンピュータの原型となる機械を実装して、Enigmaの解読を行ったそうだ。チューリングの軌跡については、イミテーション・ゲームという映画で描かれており、内容もなかなかおもしろいのでおすすめである。 

イミテーション・ゲーム エニグマと天才数学者の秘密 [Blu-ray]

計算モデルとRuby実装

計算モデルとは、その名の通り計算機の動きを数学的に表したものとなる。現在の計算機は、ノイマン型コンピュータと呼ばれていて、アメリカの数学者・物理学者のフォン・ノイマンが考案した構成をとっている。ノイマン型コンピュータは、コンピュータは、CPU、メモリなどの外部記憶装置、それらをつなぐバスによって構成されている。

本書は、ノイマン型コンピュータと言ったハードウェア的な話ではなく、どちらかというと、数学的なモデルにもとづいた理論の解説と実装を行っている。計算モデルには、オートマトン、プッシュダウン・オートマトン、チューリング・マシンなどいくつかあるが、本書ではこれらを実際にRubyで実装して解説しているのが、他の書籍と一線を画する。

計算モデルについて考えることは、計算というものの本質をとらえるのに役に立つ。例えば、ある問題Xがあって、問題Xが計算機で解けるということはどういう事なのだろうか？これは、ある計算モデルで、その問題Xを解釈できるかということを考えてみると理解が深まる。たとえば、オートマトンよりも、非決定性プッシュダウン・オートマトンの方が扱える解ける問題が多く、非決定性プッシュダウン・オートマトンよりも、チューリング・マシンの方が扱える問題が多い。これを分類したものが、チョムスキー階層と呼ばれている。チョムスキー階層のことまで話すと長くなるので、詳細はWikipedia等を参考してほしい。

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

λ計算とChurch数

RubyやPythonと言った、一般的なプログラミング言語は、チューリング完全であると言われる。チューリング完全とはすなわち、チューリング・マシンと計算能力が等価であると言うことを意味している。チューリング・マシンは計算モデルの一つであるが、チューリング・マシンと等価な計算モデルに、λ計算と呼ばれるものがある。

λ計算とは、1930年代にイギリスの数学者であるチャーチが考案した計算モデルであり、その計算能力はチューリング・マシンと等価であることが、チャーチ自身によって示されている。λ計算は、関数型プログラミング言語とよばれるHaskellやMLの基礎となっているモデルである。

λ計算をBNF形式で表すと以下のようになる。

E := ID

     | (λ ID. E)

     | (E E)

ここで、IDはxやyなどの識別子のことである。つまり、

((λx. ((x x) x)) (λy. y))

のように書くのがλ計算である。たったこれだけの表記法ではあるが、計算能力がチューリング・マシンと等価である。しかし、これだけの規則では四則演算はおろか、数値すら表せないように思える。ところが、実際には、数値と四則演算をλ計算にエンコードする事ができる。λ計算によって表された数をChurch数と呼ぶが、本書では、このChurch数を実際にRubyで実装している。Church数はなかなかに衒学的で理解が難しいが、こうしてRubyで実装して解説してくれるのは大変ありがたい。

また、さらに踏み込んだ内容として、停止性問題についても解説している。停止性問題とは、ある問題が計算できるとはどういうことかについて、停止性という観点から論ずるものである。停止性とは、ある問題を解くアルゴリズムがあったときに、そのアルゴリズムが最終的に停止するかどうかという事を示している。

計算の本質についてRuby実装を示しながら提示する本書は、大変エキサイティングでファンタスティックであった。難易度は若干高めだが、数学的な専門書よりは断然わかりやすいので、腕に覚えのあるプログラマは是非挑戦してみてほしい。最後に、本書の雰囲気を掴むために、本書で掲載されているFizzBuzzのλ計算プラグラム一部を見てみよう。

この見開きページだけを見ても、本書の凄さが伝わるだろう。美しい。

【読書メモ】独習 論理構造

 AならばBであり、かつBならばCであるならば、AならばCである。このように演繹的に推論は論理と呼ばれ、公理から出発して、いくつもの命題を導き出すことが出来る。この論理を形式的にとらえた学問が形式論理学であり、本書は論理学の入門書となる。

論理学の歴史は古く、プラトン、アリストテレスの時代には論理学の基礎が出来つつあったそうだ。

独習コンピュータ科学基礎II 論理構造

命題論理から自動推論まで

本書は、命題論理で自然演繹法を学び、一階述語論理の形式的証明をまず学ぶ。しかしながら、高階述語論理や、ゲーデルの不完全性定理などは触れてはいるものの、詳細には述べられていないので、これらが必要な人にとっては別の書籍が必要だろう。

さらに、形式的証明を学んだ後に、自動推論手法について学ぶ。自動推論とは、いわゆるProlog的な推論手法のことであり、命題を入力して、それが正しいかを論理的に検査することが出来るようになる方法である。たとえば、AはBの親であり、BはCの親である、としたとき、AはCの祖先であるか？という問いにコンピュータが答えてくれる。本書を習得すれば、Prologのエンジン部分は実装できるようになると思われる。

演繹的手法と発見的手法

論理をもとにした手法は、演繹的推論と呼ばれる。この演繹的手法は、人工知能の一分野とされており、第5世代コンピュータ時代の1980年代に活発に研究開発されたようである。

一方、現在の人工知能といえば、深層学習などの発見的推論が主流となっている。発見的手法は、推論するために必要な条件がすべて揃っていなくても、ある程度の精度で推論してくれるという利点がある。しかし、論理的に誤りであっても、推論してしまうという問題点もある。

人間が物事を推論する時、発見的手法と、演繹的手法、どちらもバランスよく利用しているため、現在の深層学習一辺倒の人工知能ではうまくいかないだろう。現在、発見的手法と演繹的手法を組み合わせた研究も行われているようなので、そちらに期待である。

演習問題と解答があり便利

本書は、章の終わりに演習問題があり、独学に向いている。演習問題の解答は、ウェブ上で取得できるので、解けない問題があったら、ちらっと答えを見てから解答を考えるということも出来る。論理学は一歩一歩積んでいけば、誰でも理解できるので、焦らずに頭から地道に問題を解いていくのが良いだろう。

誤字脱字が多い

残念ながら、本書は誤字脱字が多い。一応、本書のウェブ上にも正誤表はあるのだが、全く網羅はされていないようだった。