現在の子たちは行列を知らない
2015年から１次変換と行列は高校数学から削除されました。 文系クラスだけれども行列を習ったよという人は年齢40代から50代の人です。 「数Cが消滅しました」と聞いてびっくりする人はたぶん20代~40代の人です。 2015年からは理系にすら行列を教えていません。 数Aの確率から「期待値」が消滅したのも地味に痛いです。 2024年からはさらに数学を削減予定です。 ベクトルを学ばずに大学生になれる！？ ～ 新学習指導案で日本は滅びます - Togetter ベクトルが高校数学Cに移動するので，カッとなって過去の学習指導要領から線形代数の分野を表にしてみた。 pic.twitter.com/k7VJjPrxvq— ジョゼフ・アンリ (@joseph_henri) 2018年2月16日 大学で教えている人の間で2年程前から話題になっています。１年生を教えている人は頭を抱えています。 あなた方は実験
なぜ数を「0」で割ってはいけないのか？
数学の世界では、ルールを変えれば奇妙な答えであっても存在することが可能になります。しかし、「数をゼロで割るな」というルールは、多くの場合「破ってはいけないもの」と言われます。なぜ「ゼロで割るな」というルールを破るべきではないのかを、アニメーションでわかりやすく解説したムービーが公開中です。 Why can't you divide by zero? - TED-Ed - YouTube 「数をゼロで割るな」というルールが説かれるのは、ゼロの性質ゆえ。基本的に、「10÷2＝5」「10÷1＝10」のように、ある数を小さな数で割るほど、解は大きくなります。 この関係性をグラフにするとこんな感じ。縦軸を商、横軸を「10を割る数」で表すと、割る数がゼロに近づくほど商が大きくなっており、10をゼロで割ると商が無限大になるかのように思えます。 しかし、実際には「10÷0」は無限大ではありません。 このこ
機械学習をやる上で必要な数学とは、どの分野のどのレベルの話なのか（数学が大の苦手な人間バージョン） - 渋谷駅前で働くデータサイエンティストのブログ
しばらく前にこんな記事が出ていたのをお見かけしました。 明らかにこれは僕が某所（笑）で適当に放言したことがきっかけで巻き起こった議論の一旦なのではないかと思うのですが、個人的にはこちらの@yohei_kikutaさんの仰る通りで大体良いのではないかと考えております。 なのですが、言い出しっぺらしき身としてはもうちょっと何か具体的な話を書いた方が良いのかな？とも思いましたので、常々公言しているように数学が大の苦手な身ながらどの分野のどのレベルの数学が機械学習をやっていく上で必要なのかという点について戯言だらけの駄文を書いてみることにします。 深層学習 (機械学習プロフェッショナルシリーズ) 作者: 岡谷貴之出版社/メーカー: 講談社発売日: 2015/04/08メディア: 単行本（ソフトカバー）この商品を含むブログ (13件) を見るちなみに、以下に並べる戯言は深層学習青本から得られた知識を
「技術者のための基礎解析学」が発売されます！ - めもめも
www.shoeisha.co.jp 『ITエンジニアのための機械学習理論入門』（技術評論社）、そして、『TensorFlowで学ぶディープラーニング入門』（マイナビ出版）を出版させていただいた後、「機械学習に必要な数学をもう一度しっかりと勉強したい！」ーー そのような声を耳にすることが次第に増えてきました。とりわけ、私の書籍の熱心な読者の方から「この本にある数式を理解したくて、あらためて数学の勉強を始めました！」という声を聞き、何かその手助けができないか・・・と真剣に考えていた折、翔泳社の片岡仁氏から「数学の本でも書きませんか？」とのお声がけをいただき、本書の構想が始まりました。決して初心者向けとは言い難い、本格的な数学書の企画に賛同いただき、書籍化に向けた支援をいただいたことにあらためて感謝したいと思います。また、本書の原稿を隅々まで確認していただいた、査読者の方々にもこの場を借りてお
赤池弘次 - Wikipedia
赤池 弘次（あかいけ ひろつぐ、1927年11月5日[1] - 2009年8月4日[2]）は、日本の数理統計学者。1970年代に確立した赤池情報量規準(AIC)で知られる。統計数理研究所所長。2006年京都賞受賞者（基礎科学部門）[3]。 1927年、静岡県にて生まれた[1]。1945年、海軍兵学校（75期）を卒業し、第一高等学校に入学。1948年、第一高等学校を卒業。同年4月に東京大学理学部に入学し、数学を専攻した。1952年、東京大学理学部数学科を卒業。 卒業後は、1952年4月より統計数理研究所に入った(文部技官)。1961年、学位論文『間隔過程の統計的管理について』を東京大学に提出して理学博士号を取得[4]。1962年より統計数理研究所第一研究部第二研究室長、1973年より同研究所第五研究部長、1985年より同研究所予測制御研究系研究主幹を務めた。1986年、統計数理研究所所長に就
ジップの法則 - Wikipedia
ウィキペディア（30ヶ国語版）における単語の出現頻度 ジップの法則（ジップのほうそく、Zipf's law）あるいはジフの法則とは、出現頻度が k 番目に大きい要素が、1位のものの頻度と比較して 1/k に比例するという経験則である。Zipf は「ジフ」と読まれることもある。また、この法則が機能する世界を「ジフ構造」と記する論者もいる。 包括的な理論的説明はまだ成功していないものの、様々な現象に適用できることが知られている。この法則に従う確率分布（離散分布）をジップ分布という。ジップ分布はゼータ分布（英語版）の特殊な形である。 この法則はアメリカの言語学者ジョージ・キングズリー・ジップに帰せられている。ジップ以前に似た観察をしていた先行研究としてFelix Auerbach（英語版）、Jean-Baptiste Estoup（フランス語版）などの研究があり、ジップ自身もそのことを1942年
カリー／ハワード対応への障壁 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「カリー／ハワード対応を小一時間で説明してみようか」と思ったのですが、すぐさま、この企ては諦めました。無理だよな。もちろん、ある程度の準備が必要という事情がありますが、分かりやすい対応を作る際に障害物・障壁があるんですよね、… ったくもう。愚痴を書きます。 内容： 何と何を対応させるのか シーケント計算を考慮する 邪魔だが無視できない存在としての自然演繹 悩む！ 何と何を対応させるのか カリー／ハワード“対応”なんで、何かと何かを対応させるのでしょうが、何を対応させるの？ オーソドックスな答は「論理と型付きラムダ計算を対応させる」でしょう。はい、それでいいです、文句ありません。 型付きラムダ計算は、方言があるとはいえ、比較的安定した構文を持ちます。で、論理側の対応物は何にしましょう？ 自然演繹とシーケント計算が候補になるでしょう。僕は、自然演繹は一切使わないで、シーケント計算とラムダ計算の
CodeIQについてのお知らせ
2018年4月25日をもちまして、 『CodeIQ』のプログラミング腕試しサービス、年収確約スカウトサービスは、 ITエンジニアのための年収確約スカウトサービス『moffers by CodeIQ』https://moffers.jp/ へ一本化いたしました。 これまで多くのITエンジニアの方に『CodeIQ』をご利用いただきまして、 改めて心より深く御礼申し上げます。 また、エンジニアのためのWebマガジン「CodeIQ MAGAZINE」は、 リクナビNEXTジャーナル( https://next.rikunabi.com/journal/ )に一部の記事の移行を予定しております。 今後は『moffers by CodeIQ』にて、 ITエンジニアの皆様のより良い転職をサポートするために、より一層努めてまいりますので、 引き続きご愛顧のほど何卒よろしくお願い申し上げます。 また、Cod
折り紙一枚で証明する三角関数の加法定理
絶対わすれるでしょ． 三角関数の加法定理は，文系でも理系でも，誰しもが高校で習うんですが，意外と図形的な意味を理解してる人って少ないんです． ということで，今回はこの，加法定理を折り紙を使って理解してみましょう． 折り紙を使った証明 例えば，下にこんな折り紙があると考えます． これを，真ん中あたりで折ってみましょう． すると，以下のようになりますね． ここではわかりやすいように，表と裏が違う色の折り紙を使っています． 折り目の長さが1だったとして考えてみましょう． この青い部分の三角形だけ抜き出して考えてみましょう． 以下の図のように，折った角度が角\(\alpha\)だとすると，青い三角形の各辺の長さは以下のようになりますね． 今は，青い部分の三角形だけを抜き出したので，元の場所に戻してあげます． 以下の図に示す場所を角\(\beta\)とします． 小学校で，「三角形の3つの角の和は18
ベイズの定理はキリスト教の擁護から始まった - himaginary’s diary
というブログエントリにEconomist's Viewがリンクしている。そのエントリは、脳科学とベイズの定理を扱ったノーチラス誌*1のブログ記事の冒頭部を引用したものである。 以下はその冒頭部。 Presbyterian reverend Thomas Bayes had no reason to suspect he’d make any lasting contribution to humankind. Born in England at the beginning of the 18th century, Bayes was a quiet and questioning man. He published only two works in his lifetime. In 1731, he wrote a defense of God’s—and the British mo
機械学習に必要な高校数学やり直しアドベントカレンダーのカレンダー | Advent Calendar 2016 - Qiita
今年、機械学習の本を少なくとも一度は手にした人は多いのではないでしょうか。 数ページめくっていると、数式のオンパレードで、「うっ」てなって、静かに本を閉じてから数ヶ月。 すでに本棚の肥やしになっていたりしませんか？ それは私です。これはイカンと思って 機械学習の本を理解するための高校数学のおさらいをしようよ！で、作りました。 誰が書くの？ すでに、おさらいが終わった人、 これを機会におさらいを始めてみようと思った人、 おさらいする必要もなく理解している人、 一緒にこのアドベントカレンダーを作りませんか？ 何を書いたらいいの？ 得意な分野の説明をわかりやすく説明、三角関数とか行列とか統計とか・・・ 自分の勉強法の紹介 オススメの書籍やオススメ記事やオススメ勉強法の紹介 などなど 来年はもっと理解出来た状態で、機械学習と向き合う年にしましょう！
最近のチェン先生 - 檜山正幸のキマイラ飼育記 (はてなBlog)
“元気のいい圏論・モナド・オネエさん”として紹介したことがあるシェフィールド大学のユージェニア・チェン (Eugenia Cheng)先生： 2007年 オネエさんがモナドを教えてあげようか 2009年 圏論講義ビデオの制作ユニット The Catsters 最近どうしてるのかな？と思ってYouTubeを探してみたら、相変わらず元気ですね。2015年に"How to Bake Pi"という本を出版したとのことで、その宣伝をかねてでしょうか、テレビ番組に出演なさってます。テンション高すぎの平野レミさんと僕が好きなたかまつななさんを足した（で割り算はしない）ようなキャラクターです。 チェン先生、芸人ですわ。 チェン先生は音楽家（ピアノ）でもあるんですが、演奏の動画は見あたらなかったです。が、歌声は聞けます。上記のテレビ番組のときに撮影したようです。
Webプログラマと数学の接点、その入り口
フロントエンドのパラダイムを参考にバックエンド開発を再考する / TypeScript による GraphQL バックエンド開発
Create Regular Expression Engine - (rudolph-miller)
正規表現エンジンの作り方 (と形式言語とオートマトン). (数式多めなのでPCでの閲覧を推奨.) Regular Expression History Math Regular Language & Regular Expression Ring Semi-ring Idempotent semi-ring Kleene algebra Language Regular Language Pure Regular Expression Regular Expression => Regular Language Regular Language => Regular Expression Regular Language <=> Regular Expression Regular Language & Finite Automaton Abstract machine Finite au
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
もしギャンブルが確率のゲームなら、なぜ数学者が世界一の大金持ちになっていないのでしょうか？
数式を綺麗にプログラミングするコツ #spro2013
Framer — The internet is your canvas
https://rentwi.textfile.org/?759297917043609600s
「異世界からきた」論文を巡って： 望月新一による「ABC予想」の証明と、数学界の戦い
http://tink.elliptium.net/2016/06/25/good_math_has_been_published_in_japanese.html