数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
理系の高校生に読んでほしい社会的選択理論 - hiroyukikojima’s blog
今回は、坂井豊貴『社会的選択理論への招待』日本評論社を紹介しようと思う。この本は、刊行直後に手にしたのだが、じっくり腰を据えて読みたい、と思うあまり、今まで一年もの時間が経過してしまった。しかも、とても忙しいときに限って、逃避行動としての読書をしたくなるものであり、この時期に本書を読んだのは、正直、逃避行動である。であるから、かなり雑な読み方をしており、したがって、雑な書評になることを事前に言い訳しておきたい。ちなみに、著者の坂井さんについては、このブログで以前に、メカニズムデザインってだいじだと思う。 - hiroyukikojimaの日記などで紹介している。 社会的選択理論への招待 : 投票と多数決の科学 作者: 坂井豊貴出版社/メーカー: 日本評論社発売日: 2013/11/22メディア: 単行本この商品を含むブログ (7件) を見るお世辞抜きに言って、本書は、妬ましくなるほどに、み
楕円曲線のお勉強によい本 - hiroyukikojima’s blog
最近、楕円曲線の理論を解説している数学書をいろいろ読んでいるのだけど、出色の本があったので紹介しようと思う。それは、シルバーマン&テイト『楕円曲線論入門』足立恒雄・他訳(丸善出版)だ。とは言っても、きちんと読んだのは、まだ第１章だけで、あとはざっと眺めただけなのだが、それでもはっきり、「すばらしい本」だと評価できる。 楕円曲線論入門 作者: J. H.シルヴァーマン,J.テイト,Joseph H. Silverman,John Tate,足立恒雄,木田雅成,小松啓一,田谷久雄出版社/メーカー: 丸善出版発売日: 2012/08/25メディア: 単行本この商品を含むブログを見る 楕円曲線というのは、高校で教わる「楕円」とは異なることに注意しよう。楕円曲線は、(yの2乗)=(xの3次多項式)という方程式で定義される曲線であり、楕円(a(xの2乗)+b(yの2乗)=定数で定義される)とは全く異な
隠れて物理を勉強する - hiroyukikojima’s blog
ちょっと前から隠れて物理を勉強している。使っている本は、山本義隆『新・物理入門』駿台文庫、である。出版社名を見ればわかる通り、これは高校生向けの参考書である。 物理を勉強したいのは、研究上の必要と個人的な興味と両方なのだが、研究上必要な部分については、ちゃんともっと専門的な本で勉強しているので、この本を読んでいるのは個人的な興味のためである。そもそもは、熱力学や統計力学のことをわかりたくて、畏友の物理学者・加藤岳生にいろいろ根掘り葉掘り質問していたら、彼が「小島さんの疑問に答えられる最もいい本は、山本さんの参考書ではないか」といったのだ。そして、「高校生向けの参考書だけれど、普通の大学生向けの物理の教科書には書いていない根源的な問いに関する説明が試みられている名著ですよ」とも付け加えてくれた。それで買ったのだ。ぼくは、拙著『算数の発想』NHKブックスや『ゼロから学ぶ線形代数』講談社などに、
コンピュータが仕事を奪う - hiroyukikojima’s blog
新井紀子さんの新著『コンピュータが仕事を奪う』日本経済新聞出版社を読んだ。 非常に面白い本だった。新井さんの本については、これまで当ブログでは、数学は言葉 - hiroyukikojimaの日記とか、女子系数学書の誕生〜「式で書けること」と「計算できること」は違う - hiroyukikojimaの日記とかで扱ったけど、本書がこれまでの新井さんの本の中で最も勉強になった本となった。こういういい方も不遜だとは思うが、ぼくも数学ライターのはしくれで、新井さんよりキャリアが長い。だから、新井さんのこれまでの本は、もちろん、その主張や書きっぷり、構成の巧みさには感心するものの、それは「観客席」からの拍手ではなかった。どちらかというと、楽屋のモニターで腕組みしながらよそのバンドの演奏を聴き、「お、そんなとこでキメをいれるのか」とか「ここで、こういうコード展開をするのは勉強になるなあ」などと高みの見物
数学への恋心 - hiroyukikojima’s blog
今週末に、数学者の黒川信重先生と二度目の対談をする。 一度目は、数学のフィロソフィー - hiroyukikojimaの日記で書いた通り、雑誌『現代思想』での数論の特集号でだった。今回は、雑誌ではなく、書籍を作ろうという企画である。リーマン予想誕生150周年を記念した本の予定なのであるが、黒川先生は、リーマン予想解決の直前本になるだろう、と驚くべきことを言っている。まあ、黒川先生も加藤和也先生も、かなりおちゃめな人なので、発言についてはジョーク部分をだいぶ割り引いて受けとらなくてはならないだろう。 黒川先生が、リーマン予想解決の鍵になるであろう、といっている「1元体(F1)上の数学」というのが、今回の対談の話題の中心となると思うので、ほんのちびっとだけは話について行きたい、という思いから、その要となる「スキーム理論」の入り口のところを勉強してみた。スキームというのは、「代数幾何学」という分
統計学の面白さはどこにあるか - hiroyukikojimaの日記
先日、とあるパーティで、統計学者の松原望先生と会った。 松原望先生は、早期からベイズ統計学の重要性を世にアピールしてきた先駆者である。ぼくは、経済学部の大学院在学時に、選択科目ではあったが、松原望先生の「ベイズ統計学」という講義を受け、そこでベイズ理論の指南をしていただいた。ぼくは『確率的発想法』NHKブックスや『使える！確率的思考』ちくま新書の中で、ベイズ理論を紹介していて、それが多くの読者にウケて、この二冊はセールス的にも良い実績を出しているのだけど、正直言ってここに書いてあることの多くは、松原望先生の講義の受け売りである。そういう意味では、下品ないいかたになるが、大学院の数ある講義の中で最も「金に換えることのできた」講義が先生の講義だった、ということになる。 そのときは、放送大学の教材であった『統計的決定』という本を教科書に使った。これがめちゃくちゃいい本で、今でもベイズ統計学に関し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
