数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
伝説の入試問題（数学）＠受験の月
伝説の入試問題（数学）について 良問・難問・奇問であるが故に伝説となっている(と個人的に思う)大学入試の数学の問題を集めてみた。 2013年 センター試験 つかれた盲点！1ヶ所で27点が奪われた！ 2010年 センター試験 センターレベルを超えた高難度の問題2連発がもたらした惨劇 2006年 京都大学 最も短い入試問題 2003年 東京大学 円周率を３にしようとするゆとり教育への警告？ 2002年 静岡大学 正確なグラフの図示で現れる世界遺産 1999年 東京大学 公式丸暗記に対する警告？ 1998年 東京大学 大学入試史上No.1の超難問 1998年 信州大学 フェルマーの最終定理 1995年 京都大学 自分の点数を自分で決められる？ 1993/2008年 東京工業大学 15年の時をまたいで難問再び！1行の記述で30点満点の10点？ この問題の図を描いてみると下のようになる。APの長さは
「数学の概念」を視覚的かつ美しく表現したグラフィックいろいろ
「数学の美しさ」というものは、数学を深く理解することで初めて得られる感覚と言われます。美しさが伝わると数学嫌いも少しはマシになるのかもしれませんが、数学嫌いの人にはそもそも美しさを伝えることができないということで、歯がゆい思いをしている数学愛好家は多いもの。そんなときに便利な、「数学の概念」を視覚的に理解できるグラフィック集は以下の通りです。 soft question - Visually stunning math concepts which are easy to explain - Mathematics Stack Exchange http://math.stackexchange.com/questions/733754/visually-stunning-math-concepts-which-are-easy-to-explain ◆01：奇数の和 奇数の和が平方数にな
方程式を追放して図形で解いてみた ー 数学となら、できること
少女：小さい頃、図形の証明とか得意だったけど、数式がいっぱい出るようになって数学が嫌いになった、って人、結構いますよね？ 禁煙：ええ。 少女：前に数式は、自然言語（ことば）より簡潔に表せる表現手段なんだ、 問：数学を何故学ぶか？ 答：言葉で伝えきれないものを伝えるため／数学となら、できること／図書館となら、できること番外編 読書猿Classic: between / beyond readers って禁煙さん言ってたけど、それって数式で楽になるって話ですよね？ 禁煙：あまり楽になる感じがしない？ 少女：数学で楽できたことなんてないです。 禁煙：そうかしら。でも確かに学校だと、大変な方のやり方を教えないものね。 少女：大変な方？ 禁煙：比較の対象がないと、どれくらい楽になったのか分かりにくいでしょ？ 少女：それはそうかもしれないけど・・・。 禁煙：じゃあ、方程式のことは一旦忘れて、それ以前の
数学解釈のための方言講座ー数学特有の、慣れないと不思議な言い回しを解説する 読書猿Classic: between / beyond readers
以前「教科書は教えてくれないけれど知らないと教科書が読めない学習語リスト」という記事を書いた。 教科書は教えてくれないけれど知らないと教科書が読めない学習語リスト 読書猿Classic: between / beyond readers 専門用語は、教科書の中で説明してあるし、専門辞書を引くこともできる。 けれども、教科書や専門辞書の説明の中には、特に説明なく使われる言葉がある。 前の記事では、これを〈学習語〉と呼んだ。 〈学習語〉は、（とくに子どもたちが交わす）日常の話し言葉には登場しにくい抽象語などが含まれている。 教科書や専門辞書の説明は、そうした〈学習語〉を知っていることが前提になっている。 知っていないと、日々の学習でつまずき、後れを取ることになってしまう。 今回取り上げるのは、〈学習語〉と似ているが、もう少しやっかいな言葉たちである。 〈学習語〉は、そうはいっても一般語であって
やる夫で学ぶ応用数学 -フーリエ解析-
■掲示板に戻る■ ■過去ログ倉庫一覧■ やる夫で学ぶ応用数学 -フーリエ解析-1 ： ◆zmN9XuyND6：2011/12/24(土) 20:28:30 ID:QzQ2AiG6 / :..:..:.:.:.:.:.:.:.:.: : : : : : .ﾉ : : : : : : : : : .ハ. /..:..:..:..:..:. :.:.: : : : : : ／: : ／:.}. . . . ／: : : .､ はろー /:..:..:..:..:.. :.: : : : : : ／: : ／ ,勹. . .／.: : : : }:.:.: /:..:..:..:.:.: rt ､/: : ／/ｰ ´ ｀メ､:.:.／.:.／: : :/: : i 今日はフーリエ解析と、その周辺の科学について /:..:..:.:..／∧ /: ／: / { 笊ﾐ彡
第１４回：全ての植物をフィボナッチの呪いから救い出す
連載コラム 「生命科学の明日はどっちだ」 目次 第１４回：全ての植物をフィボナッチの呪いから救い出す ロマネスコ（左）とマンデルブロ集合の一部（右） 植物にかかったフィボナッチの魔法 このオーラ全開の野菜、なんだか知ってますか。 そう、最近デパートなんかではよく見るようになったロマネスコというカリフラワーの仲間である。 一説によると、悪魔の野菜とか、神が人間を試すために作った野菜とか言われているらしい。 なんと言っても凄いのは、フラクタル構造がめちゃめちゃはっきり見えること。 まるでマンデルブロ集合みたいだ。 ね、似てるでしょう。フラクタルがこんなにはっきり見える構造物は、他には無いんじゃないかな。 この植物が面白いのは、それだけでは無い。 実の出っ張った部分をつなげていくと、らせん構造がくっきり見えてくるでしょう？ そのらせんの本数を数えてみよう。 右向きのらせんと左向
100マス微分方程式
百升微分方程式 大好評だった(?)100ます積分に続いて、100ます微分方程式を作ってみました！ 以下の100の微分方程式を解き、y＝f(x)を求めてください！ 大学1～2年くらいのレベルですかね。 こちらも、どなたか模範解答を作ってみてくださいw ツイート
凡人が数学を語学として学ぶ具体的な手続きを説明する／図書館となら、できること番外編
少女：数学はどうやって勉強してるの？ 少年：得意じゃないから、語学とほとんど同じ。というか第二言語のつもりでやってる（Mathematics as a Second Language）。 ・読書猿Classic 数学にはネイティブはいない：「語学としての数学」完全攻略＝風景＋写経アプローチ 少女：まえに、２００ページくらいのテキストを用意して、目次を見て、全体をざっと見て…といってた、あれ？ ・図書館となら、できること番外編／マイナー言語のBookishな学び方 読書猿Classic: between / beyond readers テキストは〈分かる〉系より〈解ける〉系 少年：そう。最初はなるべくコンパクトな本を使う。一冊で分からないところが他の本を見ると分かることがあるから、手に入るだけは確保するのも…… 少女：語学のときと同じ？ 少年：うん。ただマイナー言語とは違って数学関係の書籍
「数学的ゲームデザイン」というアプローチ - doryokujin's blog
前回の議論をより一般化した話です。数式も少なめ。実ビジネスにおいて数学がどこまで貢献できるのかというところを理解してもらい，少なからず関心を持って頂ければ幸いです。ただしあくまで読み物として捉え，実世界ビジネスにおける違法性など指摘をするのはやめて下さい。 目次 1. 『コンプガチャの数理 -コンプに必要な期待回数の計算方法について-』 2. 『「数学的ゲームデザイン」というアプローチ』 3. 『コンプガチャの数理 -ガイドラインに基づいたゲームデザイン その1-』 4. 『コンプガチャの数理 -ガイドラインに基づいたゲームデザイン その2-』 定義 「数学的ゲームデザイン」とは，とある数学モデルのレールに沿ったゲームをデザインすることである。それによって，その背景にある種々の数学的性質を活用して優位な戦略を立てることが可能になる。 コンプガチャは，「The Coupon Collecto
数学に近い分野の情報収集 - Preferred Networks Research & Development
はじめに 大野です。今回は数学に関する情報入手方法について、自分が知っている範囲でお話をしようと思います。特に4月に大学や大学院に入学した方や、数学の勉強を始めたいけれど何から始めればよいかわからないという方などを想定して紹介していこうと思います。 数学に限らないかもしれませんが、勉強をしようとすると解決すべき問題が色々と生じます。 そもそも文献（本・講義録・雑誌）はどこにあるのか 文献はあるけれど、どれから調査・勉強を始めればよいか 勉強を始めたけれどわからなすぎる。誰かに質問したいけれどどこで聞けば良いのだろうか 以下では大体この流れに沿って情報源などを紹介していこうと思います。 文献を探す 本 図書館 私の地域の公共図書館は比較的数学の本が充実しており、数学の本もよく借りています。どの分野でも専門書は通常の本よりも高額で、購入するのに躊躇するかもしれません。ですので、まず試しに図書館
ポリアだけじゃない問題解決の考え方／勘どころを教える数学の１１冊
故あって《数学を教える》ことについての本を読んでいた。目にしたものは、どれもしびれるほど面白い。 思えば先日Amazonで一時ベストセラーになってたG. ポリア『いかにして問題をとくか』（クローズアップ現代で取り上げられてたことを教えていただいた方々遅ればせながらありがとう）だって数学書というより（そして数学啓蒙書というより）も、数学教育書だった。 ところで数学について、解き方は教えられても、考え方は教えるのは無理だと考える人は今でも多い。 そういえば、はやりの中学数学やりなおし本などでも、結局のところ「こんな風に解け」としか言っていない。まったく、あんなものどこがいいんだか。 そうやれば解けることは分かるけれど、本当に知りたいと思うのは「どうしたらそういう手順を自前で思いつけるのか」ということなのだ。 『いかにして問題をとくか』のあまりに有名な一節。 「この解法はうまくて間違いがないよう
カオスちゃんねる : 確率論専攻の俺がクイズ出すから答えてみろ
2020年01月19日22:00 確率論専攻の俺がクイズ出すから答えてみろ 過去のおすすめ記事の再掲です1 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2010/11/18(木) 20:17:42.22 ID:lZ103opE0 俺の気が済むまで問題出す 2 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2010/11/18(木) 20:18:47.89 ID:lZ103opE0 1万人に1人の割合で感染しているウイルスがある。 精度99％を誇る検査で陽性（感染）と診断された。 感染の確率は？ 理系出身者→確率を求めよ 文系出身者→感染確率は50％より高いor低い？ 答えは>>30 それまで解説とかしてくれるなよ 4 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2010/11/18(木) 20:20:00.71 ID:axzK
「足して９になる数字」が四則演算すべての検算を驚くほど加速する理由
Author:くるぶし（読書猿） twitter:@kurubushi_rm カテゴリ別記事一覧 新しい本が出ました。 読書猿『独学大全』ダイヤモンド社 2020/9/29書籍版刊行、電子書籍10/21配信。 ISBN-13 : 978-4478108536 2021/06/02 11刷決定 累計200,000部（紙＋電子） 2022/10/26 １４刷決定 累計260,000部（紙＋電子） 紀伊國屋じんぶん大賞2021 第３位 アンダー29.5人文書大賞2021 新刊部門 第１位 第２の著作です。 2017/11/20刊行、４刷まで来ました。 読書猿 (著) 『問題解決大全』 ISBN:978-4894517806 2017/12/18 電書出ました。 Kindle版・楽天Kobo版・iBooks版 韓国語版 『문제해결 대전』、繁体字版『線性VS環狀思考』も出ています。 こちらは１０刷
世の中は、巧妙に隠されてはいるけれど、いっぱいある高度な数学 - akira_youの私見
http://twitter.com/aomoriringo/status/8371952492http://twitter.g.hatena.ne.jp/maname/20100203/1264919573そんな例を私が知っているだけ書いてみるテスト。概要だけしってるのばっかりなので、うわっつらかもしれないけれども、そのへんの学部生よりかは知ってるつもり。ケータイ電話音声を人間の耳の仕組み（共振）で捕らえるためにフーリエ変換を使う、日本語で言えば周波数解析ってところかな情報圧縮のための予測残渣,音声データって人間がしゃべるモノだからある程度の規則性があって予測ができちゃう。数学的にもっとも高確率で予測できる数式をつくって、ハズレた分だけ情報おくれば少ない情報おくればいいよねっていう技術聴覚モデルをつかった圧縮。でかい音がなってれば、小さな音は聞こえなくなっちゃう。聞こえない音の情報カット
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
