[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

タグ

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

  • 40年近く答えの出なかった数学の難問が解かれる

    家記事より。イスラエルのロシア系移民Avraham Trakhtman氏が40年近く解答が出なかった数学の難問に答えを出したそうです(論文PDF)。Benjamin Weiss氏とRoy Adler氏によって1970年に最初に提示されたRoad Coloring problemと呼ばれるこの問題は、与えられた有限数の道がある場合、その道を色分けにより記号化し、どこを始点にしようともある目的地点に到達できる方法があると仮定したもので、「実生活に例えるとすれば、友人の家への行き方を尋ねた時、自分がどこにいようとその友人の家に到達できる方法を教えてもらうということにあたる」ものだそうです(en.wikipedia.orgより)。今回導き出された答えは情報科学などの分野で有益に応用される可能性があるとのことです。 63歳のTrakhtman氏はこの命題への答えをたった8ページの論文にまとめ、こう

    glcs
    glcs 2008/03/27
  • ラムダ計算ABC

    仙台ロジック倶楽部 ラムダ計算ABC 数学セミナー92年8月号より A. ラムダ計算とは 今から60年程前、プリンストン大学の若手論理学者A.チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数(オペレータとか作用素とも呼びます)を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子D

  • ベイジアン (bayesian)、ベイズ (bayes)、ナイーブベイズ (naive bayes) ってなんですか? [POPFile Documentation Project]

    ベイジアン (bayesian)、ベイズ (bayes)、ナイーブベイズ (naive bayes) ってなんですか? ベイジアン (bayesian)、ベイズ (bayes)、ナイーブベイズ (naive bayes) という言葉は、POPFile や類似のメールフィルターの議論においてよく使われます。これらはたいていの場合、数学の公式のことを言っています。 Thomas Bayes は 1700 年代に確率論を研究した人で、彼の業績は ベイズ統計(Bayesian Statistics)として知られています。そして、この方法は、最近メールフィルタリングの分野でよくとりあげられるようになってきました。それはグループの異なるメッセージを分類するのに非常によい成績を発揮するからです。 POPFile はベイズの定理を用いて、あるメールが work、personal、spam のどのバケツに分

    ベイジアン (bayesian)、ベイズ (bayes)、ナイーブベイズ (naive bayes) ってなんですか? [POPFile Documentation Project]
    glcs
    glcs 2008/01/06
    ナイーブベイズ
  • ナイーブベイズとは? - PukiWikiBayesFun

    ベイズウィキのURLが変わります.http://hawaii.sys.i.kyoto-u.ac.jp/~oba/bayeswiki/index.php?FrontPage 編集用ユーザー名: bayes パスワード:bayes コメントを書くときには、お名前欄に bayes を書き加えてください。 しゃべり場5:議論・雑談はこちら QandA:質問はこちら 情報提供板その一:情報提供 BookReview/ 和書, 洋書 リンク集:お外の様子を伺う (旧) 併設会議場 (旧)テーマ別会議場 ( 確率とは何か? / ベイズ的とはどういうことか? / 機械は意味を理解できるか? / 画像の事前分布とは? / ベイズ的モデルの先端 / 生物はベイズ推定しているか? ) 最新の20件 ナイーブベイズとは? † ベイズ初心者 (2005-12-05 (月) 17:14:00) ナイーブ

    glcs
    glcs 2008/01/06
    ナイーブベイズ
  • 1