Software Foundations
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad range of readers, fro
機械学習の教科書 : 情報系研究者の卵が妄想力を高めるために頑張るブログ
記事が少ないと寂しいので，自分の専門について書こうと思います． 私が現在専攻しているのは，簡単に言うと「機械学習」ということになるでしょう． 細かく言うと，その中でも機械学習の観点から，統計的な「時系列解析」を扱っています． 最近，ビッグデータだのディープラーニングだので機械学習が（まさに）にわかに脚光を浴びていますので，機械学習を勉強したいんだけど，なにから初めていいのかわからない．．．という人があふれているかもしれません． そういう人のために，教科書を紹介するのも専門家の役目だと私は思っているので，浅学ながら紹介します． 全くの初心者向け 機械学習を学ぶために必要な数学的知識として，主なものは 解析学（微分積分学）線形代数統計学 です．これは情報系大学数学の三本柱と言い換えてもいいかもしれませんｗ まず，解析学・線形代数は大学初年度程度のリテラシーがあれば大体は大丈夫です． 解析学では
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
