統計・機械学習の理論を学ぶ手順 - Qiita
社内向けに公開している記事「統計・機械学習の理論を学ぶ手順」の一部を公開します。中学数学がわからない状態からスタートして理論に触れるにはどう進めばいいのかを簡潔に書きました。僕が一緒に仕事をしやすい人を作るためのものなので、異論は多くあると思いますがあくまでも一例ですし、社員に強制するものではありません。あと項目の順番は説明のため便宜上こうなっているだけで、必ずしも上から下へ進めというわけでもありません。 （追記）これもあるといいのではないかというお声のあった書籍をいくつか追加しました。 数学 残念ながら、統計モデルを正しく用いようと思うと数学を避けることはできません。ニューラルネットワークのような表現力が高くて色々と勝手にやってくれるような統計モデルでも、何も知らずに使うのは危険です。必ず数学は学んでおきましょう。理想を言えば微分トポロジーや関数解析のような高度な理論を知っておくのがベス
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する - エンジニアHub｜Webエンジニアのキャリアを考える！
Coqで学ぶ証明プログラミング！ テストだけでなく「証明」で安全性を保証する プログラミング言語「Coq」では、プログラムを「証明」して間違いを防ぐことができます。プログラムの正しさを保証できる一歩進んだエンジニアになりましょう！ coqtokyoを主催する今井宜洋さんの解説です。 みなさん、Coqってご存知ですか？ プログラムを証明して間違いを防ぐという優れものです。今回はそのCoqについて、coqtokyoという勉強会を主催している今井宜洋がお届けします。 プログラムをただ作るだけではなく、その正しさを保証できる一歩進んだエンジニアになってみましょう！ Coqって何？ プログラムを「証明する」ってどういうこと？ Coqを使ってみよう Coqのインストール方法 CoqIDE：Coqによる証明開発のフロントエンド Coqで関数プログラミング プログラムの仕様を記述しよう 証明開発モード ゴ
type theory in nLab
set theory fundamentals of set theory propositional logic first-order logic typed predicate logic membership relation propositional equality set, element, function, relation universe, small set, large set material set theory membership relation, propositional equality, axiom of extensionality pairing structure, axiom of pairing union structure, axiom of union powerset structure, axiom of power set
モナドのKleisli圏 | tnomuraのブログ
圏論からHaskellのIOモナドへの最短距離の近道を示してくれる文書を見つけた。 『モナドへの近道・Haskell からの寄道』 中村翔吾著 がそれだ。数学的にきちんと説明してあるので、読んですぐ理解できるようなものではないが、何となくIOモナドの考え方の雰囲気のようなものは伝わった気がする。 大げさな話になるが、この世界は何でできているかというと、いろいろな物とそれらのあいだの関係で成り立っていると言ってもいい。すなわち、世界のモデルの雛形として、集合Xと集合YとX->Yの関数 f(x) の集まりである関数の集合 Hom(X,Y) を考えることができるということだ。 たとえば、集合 X={1, 2} と集合 Y={a, b} からなる世界があり、X->Yの関数を集めた集合、Hom(X,Y) ={f, g} があったとする。すると、X, Y, Hom(X,Y) の三つの組みでこの世界は成
集合知プログラミング 2章 - 類似度計算の比較 - たぐってつづる
id:plasticscafe が「集合知プログラミング」をPythonからScalaに翻訳しながら写経していくというので， 尻馬に乗って自分もやった気になってみよう ちょっとお手伝いがてら自分もやってみました． まとめ Scalaで集合知プログラミング 集合知プログラミング 作者: Toby Segaran,當山仁健,鴨澤眞夫出版社/メーカー: オライリージャパン発売日: 2008/07/25メディア: 大型本購入: 91人 クリック: 2,220回この商品を含むブログ (267件) を見る 本題 「集合知プログラミング」2章のエクササイズに Tanimoto係数について調査、検討してみる というのがあるそうなので，コサイン類似度と比較してみました*1． 以下，勘に頼る部分が大きいので詳しい人からコメントほしいっ！ 数式で比較 比較するデータの組を下のようにn個ずつのベクトル（配列）とし
Jaccard index - Wikipedia
Each attribute must fall into one of these four categories, meaning that The Jaccard similarity coefficient, J, is given as The Jaccard distance, dJ, is given as Statistical inference can be made based on the Jaccard similarity coefficients, and consequently related metrics.[6] Given two sample sets A and B with n attributes, a statistical test can be conducted to see if an overlap is statisticall
衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)
デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。 さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。 [追記 date="翌日"]取り急ぎ勢いで書きましたので、不注意と早とちりが混じっていました。追記と取り消し線の形で訂正と注記を足しました。字句レベルの表現の変更は直接編集しています。 あとそれと、圏論の基本用語を知りたいときはコチラ、… って、……、ゴメン！[/追記] 内容： はじめに 本の購入のサンプル スキーマのグラフ表現 キーとか計算カラムとか 圏としてのスキーマ 関手としてのデータベース状態 テーブルの変化 自然変換としてのデータ操作 データベースに圏論が使
10分で理解するBusiness Analytics、その全体像
Business Analyticsってよく聞くけれどどんな知識が必要なもの？ 数学のプロじゃないと踏み込めないの？ ビッグデータブームとどう関係するの？ というあたりをゼロから整理。業務のスキマ時間でチェックしてみよう。 昨今、Business Analyticsというキーワードが注目を浴びています。基幹系システムの導入から時間が経過し、企業にデータが蓄積され、それらを活用する技術が進歩してきたことから、企業はIT技術を活用し、データを解析することによって、これを自らの競争優位の源泉にしようとしています。 一昨年ほど前から「ビッグデータ」「データサイエンティスト」などといったバズワードがよく聞かれるようになりました。こうした言葉を耳にして、今後これらの分野でのキャリア展開を念頭に関心を持っている方も少なくないでしょう。ただし、興味はあれどもこれらの技術に対する経験がなく、何をしてよいか分
読者に優しい数学書を書く技術 - hiroyukikojima’s blog
ここ数日、堀川 穎二『複素関数論の要諦』日本評論社を読みふけっている。そして、めちゃくちゃ感動している。数学書でこんなに興奮するのは久々のことだ。 複素関数論の要諦 作者: 堀川穎二出版社/メーカー: 日本評論社発売日: 2003/03メディア: 単行本購入: 34人 クリック: 1,278回この商品を含むブログ (2件) を見るこの本を取り寄せたのは、複素積分を新書で解説する、という無謀な計画をぼくが抱いているからだ。その準備となる原稿を書いているのだけど、複素積分に関するコーシーの定理の証明方針に迷っていて、それでいろいろな複素関数論の本をひもといてるってわけ。 本書は、堀川先生が東大の数学科進学の決まった2年生に行った講義を忠実に収録している。その忠実さったらすごくて、演習問題も、期末テストも、それについてのコメントも、成績の分布も、成績評価基準も、追試の点数と人数も、学生から採った
abc予想が解決された？ - hiroyukikojima’s blog
京都大学数理解析研究所の望月新一教授が、「abc予想」を解決した、ということが新聞などで話題になっている。望月さんが総ページ数500ページに及ぶ4本の論文をホームページに公開し、それが「ネイチャー」で報じられたからだ。 実は、先週のアエラ(10/8日号)では、この件に関して、数学ライターの中村亨さん(コマネチ大学の出題者)とぼくからの取材で一本記事を作って報道している。望月さんと数理解析研が一切取材に応じない方針だそうで、編集者はがっかりしていた。それで、中村さんとぼくに(つまり、プロの数学者でない人に)白羽の矢がたったのだろう。こういうことがあるとつくづく思うのは、市民と学者の間をつなぐ専門報道者の必要性だ。何もゴシップに関する取材にまで誠実に答えよ、とはいわないが、マスコミを介して市民が大きな関心を持っているこのような大きな業績に関しては、ある程度は市民への情報サービスをしてほしく思う
ベジエ曲線の仕組み (1) - 昔話 - てっく煮ブログ
asドローソフトなどでもお世話になることが多いベジエ曲線について解説していくシリーズ。小学生のころ、BASIC で本のサンプルを入力して遊んでいたのですが、あまりのきれいさに衝撃を受けたプログラムがありました。それはこんな絵を出力するプログラムでした。左上と左下の点をそれぞれの x 座標、y 座標を少しずつ増やしながら、直線を引いています。いくつもの四角形が端に行くにしたがって変形していくところが、いかにも近未来風の CG に見えました（当時は）。しかも、この絵は直線だけで構成されているのに、カーブして見えるところが不思議でなりませんでした。さて、15年のときを経て、このプログラムを ActionScript で実装してみました。点をドラッグして曲線の変化を楽しんでみてください。前置きが長くなりましたが、実はこのカーブして見える曲線の部分は２次ベジエ曲線になっています。３つの黒い点がベジエ
元利均等返済の計算式の導出 | Graviness Blog
さて元利均等返済とは、毎回の支払いを一定額にするものなので上記は定数となりこれをとする。このとき回返済後の残元金について下式が成り立つ。 ただし、記号の意味は以下とする。 : 回返済後の残元金 : 借入金額 : 返済した回数; 1以上の自然数 : 利率; : 毎回の返済額; 定数 これを以下の形に変形する（おまじない）。 辺々比較して よって ここで、とすると これは等比数列の形なので解けて ゆえに ... (1) ここで、返済回数をとすると回目に残元金がゼロになるので、として よって、を改めてと置き換えについて解くと ゆえに ... (2) ただし、記号の意味は以下とする。 : 毎回の返済額 : 借入金額 : 利率; : 返済回数 元利均等返済における毎回の返済額 ＝ 借入金額 × 利率 ÷（1 −（1 ＋ 利率）＾（−返済回数）） 例: 借入金額3200万円、利率年0.6％、返済期間3
Math book
メインページ / 更新履歴 数学：物理を学び楽しむために 更新日 2023 年 11 月 6 日 （半永久的に）執筆中の数学の教科書の草稿を公開しています。どうぞご活用ください。著作権等についてはこのページの一番下をご覧ください。 これは、主として物理学（とそれに関連する分野）を学ぶ方を対象にした、大学レベルの数学の入門的な教科書である。 高校数学の知識を前提にして、大学生が学ぶべき数学をじっくりと解説する。 最終的には、大学で物理を学ぶために必須の基本的な数学すべてを一冊で完全にカバーする教科書をつくることを夢見ているが、その目標が果たして達成されるのかはわからない。 今は、書き上げた範囲をこうやって公開している。 詳しい内容については目次をご覧いただきたいが、現段階では ■ 論理、集合、そして関数や収束についての基本（2 章） ■ 一変数関数の微分とその応用（3 章） ■ 一変数関数の
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【やじうまPC Watch】 偶数は2で割り、奇数は3倍して1足すを繰り返すと1になる。解けたら音圧爆上げくんから1億2千万円の賞金
はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化
IDEA * IDEA
Teruaki テルアキ - Ahara lab. - Meiji University -
グラフ
Moved
「代数は必要ない」：全米を揺るがしたある教授の主張｜WIRED.jp