数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
理系の高校生に読んでほしい社会的選択理論 - hiroyukikojima’s blog
今回は、坂井豊貴『社会的選択理論への招待』日本評論社を紹介しようと思う。この本は、刊行直後に手にしたのだが、じっくり腰を据えて読みたい、と思うあまり、今まで一年もの時間が経過してしまった。しかも、とても忙しいときに限って、逃避行動としての読書をしたくなるものであり、この時期に本書を読んだのは、正直、逃避行動である。であるから、かなり雑な読み方をしており、したがって、雑な書評になることを事前に言い訳しておきたい。ちなみに、著者の坂井さんについては、このブログで以前に、メカニズムデザインってだいじだと思う。 - hiroyukikojimaの日記などで紹介している。 社会的選択理論への招待 : 投票と多数決の科学 作者: 坂井豊貴出版社/メーカー: 日本評論社発売日: 2013/11/22メディア: 単行本この商品を含むブログ (7件) を見るお世辞抜きに言って、本書は、妬ましくなるほどに、み
数学とは何か - hiroyukikojima’s blog
昨年暮れに衝撃を受けたのは、YUI完結のニュースだった。ほとんどYUIの音楽しか聴かない生活になっていたので、「おりゃ、いったい今後、何を聴いて暮らせばいいだべさ」と真っ暗な気分になった。まあ、YUIは、新年早々から単独の音楽活動を再開しているそうで、ぼくらの前に再登場するのもそんなに遠いことじゃないのかもしれないが。。。 しか〜し、である！ 捨てる神あれば拾う神あり。新年から、実は、別のミュージシャンにはまってしまっている。しかも、男性ミュージシャン。しかも、V系。どうしたんだオレ、って感じだ。 それは、雅-Miyavi-っていう人。知ったきっかけは、暮れのFNS音楽祭。YUIを観ようと流し観してて、ぶっとんでしまった。和田アキ子のバックを弾いてたMiyaviのギターにあまりにびっくりして、それからyoutubeで彼のプレーをいろいろ観てみた。そして、衝撃を受けた。どうして今まで、こんな
数学って「思想」なんだよな - hiroyukikojima’s blog
最近、代数幾何を勉強し始めた。来年出す新書の準備の一環としての勉強だ。 代数幾何というのは、多変数の多項式の解(零点)の点集合(放物線とか、円とか、球などの空間図形はその一種)の性質を分析する分野のことだ。高校で教わる「代数・幾何」を化け物のようにしたような分野だと思えばいい。(間に「・」があるかないかで雲泥の差なのだ)。 実は、ぼくは昔、数学科に在籍したときは、代数幾何が専攻だった。数論を専攻したかったのだけど、成績が悪くて希望のゼミに入れなくて、同級生の「数論をやるなら代数幾何は勉強しておいたほうがいいよ」という一言で、代数幾何のゼミに入れてもらうことにしたのだ。でも、そのゼミでは、代数幾何をほとんど勉強しないまま終わった。ゼミのときは毎週、準備してきたことが10分で先生に撃墜されて、残りの時間はずっとお説教をされていたからだ。(読者に優しい数学書を書く技術 - hiroyukikoj
お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojima’s blog
下の方に、付記を書きました(11月24日) 来月に刊行される新書を書くためと、ゲーム理論の研究のためとで、ずっと数理論理の勉強をしてきた。このブログでも、何冊かの数理論理の本を紹介してきた(例えば、ゲーデル本食い歩き - hiroyukikojimaの日記など）。そんな中、最近読んだものの中に、お勧めの本が2冊見つかったので、今回はそれを紹介しようと思う。 一冊目は、鹿島亮『数理論理学』朝倉書店だ。 数理論理学 (現代基礎数学) 作者: 鹿島亮出版社/メーカー: 朝倉書店発売日: 2009/10/01メディア: 単行本購入: 11人 クリック: 367回この商品を含むブログ (5件) を見るこの本は、序文に「千葉大学の古森雄一先生とディスカッションして書いた」というようなことが書いてあったので、信頼できる本だろうという予想の下で購入することとしたのだ。(古森先生については、ロックバンドZF
『入門ベイズ統計』の読みどころ - hiroyukikojima’s blog
今回は、前回の日記の補足。 前回の統計学の面白さはどこにあるか - hiroyukikojimaの日記で松原望先生の本 入門ベイズ統計―意思決定の理論と発展 作者: 松原望出版社/メーカー: 東京図書発売日: 2008/06メディア: 単行本購入: 107人 クリック: 2,061回この商品を含むブログ (46件) を見るを紹介した。そのときは、この本を手にしていなかったので、早速注文した。そして今、手に入って、ぱらぱらと眺めてみた。そう、予想通り、これは名著『統計的決定』放送大学に大幅加筆をしたものだった。というわけで、紹介してしまった手前、責任をもってもうちょっとフォローしなければ、と思ってこれを書いている。 この本は確かに名著である。その理由をいくつか挙げてみよう。まず挙げるべきは、 ベイズ推定の哲学的背景について包み隠さず正面から書いている という点である。前回も書いたが、ベイズ推
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
