タグ

数学に関するikirunogahetaのブックマーク (4)

  • 統計・機械学習の理論を学ぶ手順 - Qiita

    社内向けに公開している記事「統計・機械学習の理論を学ぶ手順」の一部を公開します。中学数学がわからない状態からスタートして理論に触れるにはどう進めばいいのかを簡潔に書きました。僕が一緒に仕事をしやすい人を作るためのものなので、異論は多くあると思いますがあくまでも一例ですし、社員に強制するものではありません。あと項目の順番は説明のため便宜上こうなっているだけで、必ずしも上から下へ進めというわけでもありません。 (追記)これもあるといいのではないかというお声のあった書籍をいくつか追加しました。 数学 残念ながら、統計モデルを正しく用いようと思うと数学を避けることはできません。ニューラルネットワークのような表現力が高くて色々と勝手にやってくれるような統計モデルでも、何も知らずに使うのは危険です。必ず数学は学んでおきましょう。理想を言えば微分トポロジーや関数解析のような高度な理論を知っておくのがベス

    統計・機械学習の理論を学ぶ手順 - Qiita
  • 大人になってからの再学習

    数学: 「集合」と「集合の要素間に成り立つ演算」が成す構造についての学問 記号: 集合から集合への写像 集合の元から集合の元への写像 集合の族:集合の集合のこと。「集合の集合」と書くと、パラドクスが生じるようなので、こういう表現をする。 ベキ集合:部分集合全体の成す集合。 Xのベキ集合をと表記する 直積集合: 「2つの集合それぞれから1ずつ選んだ要素のペア」をすべて集めた集合 {a, b}×{X, Y} = {(a,X), (a,Y), (b,X), (b,Y)} 単射・全射・全単射:クラスの女子が、好きな男子にチョコレートをプレゼントする(ただし、女の子は1個ずつのチョコレートしかもっていない)という状況でたとえる。 単射:2つ以上のチョコをもらう男子はいない(1個ももらえない男子がいてもよい(女子の方が人数が少ない場合))。 全射:全員の男子がチョコをもらう(複数のチョコをもらう男子

    大人になってからの再学習
  • 無料で自宅でやりなおす→小学校の算数・数学 | 学校・教育算数から大学数学までweb上教材をリストにした 読書猿Classic: between / beyond readers

    先日の記事 誰もがどこかでつまずいた→小学校の算数から大学数学まで126の難所を16種類に分類した 読書猿Classic: between / beyond readers を読んだ人から「やりなおし魂に火をつけるだけつけて放置するのは無責任だ、何をやればいいのか教えろ」という問い合わせがあった。 小学校の算数レベルから微積分など高校+αまで、ついている予備テストをやれば、どの章は飛ばしていいか、どこの章のどの問題を勉強すればよいかを教えてくれる往年の名著(が復刻してた) を紹介しようと思ったが(科学を志さない人にも勧められる)、買い損なった場合と人のために、web上の教材をリストにして、先の記事の補いとする。 (2017.9.6 リンク切れ等、訂正しました) 小学校〜高校 小学校の算数 中学校の数学 高校数学 大学数学基礎 小学校〜高校 小学校「算数科」,中学校・高等学校「数学科」の内容

    無料で自宅でやりなおす→小学校の算数・数学 | 学校・教育算数から大学数学までweb上教材をリストにした 読書猿Classic: between / beyond readers
  • Agda による圏論入門

    Menu Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 BitBucket category-exercise-in-agda source code Agda の入門の要約 Agda の入門 Agda の集合の Level Agda の record Agda のReasoning Caategory module と圏の入門 自然変換 IdentityFunctor と Hom Reasoning Monad の結合則 Sets と Monoid を使った Monad の例 Kleisli 圏の構成 ここまでが Monad を理解するための部分。以下は、Adjoint 関連です。 Adjoint から Monad を導く Kleisli 圏による Mona

  • 1