速水桃子「パターン認識と機械学習入門」
250. Reference "Pattern Recognition and Machine Learning" Christopher M. Bishop Springer; 1st ed. 2006. Corr. 2nd printing edition (October 1, 2007) "Truth and Probability" Frank Plumpton Ramsey (1926) "The physical basis of IMRT and inverse planning" S Webb British Journal of Radiology (2003) 76, 678-689 251. Wikipedia 渡辺慧 http://ja.wikipedia.org/wiki/%E6%B8%A1%E8%BE%BA%E6%85 %A7 『No Free Lunch T
やる夫で学ぶディジタル信号処理
やる夫cry2 実験データの解析とかで信号処理をしなくちゃならないことが多くなってきたお… やる夫cry 数学でフーリエ解析とか習ったけど，真面目に聞いてなかったのでさっぱりわからないお… やる夫 だからやらない夫に教えてもらうお! やる夫で学ぶディジタル信号処理 東北大学 大学院情報科学研究科 鏡 慎吾 更新履歴 (最終更新: 2016.01.08 ) PDF版 アスキーアートがないと読む気にならないという方は，ページ上部の「アイコンを表示する」をクリックしてください．アスキーアートではないけど多少は助けになるかも知れません． 講演の機会を頂きました．ご関係各位に感謝します: やる夫で信号処理は学べるか ―東北大学機械知能・航空工学科における信号処理教育とウェブ教材― (依頼講演), 電子情報通信学会総合大会, AS-2-8, 九州大学伊都キャンパス, 2016年3月16日. [PDF]
プログラマのための「ゲーデルの不完全性定理」(4)：「展望」への緊急パッチ（オハナシだよ） - 檜山正幸のキマイラ飼育記 (はてなBlog)
yoriyukiさんとの一連のやりとりで、「プログラマのための『ゲーデルの不完全性定理』」シリーズ第2回「速攻速習編」の「ゲーデルの不完全性定理への（ほんの少し）展望」に問題があると判明しました。その問題とは主に次の2点です。 あまりにも説明をはしょっている。そのため、誤解・誤読のリスクが高い。 「ゲーデル」という、歴史上実在の人物を表す固有名詞の使い方が間違っている。 1番目に関しては、ていねいな説明を書く以外の対策がなく、手短な展望としてはいかんともしがたいです。ただし、ある程度の予備知識を仮定してよいなら、次が補足説明になっています。 プログラマのための「ゲーデルの不完全性定理」番外：「デタラメだ」と言われたので… - 檜山正幸のキマイラ飼育記 Yoriyukiさんへの返答：内容的なコメント編 - 檜山正幸のキマイラ飼育記 メモ編 不完全性定理シリーズの背景とシナリオ - 檜山正幸の
ラッセルのパラドックス：傾向と対策 (3.3): 不動点と自己言及パラドックス - あいまいな本日の私 blog
どーも、皆様お久しぶりです。前回が10月28日、一ヶ月強の時間が空いてしまいました。今回は前回までのまとめということで、不動点とラッセルのパラドクスの関係をおさらいしたいと思います。 自己言及性の統一的取り扱い さて、誰もが言うことですが、ラッセルのパラドックスと嘘つきのパラドックスは「似ています」。同じ自己言及型のグレリングのパラドックスも似ています。他に、カントールの |P(X)|> |X| を始め、多くの定理は対角化で証明されますが、それらの証明はとてもよく「似ています」。しかし、似ているのはいいのですが、「似ているよ分析」では困ります：どんな意味で「似ている」のか、もう少しきっちりと語ることはできないものでしょうか。 このような場合、圏論の方法を使い抽象的なアプローチをすることが助けになります。ラッセルのパラドックスの構造を簡単に表示すると、以下の構造になります。 このdiagra
selfref2006.dvi
∗ I 2 1 2 2 2 3 3 4 5 5 7 6 8 II 11 1 11 2 12 3 13 4 14 5 15 6 — 16 ∗ 2002 8 5 8 2006 5 2007 8 Soto-Andrade Varela 1984 1 Part I 1 Russell, B.A.W., 1872-1970 ( ) X ∈ X X M 1 M M M ∈ M M M M M ∈ M M 2 Cantor, G., 1845-1918 1 X 2X X u t X m : 2X → X X R R = {m(A) | A ⊆ X, m(A) 6∈ A} m(R) R m(R) ∈ R R m(A) 6∈ A A ⊆ X m(R) = m(A) m R = A m(R) 6∈ R m(R) 6∈ R R m(R) ∈ R 1 M 2 1 1 ( ) 3 1 2 X X X XX X u
なんでソコに、足し算、掛け算、累乗の記号を使うのですか？ - 檜山正幸のキマイラ飼育記 (はてなBlog)
えっ、それが疑問だったの？ あ、そう。んじゃ、ちょっと説明しましょう。 A、Bが集合だとして、 AとBの直和は、A＋B AとBの直積は、A×B AとBの指数は、BA と書きます。算数の足し算、掛け算、累乗の記号を使うのはなぜ？ いやっ、そもそも、直和＜ちょくわ＞、直積＜ちょくせき＞、指数＜しすう＞ってなに？ と、そんな疑問を持つ人のために。 記号の約束 集合とはいっても、ここでは有限集合だけを例に使うことにします。そして、[0] = {}, [1] = {1}, [2] = {1, 2}, [3] = {1, 2, 3} などと約束します。つまり、[n]と書いてあったらそれは「1からnまでの整数の集まり」です。こういった[n]は有限集合の典型例といえるでしょう。 有限集合Aに対して、#(A) は、Aの要素の個数だとします。例えば、#({a, b}) = 2 です。シャープ記号はナンバー記号
A Reading List for Postgraduates
計算可能性、計算量、アルゴリズム Highly Recommended N.D. Jones, Computability and Complexity: From a Programming Perspective. MIT Press, 1997. ● 計算可能性と計算量について、プログラミング言語を基礎に置いて 平易かつ統一的に説明するのに成功している良書。 もちろん、部分計算など、Jonesならではの話題も充実。 （ただし誤植がかなり多いので注意 － 再版でかなり修正されるそうです） [ 所蔵図書館 ] （研究室にもあります） J.E. Hopcroft, R. Motwani and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Second Edition. Addison-W
Web版「数学ガール」: 数学ガールのアンビグラム
ミルカさんシリーズは、 『数学ガール』として書籍化されました。 書籍版では、 Web未公開の章が多数含まれ、 また、Webで公開している分も、 はるかに読みやすく、わかりやすく再構成されています。 これまで公開していた内容はWeb版として継続して公開しますが、 ぜひこの機会に書籍版をお読みください。 饒舌なミルカさんと、寡黙な「僕」との数学的対話です。 回を追うごとに長くなり、数学の割合が減り、ラブコメ率が高くなっているという噂もありますが、 数学的内容はいたって真面目、きわめて真剣です。 《理系にとって最強の萌え》目指してがんばっております。 1. ミルカさん (2004年) 「回転」についての対話。 2. ミルカさんの隣で (2005年) 差分と微分についての対話。 離散系バージョンの関数探しも合わせてどうぞ。 3. ミルカさんとフィボナッチ数列 (2005年) フィボナッチ数列の一般
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
プログラマが解くのに1時間かかる問題を機械学習に放り込む話 | ぱろすけのメモ帳
プログラマが解くのに1時間かかる問題を機械学習に放り込む話 By ぱろすけ on 4月 11th, 2012 皆様、 Twitter やら facebook で数カ月前に爆発的に拡散された以下の問題をご存知でしょうか。 ご存知の方が多いでしょうね。単に、イコールの左側の4つの数字の丸の数の合計がイコールの右側に等しい、それだけですね。とても簡単な問題です。ちなみに僕は解けませんでした。 これについて、昨日このようなエントリが投稿され、話題になっています。 プログラマが解くのに1時間かかるという問題が普通にプログラマな方法で5分で解ける話 http://d.hatena.ne.jp/nowokay/20120410 こりゃあ炎上するでしょうねえ。だって、プログラマも何も関係なく、ふつうに問題を解いているのですから。 先ほどのエントリでは、イコールの左側の数値は変数であり、それを足しあわ
MathJax Sublime Text Markdown
Consultancy MathJax is highly flexible and can be tailored to the needs of your institution by creating customized configurations and specialized software workflows. Content Transformation MathJax can help you with the conversion of math documents from legacy sources and print content as well as with the generation of novel content that is online ready and fully accessible for readers with special
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://blog.chase-dream.com/2010/10/26/1122
https://www.kurims.kyoto-u.ac.jp/~cs/cs2011_hasegawa.pdf
@syamino はてなダイアリー
http://arxiv.org/PS_cache/math/pdf/0305/0305282v1.pdf
数学速成コース
FrontPage - MyTeXpert
Mathematics Stack Exchange
https://www.hyuki.com/girl/ebook.html
絵で見るペアリング - melancholic afternoon