黒夜行

左脇のプロフィールにある「サイト全体の索引」から読みたい記事を探して下さい。

数学ガール 乱択アルゴリズム(結城浩)

内容に入ろうと思います。
本書は、数学を物語形式で扱った「数学ガール」シリーズの第四弾です。今回の副題は「乱択アルゴリズム」。全体的に、アルゴリズム(プログラム)や確率の話が中心になっていきます。
ざっとどんな感じで話が進んでいくのか、概略みたいなものを書いていこうと思います。
まずは基本設定から。このシリーズは高校を舞台にしていて、主要登場人物は4人+1人(プラスの一人は今回初登場)。
まず、主人公の「僕」。高校三年生で、数学が好き。数式が出てくると燃えるタイプで、人と数学の話をするのも好きだけど、一人で数学と格闘するのも好き。
次にミルカさん。「僕」と同じく高校三年生。才媛、という表現が相応しい女性で、数学が好きな人達に、常に教師となって、深遠な世界を垣間見させてくれる存在。クールなんだけど、時々弱さが垣間見える。そういえば今回は、ピアノ弾くシーンはなかったなぁ。
次は、テトラちゃん。高校二年生。「僕」に数学を教わりに来たことがきっかけで、常々数学談義をする仲になる。テトラちゃんは、分からない部分を放っておかず追求し、かつ、『どこが分からないのか明確に言葉で主張できる』という点が素晴らしい。努力家だけど、ドジっ子。
次に、「僕」の従姉妹で中学三年生のユーリ。「~にゃ」というような喋り方をする。時々「僕」の家まで来て、数学を教わっていく。ユーリはまだ中学生で、数学の知識は多くはないけど、論理に強い。侮れない。
そして最後に、本書で初登場のリサ。双倉図書館という、ミルカさんが関わりのある図書館のところの娘。赤髪でハスキーボイス(でも無口)。常にパソコンのキーボードを叩いている。プログラミングが得意。あと、クールに見えて意外に世話焼き。
そんな面々が、放課後集まったり、ファミレスでだったりと、とにかく色んなところで数学談義をする、という物語に乗せて、数学の面白さ・奥深さに迫っていく作品。
まずは、基本的な確率の話。有名な、「モンティ・ホール問題」も出てくる。
それからいきなりアルゴリズムの話が出てきて、僕は結構びっくりした。大学時代、C言語の授業をやったけど、もちろんまったく覚えてないし、プログラミングというのは本当に苦手。だから結局最後まで、アルゴリズムの擬似コードはほとんど読めなかったなぁ。
とはいえ、書いてあることを追っていけば、擬似コードが直接読めなくても理解は出来る。リニアサーチ・アルゴリズムという、ある数列の中にある数があるかどうかを調べるアルゴリズムについて、実行回数をどう評価するか、という展開。ここでの話は、本書におけるアルゴリズムの話の基本となるので、アルゴリズムが苦手な人は、まず初めのこれをちゃんと読むのがよいです。
その次、順列や組み合わせ、パスカルの三角形といった基本的な話が出てきた後で、『確率とは何か』という話になる。『公理から確率を定義する』という話の中で、確率分布や標本空間と言った言葉が出てくる。
そもそも、『確率』という言葉には三種類意味があるというのも初めて知りました。詳しいことは本書を読んでもらうとして、『公理的確率』『古典的確率』『統計的確率』(この三つの名称は、正式名称かもしれないけど、一応本書では、『これらをそれぞれ~~~と呼ぼう』という表現が使われているので、正式な呼び方ではないかもです)の三つがあるみたいなんですね。この話自体、テトラちゃんの、『確からしさ』という言葉に対する疑問から始まったわけで、テトラちゃんらしいなぁ、という感じがしました。
そこからさらに、期待値や期待値の線形性、インディケータ確率変数、なんていう話が出てきた後、僕が凄く面白いなぁ、と思った問題が出てきます。
それが、
『すべての目が出るまで、サイコロを繰り返して投げる。このとき、投げる回数の期待値を求めよ』
です。
なんか簡単そうなんだか難しそうなんだかさっぱりわからないんだけど、どこから考えたらいいんだか全然分からない、という意味では本当に取っ付きにくい問題です。でもこの問題の解答は面白かったなぁ。
そこからアルゴリズムの話に戻って、O記法という表現が出てきます。これは、アルゴリズムの実行ステップ数が、入力のサイズが大きくなった時、スピードがどれぐらい遅くなるのか、を表す表記法です。そしてその後で、バイナリサーチ、比較ソートという二つのアルゴリズムについて、O記法によって実行ステップ数を解析する話になります。やっぱりこの辺りのアルゴリズムの話は、なんとなくわかった気がする、という感じになってしまいますね。アルゴリズムの話は、僕には実に難しいです。
その次は行列の話。これまた学生時代僕の苦手だった分野です。ただ、本当に基本の基本からやってくれるんで(テトラちゃんが、どっちが行でどっちが列なのか分からなくなってしまう、と言った時、あー僕もそうです、と言いたくなりました。そこで書かれていた覚え方で、バッチリ覚えましたけど)、凄く助かります。ケーリーハミルトンの定理とか行列式とか、とにかく行列の一般的な性質について復習、という感じでしょうか。この辺りの話は、行列について知識をちゃんと持ってる人には退屈かもですが、僕みたいに行列苦手ってい人には復習がてら楽しく読めると思います。
そしてそこから、ピアノ問題に入るんです。これもなかなかに斬新な問題でした。このピアノ問題自体も相当面白いんですけど、ここでの話が、まさか最後の方デもう一度使われることになるとは思わなかったんで、その構成の美しさにビックリしましたですよ。
本書のどの問題も大体そうなんですけど、問題は物凄くシンプルで、具体的な例を考えるのはさほど難しくないんです。でも、一般的な式を導いたり解いたりというのはまるで歯が立たない。でも、説明を読んでいると、あーなるほど分かる分かる!という感じになる。そういう、本当に微妙なラインの問題のセレクトが相変わらず素晴らしいなぁ、と思いました。
ピアノ問題の後は、アリスの放浪問題が来て、ここでも、行列的な計算の工夫みたいなものが色々出てきます。
さてその次に、強正美優問題、というのが出てくるんだけど、まさかこの話がP≠NP予想に繋がっていくとは思わなかったんで驚きました。このP≠NP問題、僕はこれまでもいくつか数学の本を読んでる時に出てきたんだけど、イマイチ理解できなかったんですね。そもそも何が問題なのかが理解出来ない、という問題でした、僕の中では。
でもそれが、本書ですぐ解決してしまいました。P≠NP予想について僕が理解したことを書くと、大体こんな感じ。
まずP問題というのは、『効率的に解を見つけることが出来る問題』のこと。一方でNP問題というのは、『その問題の一般的な解を発見できるかどうかはともかく、ある解の候補が与えられた時に、それが確かに正しい解なのかどうかということは効率的に判定できる問題』のこと。
正確さを恐ろしく欠いて具体例を挙げると、たぶんこんな感じの理解でいいんだと思う。
P問題は、例えば『x+3=4』みたいな感じ。これは、x=1と『効率的に解くこと』が出来る。
一方で、例えば『x^100-x^50+1=0』みたいな式があったとしよう。この方程式は、ちょっと一般的な解を見つけるのは難しそうな気がする。でも例えば解の候補として、x=1が与えられたら、これが正しい解なのかどうかは『効率的に判定できる』。こういうのがNP問題。
(一応書いておくけど、ここで挙げた二つの式が、実際にP問題・NP問題なのかは僕には分かりません。ただ、さっき書いた文章をなんとなく理解しやすいようにこんな例を挙げてみました、というだけです)。
で、P≠NP予想というのは、『NP問題の中にP問題ではないものが存在する』という予想だ。現在、『すべてのP問題がNP問題であること』、つまり、『効率的に解くことが出来る問題はすべて、解の候補が与えられた時に正しい解であるかどうか効率的に判定できる』は証明されている。ただ、『すべてのNP問題はP問題である』、つまり、『解の候補が与えられた時に正しい解であるかどうか効率的に判定できる問題のすべては、効率的に解くことが出来る』というものは証明されていない。そしてほとんどのコンピュータ科学者は、『すべてのNP問題はP問題で問題である』という命題は間違っている、つまり、『P≠NPである』と考えている。これがP≠NP予想です。
いやー、初めてすっきりしました、このP≠NP予想について。こんなに分かりやすい説明を読んだのは初めてです。
で、NP問題には、NP完全問題と呼ばれるものがあって、『NP問題の内一つでもP問題であることが証明されれば、すべてのNP問題はP問題であること(P=NP)を証明できる』ということがすでに示されているんだそうです。そこで次は、歴史上初めてNP完全問題であると判明した問題、充足可能性問題(SAT)を、乱択アルゴリズムによってどうたらこうたら…、という話なんだけど、やっぱりアルゴリズムの話は難しくなっちゃうんで、この辺りのことは人に説明できるほど理解は出来ていません。でも、ちゃんと理解は出来なかったと思うけど、論理を追っていくのは楽しいし、ここでまさかピアノ問題と繋がるとは思っていなかったんで、驚きもありました。
最後のクイックソート・アルゴリズムについても同じで、論理を追っていくのは凄く楽しかったけど、やっぱり人に説明できるほどの理解は出来ませんでした。擬似コードを直接読んで理解出来ない自分の脳味噌が残念な感じでした。
大体全体の流れはこんな感じです。
「数学ガール」のシリーズを読んでいて思うのは、『何も考えずにいると、ただ当たり前だとしか思えない事柄を、色んな方法で掘り進めていくことで、当たり前ではないことが見えてくる』
ということなんですね。
「数学ガール」ではとにかく徹底的に、『定義』や『例示』や『前提』といったことに立ち返ります。それらは、自分が今どこにいるのかを知るための錨だったり、あるいは一歩でも前に進むための動力だったりします。はっきり言って、『定義』も『例示』も『前提』も、どれも『当たり前のこと』です(場合によっては『前提』は当たり前じゃないことがあるけど)。でも、そういう当たり前のことからスタートし、それらを駆使して深めていくと、スタート地点からは想像も出来なかったような地平までたどり着いている。これが数学の面白さ・奥深さだし、それはそのまま「数学ガール」の面白さ・奥深さにも繋がっていきます。『「数学ガール」を読むと、数学の面白さが分かる』というのは、まさにこの点を指しているんだと僕は思います。
あと本書では、テトラちゃんが素晴らしかったと思います。本書で「僕」が何度も言及する場面がありますが、テトラちゃんにとって、
『自分は、ほんとうにはまだ分かっていない、という自己認識』
が最大の武器です。
僕は、『分からないところが具体的に分かる』というのは羨ましいと思うんですね。ある意味でそれは一つの才能です。普通は、『どこか分からない部分があるんだけど、どこが分からないのか具体的には指摘できない』とか、『分かっていないことに気づいていない』というケースばっかりだと思うから。テトラちゃんが『分からない』と発言する度に、テトラちゃんの理解度の深さが伝わってきます。『分からない』と発言しているのに、その人物がもの凄くその対象を理解していることが分かる、というのはちょっと凄いですよね。シリーズを通じてのでのテトラちゃんの成長っぷりは素晴らしいものがあるけど、本作でさらに大きく成長したような気がします。
また本作では、ミルカさんの名言もたくさんありますね。

『伝える価値があることを、正しく伝わるように書く。
――それが、論文の本質だ。
これまでの人類の発見に、自分の発見を新たに重ねる。
――それが、研究の本質だ。
過去の上に現在を重ね、未来を見る。
――それが、学問の本質だ。』

『巨人の肩に、立とう』

『約束を守らないのは悪者。約束が守れなくなるのは自己。でも――約束をしないのは弱虫だ』

いいですねー。特に『約束』に関するくだりは、ミルカさんっぽくなくて凄く素敵です。数学の部分だけじゃなくて、ところどころ挟み込まれるストーリーの部分も、結構読ませるんです。
そんなわけで、相変わらずのクオリティ・面白さ・分かりやすさ、素晴らしすぎると思います!本作から読んでも基本的には構いませんが、やっぱり是非シリーズ1巻目から読んでほしいですね。数学は好きなんだけど、計算とか論理を追うのはあんまり得意じゃない、なんていう人にはもってこいだし、数学は得意じゃないんだけど好きになりたいんだ、という人にももちろんオススメです。是非是非読んでみてください!

結城浩「数学ガール 乱択アルゴリズム」




関連記事
スポンサーサイト

Comment

コメントの投稿


管理者にだけ表示を許可する

Trackback

http://blacknightgo.blog.fc2.com/tb.php/1962-47b8dae0

 | ホーム | 

プロフィール

通りすがり

Author:通りすがり
災害エバノ(災害時に役立ちそうな情報をまとめたサイト)

サイト全体の索引
--------------------------
著者名で記事を分けています

あ行
か行
さ行
た行
な行
は行
ま行
や行~わ行

乃木坂46関係の記事をまとめました
(「Nogizaka Journal」様に記事を掲載させていただいています)

本の感想以外の文章の索引(映画の感想もここにあります)

この本は、こんな人に読んで欲しい!!part1
この本は、こんな人に読んで欲しい!!part2

BL作品の感想をまとめました

管理人自身が選ぶ良記事リスト

アクセス数ランキングトップ50

TOEICの勉強を一切せずに、7ヶ月で485点から710点に上げた勉強法

一年間の勉強で、宅建・簿記2級を含む8つの資格に合格する勉強法

国語の授業が嫌いで仕方なかった僕が考える、「本の読み方・本屋の使い方」

2014の短歌まとめ



------------------------

本をたくさん読みます。
映画もたまに見ます。
短歌をやってた時期もあります。
資格を取りまくったこともあります。
英語を勉強してます。













下のバナーをクリックしていただけると、ブログのランキングが上がるっぽいです。気が向いた方、ご協力お願いします。
にほんブログ村 本ブログへ
にほんブログ村

アフィリエイトです

アクセスランキング

[ジャンルランキング]
本・雑誌
13位
アクセスランキングを見る>>

[サブジャンルランキング]
和書
10位
アクセスランキングを見る>>

アフィリエイトです

サイト内検索 作家名・作品名等を入れてみてくださいな

メールフォーム

名前:
メール:
件名:
本文:

月別アーカイブ

Powered By FC2ブログ

今すぐブログを作ろう!

Powered By FC2ブログ

ブロとも申請フォーム

この人とブロともになる

QRコード

QR

カウンター

2013年ベスト

2013年の個人的ベストです。

小説

1位 宮部みゆき「ソロモンの偽証
2位 雛倉さりえ「ジェリー・フィッシュ
3位 山下卓「ノーサイドじゃ終わらない
4位 野崎まど「know
5位 笹本稜平「遺産
6位 島田荘司「写楽 閉じた国の幻
7位 須賀しのぶ「北の舞姫 永遠の曠野 <芙蓉千里>シリーズ」
8位 舞城王太郎「ディスコ探偵水曜日
9位 松家仁之「火山のふもとで
10位 辻村深月「島はぼくらと
11位 彩瀬まる「あのひとは蜘蛛を潰せない
12位 浅田次郎「一路
13位 森博嗣「喜嶋先生の静かな世界
14位 朝井リョウ「世界地図の下書き
15位 花村萬月「ウエストサイドソウル 西方之魂
16位 藤谷治「世界でいちばん美しい
17位 神林長平「言壺
18位 中脇初枝「わたしを見つけて
19位 奥泉光「黄色い水着の謎
20位 福澤徹三「東京難民


新書

1位 森博嗣「「やりがいのある仕事」という幻想
2位 青木薫「宇宙はなぜこのような宇宙なのか 人間原理と宇宙論」 3位 梅原大吾「勝ち続ける意志力
4位 平田オリザ「わかりあえないことから
5位 山田真哉+花輪陽子「手取り10万円台の俺でも安心するマネー話4つください
6位 小阪裕司「「心の時代」にモノを売る方法
7位 渡邉十絲子「今を生きるための現代詩
8位 更科功「化石の分子生物学
9位 坂口恭平「モバイルハウス 三万円で家をつくる
10位 山崎亮「コミュニティデザインの時代


小説・新書以外

1位 門田隆将「死の淵を見た男 吉田昌郎と福島第一原発の五〇〇日
2位 沢木耕太郎「キャパの十字架
3位 高野秀行「謎の独立国家ソマリランド
4位 綾瀬まる「暗い夜、星を数えて 3.11被災鉄道からの脱出
5位 朝日新聞特別報道部「プロメテウスの罠 3巻 4巻 5巻
6位 二村ヒトシ「恋とセックスで幸せになる秘密
7位 芦田宏直「努力する人間になってはいけない 学校と仕事と社会の新人論
8位 チャールズ・C・マン「1491 先コロンブス期アメリカ大陸をめぐる新発見
9位 マーカス・ラトレル「アフガン、たった一人の生還
10位 エイドリアン・べジャン+J・ペタ―・ゼイン「流れとかたち 万物のデザインを決める新たな物理法則
11位 内田樹「下流志向 学ばない子どもたち 働かない若者たち
12位 NHKクローズアップ現代取材班「助けてと言えない 孤立する三十代
13位 梅田望夫「羽生善治と現代 だれにも見えない未来をつくる
14位 湯谷昇羊「「いらっしゃいませ」と言えない国 中国で最も成功した外資・イトーヨーカ堂
15位 国分拓「ヤノマミ
16位 百田尚樹「「黄金のバンタム」を破った男
17位 山田ズーニー「半年で職場の星になる!働くためのコミュニケーション力
18位 大崎善生「赦す人」 19位 橋爪大三郎+大澤真幸「ふしぎなキリスト教
20位 奥野修司「ねじれた絆 赤ちゃん取り違え事件の十七年


コミック

1位 古谷実「ヒミズ
2位 浅野いにお「世界の終わりと夜明け前
3位 浅野いにお「うみべの女の子
4位 久保ミツロウ「モテキ
5位 ニコ・ニコルソン「ナガサレール イエタテール

番外

感想は書いてないのですけど、実はこれがコミックのダントツ1位

水城せとな「チーズは窮鼠の夢を見る」「俎上の鯉は二度跳ねる」

2012年ベスト

2012年の個人的ベストです
小説

1位 横山秀夫「64
2位 百田尚樹「海賊とよばれた男
3位 朝井リョウ「少女は卒業しない
4位 千早茜「森の家
5位 窪美澄「晴天の迷いクジラ
6位 朝井リョウ「もういちど生まれる
7位 小田雅久仁「本にだって雄と雌があります
8位 池井戸潤「下町ロケット
9位 山本弘「詩羽のいる街
10位 須賀しのぶ「芙蓉千里
11位 中脇初枝「きみはいい子
12位 久坂部羊「神の手
13位 金原ひとみ「マザーズ
14位 森博嗣「実験的経験 EXPERIMENTAL EXPERIENCE
15位 宮下奈都「終わらない歌
16位 朝井リョウ「何者
17位 有川浩「空飛ぶ広報室
18位 池井戸潤「ルーズベルト・ゲーム
19位 原田マハ「楽園のカンヴァス
20位 相沢沙呼「ココロ・ファインダ

新書

1位 倉本圭造「21世紀の薩長同盟を結べ
2位 木暮太一「僕たちはいつまでこんな働き方を続けるのか?
3位 瀧本哲史「武器としての交渉思考
4位 坂口恭平「独立国家のつくりかた
5位 古賀史健「20歳の自分に受けさせたい文章講義
6位 新雅史「商店街はなぜ滅びるのか
7位 瀬名秀明「科学の栞 世界とつながる本棚
8位 イケダハヤト「年収150万円で僕らは自由に生きていく
9位 速水健朗「ラーメンと愛国
10位 倉山満「検証 財務省の近現代史

小説以外

1位 朝日新聞特別報道部「プロメテウスの罠」「プロメテウスの罠2
2位 森達也「A」「A3
3位 デヴィッド・フィッシャー「スエズ運河を消せ
4位 國分功一郎「暇と退屈の倫理学
5位 クリストファー・チャブリス+ダニエル・シモンズ「錯覚の科学
6位 卯月妙子「人間仮免中
7位 ジュディ・ダットン「理系の子
8位 笹原瑠似子「おもかげ復元師
9位 古市憲寿「絶望の国の幸福な若者たち
10位 ヨリス・ライエンダイク「こうして世界は誤解する
11位 石井光太「遺体
12位 佐野眞一「あんぽん 孫正義伝
13位 結城浩「数学ガール ガロア理論
14位 雨宮まみ「女子をこじらせて
15位 ミチオ・カク「2100年の科学ライフ
16位 鹿島圭介「警察庁長官を撃った男
17位 白戸圭一「ルポ 資源大陸アフリカ
18位 高瀬毅「ナガサキ―消えたもう一つの「原爆ドーム」
19位 二村ヒトシ「すべてはモテるためである
20位 平川克美「株式会社という病

2011年ベスト

2011年の個人的ベストです
小説
1位 千早茜「からまる
2位 朝井リョウ「星やどりの声
3位 高野和明「ジェノサイド
4位 三浦しをん「舟を編む
5位 百田尚樹「錨を上げよ
6位 今村夏子「こちらあみ子
7位 辻村深月「オーダーメイド殺人クラブ
8位 笹本稜平「天空への回廊
9位 地下沢中也「預言者ピッピ1巻預言者ピッピ2巻」(コミック)
10位 原田マハ「キネマの神様
11位 有川浩「県庁おもてなし課
12位 西加奈子「円卓
13位 宮下奈都「太陽のパスタ 豆のスープ
14位 辻村深月「水底フェスタ
15位 山田深夜「ロンツーは終わらない
16位 小川洋子「人質の朗読会
17位 長澤樹「消失グラデーション
18位 飛鳥井千砂「アシンメトリー
19位 松崎有理「あがり
20位 大沼紀子「てのひらの父

新書
1位 「「科学的思考」のレッスン
2位 「武器としての決断思考
3位 「街場のメディア論
4位 「デフレの正体
5位 「明日のコミュニケーション
6位 「もうダマされないための「科学」講義
7位 「自分探しと楽しさについて
8位 「ゲーテの警告
9位 「メディア・バイアス
10位 「量子力学の哲学

小説以外
1位 「死のテレビ実験
2位 「ピンポンさん
3位 「数学ガール 乱択アルゴリズム
4位 「消された一家
5位 「マネーボール
6位 「バタス 刑務所の掟
7位 「ぐろぐろ
8位 「自閉症裁判
9位 「孤独と不安のレッスン
10位 「月3万円ビジネス
番外 「困ってるひと」(諸事情あって実は感想を書いてないのでランキングからは外したけど、素晴らしい作品)