background preloader

Ap math

Facebook Twitter

未知への独り言 期待効用理論. 言語処理のための機械学習入門を読んだ - 射撃しつつ前転. Nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/essay/keishikika. Www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf. Enshu (Computational Complexity) 情報科学演習二(0510023、理学部七号館214室、2単位)のうち「計算量理論」の演習です メールでの質問歓迎→kawamura@is.s.u-tokyo.ac.jp 問(配布資料) 月曜一限の試問:11月11日(月)、1月15日(水)月曜一限の質問時間:1月27日(月) 演習の進め方 七回程度に分けて課題(問)を配布する。

Enshu (Computational Complexity)

提出 三人以内の連名で提出できる。 レポート箱への提出日の判定は事務室印による。 満点はAが一問8点、Bは10点、Cは問ごとに指定。 発表 対象は前回までに配布したBまたはCのみ。 黒板で正解を発表した者には、提出による得点とは別に、その問の満点相当の得点を加える。 評価 この合計得点に次を満す或る単調非減少函数を掛けたものを計算量演習の評点(満点50)とする。 提出答案においてAの八割とBの五割を正解した場合(1月15日追記:この場合114.8点以上となる)の評点は25以上。 但し全員AとBは提出し、学期中に少くとも一度は発表をすること。 補足 配布物中の誤りを指摘したら1点(最初の人のみ)得点表に出る名前(初期値は姓)を変えたい人は答案の氏名欄の辺りに書いておいて下さい [質問があったので追記]「ハンドルネームの指定はその回の表示にだけ効くのか?」 Web.mat.bham.ac.uk/D.Kuehn/RamseyGreg.pdf. Www.math.zju.edu.cn/webpagenew/UploadFiles/AttachFiles/2010324155413638.pdf. Www.ise.chuo-u.ac.jp/ise-labs/asano-lab/asano/korte.pdf. Www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/hirai.pdf.

経済学に抽象度の高い数学はホントに必要なんでしょうか? 確率的情報検索ノート ― Probability Ranking PrincipleからBM25まで ― - 睡眠不足?! Recommended Textbooks. (注): 以下、適当なことが書いてありますが、それぞれの本を 1ページ目から最終ページまで読み切ったわけではなく、数章とばしたり、中途 までしか読んでいないものもあります。

Recommended Textbooks

(…例外を除いて(?) 完読したわけではない…) Lectures on Polytopes (G.M.Ziegler, Springer GTM152, 1995, 2nd Printing 1998) 凸多面体についての教科書。 絵も多く、非常に分かりやすく書かれている。 [Contents] 本書の日本語訳は、シュプリンガー・フェアラーク東京から『凸多面体の数学』というタイトルで出ています。 「どうぶつしょうぎ」の完全解析. 頭脳ゲームの広場. ƒCƒ“ƒ^[ƒlƒbƒg‚Å’²‚ׂéŒÀ‚èAu“ª”]ƒQ[ƒ€v‚Æ‚¢‚¤•\Œ»‚Í–¢‚¾Šm—§‚³‚ê‚Ä‚¢‚È‚¢‚悤‚Å‚·B ƒEƒBƒLƒyƒfƒBƒAi“ú–{Œê”ŁA‰pŒê”Łj‚Łu“ª”]ƒQ[ƒ€v‚ð’T‚µ‚ÄŒ©‚Ü‚µ‚½‚ªA€–Ú‚Æ‚µ‚Ä‚Í‚ ‚è‚Ü‚¹‚ñB‚½‚¾‚µAƒ„ƒt[‚âƒO[ƒOƒ‹‚ÅŒŸõ‚·‚é‚ƃqƒbƒg”‚Í–c‘å‚Å‚·i2006”N4ŒŽ––Žž“_‚ŁAƒ„ƒt[‚Å–ñ‚P‚Q‚W–œŒAƒO[ƒOƒ‹‚Å–ñ‚S–œŒjB“à—e‚́A‚Ù‚Æ‚ñ‚nj•ʃQ[ƒ€‚̏ЉîƒTƒCƒg‚Å‚·B.

頭脳ゲームの広場

ぼくのかんがえたとうけいがくぶかりきゅらむ - iAnalysis ~おとうさんの解析日記~ ベイズ統計と統計物理 - Hal Tasaki’s -<log p> ■[物理・専門]ベイズ統計と統計物理 先日、池袋の大きな本屋さんに行ったときに、 伊庭幸人著『ベイズ統計と統計物理』(岩波講座「物理の世界」) を買ってきて、その日のうちに、ざっと読んでしまいました。

ベイズ統計と統計物理 - Hal Tasaki’s -<log p>

そうです。 ベイズ統計の理論と方法. “n•ÓŸ•v ƒxƒCƒY“Œv‚Ì—˜_‚Æ•û–@AƒRƒƒiŽÐA2012 C ƒAƒ}ƒ]ƒ“‚̃y[ƒW ‚±‚Ì–{‚ł̓xƒCƒY“Œv‚Ì—˜_‚Æ•û–@‚ðÐ‰î‚µ‚Ä‚¢‚Ü‚·B.

ベイズ統計の理論と方法

Www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1565-12.pdf. 統計学部カリキュラム - 一成の統計塾. ベイジアンネットワーク - iAnalysis ~おとうさんの解析日記~ ■[R program]ベイジアンネットワーク ベイジアンネットワークを推定する方法はいくつかあるけど、個人的に好きなのはPearl先生のICアルゴリズム(Inductive Causation algorithm)での方法。

ベイジアンネットワーク - iAnalysis ~おとうさんの解析日記~

教科書はこちら。 ICアルゴリズムに似ている、GSアルゴリズムはbnlearnパッケージで出来ます。 こんな感じ。 今回の擬似データでは、Height・SBP→BMI→FBSという因果関係を作ったのだけど、BMI→FBSには矢線が付かなかった(向きが付かなかった)。 因果推論のススメ - iAnalysis ~おとうさんの解析日記~ 統計的因果推論 勉強用 isseing333. Ocw.hokudai.ac.jp/Course/Faculty/Engineering/IntelligentInformationProcessing/2005/page/materials/IntelligentInformationProcessing-2005-Note-10.pdf. PRML 8.2 条件付き独立性. Www.math.is.tohoku.ac.jp/~obata/lecture/2011-graduate/Book-3.pdf. Entcog.c.ooco.jp/entcog/event/20120318/matsubara.pdf. 数学に近い分野の情報収集 : Preferred Research. はじめに 大野です。

数学に近い分野の情報収集 : Preferred Research

今回は数学に関する情報入手方法について、自分が知っている範囲でお話をしようと思います。 特に4月に大学や大学院に入学した方や、数学の勉強を始めたいけれど何から始めればよいかわからないという方などを想定して紹介していこうと思います。 数学に限らないかもしれませんが、勉強をしようとすると解決すべき問題が色々と生じます。 そもそも文献(本・講義録・雑誌)はどこにあるのか文献はあるけれど、どれから調査・勉強を始めればよいか勉強を始めたけれどわからなすぎる。 以下では大体この流れに沿って情報源などを紹介していこうと思います。 文献を探す. Euler Getter Wiki - Euler Getter Wiki. FAQs (research) - H. Reiju Mihara. Department of Neurobiology and Anatomy - The University of Texas Medical School at Houston. Www.math.kobe-u.ac.jp/Asir/ca.pdf. Www.computer-go.jp/journal/vol5/vol5-5.pdf. Www.kyoritsu-pub.co.jp/service/kaitoshu/01975-1kaito.pdf. 黒木玄先生のConwayのOn Numbers and Gamesの組合せゲーム理論のつぶやき. ゲーム理論の役割と歴史. 1.発見理論としてのゲーム理論 ゲームとは・・・複数の意思決定主体の存在により生ずる社会状況の表現のこと ゲーム理論とは・・・そのような状況の表現や分析のために新たな概念を提供し、社会や人間の行動について新しい発見をもたらそうとするもの 社会的な問題のために開発された数学的な言葉であり、社会認識のための数学的言語 ゲーム理論とは新しい言葉を開発することによって社会状況を表現し、分析し理解しようとするものである。

ゲーム理論の役割と歴史

そしてそれにより、現にある事実を発見するばかりではなく、あり得る可能性を発見し、それを解として示すものである。 2.ゲームの解の意味 ゲーム理論の出発点となったゼロ和2人ゲームの解はミニマックス戦略の組として表された。 そして、このミニマックス戦略の組こそ、2人のプレイヤーの間の社会秩序であり、安定な行動基準である 同様に、定和3人ゲームを解くことで、安定的な社会秩序が複数あることを発見した。 ゲームの解とは、その状況におけるそれぞれのプレイヤーからなる社会において成立する可能性のある社会秩序・社会組織・社会慣習などを示すものである。 Endeavor.eng.toyo.ac.jp/~yoshino/lecture/keikakusuuri/2006-planning_math-pt2-pert.pdf. Www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0741-10.pdf. Www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0906-3.pdf.

J-GLOBAL - Graph Structure and ・・・ 【文献】 オブジェクトと関数の連携(1) 要求開発アライアンスのセッション『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』で使用するスライドについて背景説明を行っています。

オブジェクトと関数の連携(1)

今回は背景説明第5弾として、「オブジェクトと関数の連携(1)」として用意した以下の図を説明します。 まず、プログラミング言語のスコープでオブジェクト指向と関数型の連携について考えます。 オブジェクト指向言語と関数型言語のハイブリッドであるScalaを念頭に置いています。 Scalaでは、オブジェクト指向言語の機能と関数型の機能をシームレスに使うことができます。 このため、特に意識しないでプログラミングを行うと、オブジェクト指向言語と関数型言語の機能が渾然一体となったプログラムになりがちです。 図の上側では、オブジェクト、手続き、状態、関数、値、データ構造が渾然一体となっています。 関数型言語を使用する最も重要なポイントは、数学理論の活用が期待できることです。 Www.math.titech.ac.jp/~kawachi/maths/2005/Algebra/module.pdf. Www.math.sci.hiroshima-u.ac.jp/~m-mat/TEACH/daisu-a.pdf. Kurt.scitec.kobe-u.ac.jp/~shg/SFCArchives/docs/shortcut_monad.pdf. Ryamadaのコンピュータ・数学メモ. 圏論デザインパターン. 要求開発アライアンスのセッション『Object-Functional Analysis and Design: 次世代モデリングパラダイムへの道標』で使用するスライドについて背景説明を行ってきました。

圏論デザインパターン

今回は背景説明第4弾で、「圏論デザインパターン」として用意した以下の図を説明します。 圏論デザインパターン 関数型言語の技術マップで説明したように、型クラスの導入によって代数的構造や圏論の理論をプログラミング言語で直接利用できるようになりました。 代数構造的デザインパターンは、基本中の基本概念であるので、モノイド以外のパターンもいずれ広く使われるようになることが予想されますが、今の所広く使われているのは圏論デザインパターンの方です。 代表的な圏論デザインパターンは以下のものです。 圏(category) 対象と射(対象間の構造を保つ対応関係)によって表現される代数的構造 射(arrow,morphism) 圏で対象間の対応関係を表現. Takeichi.ipl-lab.org/~hamana/local/monad.pdf. Math book. オンラインで入手できる数理論理学・数学基礎論のテキスト. 京都大学数理解析研究所 - 数学入門公開講座 バックナンバー - 2012年7月30日-8月2日(第34回) 演題及び講師 無限の対称性をめぐって 荒川 知幸 有限次元単純リー環はディンキン図形によって分類されますが、その自然な拡張 としてKac-Moody代数と呼ばれる無限次元リー環があります。 またこの仲間とし て、ビラゾロ代数や、もっと単純なハイセンベルグ代数などもあります。

さらに 無限次元リー環の一般化として頂点代数と呼ばれる代数系も知られています。 無限次元リー環やその仲間たちが数学に登場したのは約50年ほど前で、長い数 学の歴史の中ではつい最近の出来事なのですが、今ではこれらは数学のさまざま な分野に登場しています。 グラフの剛性とマトロイド 谷川 眞一 伸び縮みしないm本の棒部材とn個のジョイントで構成された平面トラス構造が剛 であるためにはm≧2n‐3が必要であります。 数体と位相曲面に共通する「二次元の群論的幾何」 望月 新一. Www.ams.org/notices/201011/rtx101101454p.pdf. キャンベル共同計画. MAKE: Japan : Makerのための数学. Map.300000.ch/math/2006t.pdf. 計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記. ■ 計算モデルと論理とゲーデルの不完全性定理 01:22 ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。 しかし、証明(数学)=プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 グラフ理論的言い換え - 186. ゲームと困難性 - 186. Aritalab:Lecture/Algorithm/CooksTheorem - Metabolomics.JP.

注:このページを理解するためには、P, NP という問題クラスの概念とチューリングマシンの知識が必要です。 クックの功績 クック (Stephen Cook) は1971年に論理式の充足可能性問題がNP完全であることを証明しました。 この論文が計算量理論にもたらした功績は複数あります。 問題を多項式時間で変換することの重要性を説いた 非決定性の判定問題に焦点を当てた 充足可能性問題がNP完全であることを証明した この功績により、クックはTuring賞を受賞しています。 参考文献 Garey MR, Johnson DS "Computers and Intractability" WH Freeman & Co. 1979 論理式の充足可能性問題 ブール変数の集合 U = { u1, u2 ... um } に対する真偽の割り当て U → {T, F} を考えます。

Mihara, H. Reiju - FAQs (research) グラフ理論. 雑録. WEBで読める統計関係の良質な資料 - Interdisciplinary. WEBで読める統計関係の良質な資料 私がよく参考にする所を三箇所紹介します。 いずれも、説明が極めて明瞭で、論理的な整合性や用語の丁寧な使い方を志向している所に好感が持てるサイトです。 ▼Econom01 Web Site, Sophia University, Tokyo, Japan 上智大学の大西博氏のサイト。 私が統計関連で最もよく参照する所です。 統計を学びたい人へ贈る、統計解析に使えるデータセットまとめ - ほくそ笑む. 一年で身に付ける!Rと統計学・機械学習の4ステップ - iAnalysis ~おとうさんの解析日記~ ■一年で身に付ける! Rと統計学・機械学習の4ステップ 久しぶりの投稿です。 この一年間、Rの勉強会などに参加したり主催したりしてきて、後輩や勉強会の方々の話をいろいろ聞くとこができました。

そんな中、一年間でRと統計学・機械学習を身に付けれるようなフローを作れるかも? と思ったので、ここで記録しておきます。 ステップ1. 理論. 潜在的意味インデキシング(LSI)徹底入門 - あらびき日記. 潜在的意味インデキシング(LSI)徹底入門 LSI については「特異値分解とLSIの意味」でも触れたことがありますが、この時はまだ理解不足だったので改めて解説したいと思います。 LSI (Latent Semantic Indexing) は検索などに用いられる次元圧縮手法です。 例えば、「車で行く」と「自動車で行く」は意味として全く同じですが、単語そのものを見ると「車」と「自動車」が異なるため違う文として扱われてしまい、「車」で検索しても「自動車で行く」という文がヒットしません。 しかし、「車」も「自動車」も同じ意味なので同じ文として扱われるようにしたいですよね。 これを実現する手法の1つが LSI です。 Deim2012 issei sato. Rが使えるフリをするための14の知識. 米国FDAで公認され、ハーバード大学やイェール大学の授業で利用されるようになり、世間での認知度が着実に上昇している統計用プログラミング環境のRだが、ユーザーなのか、ユーザーになりたいのか、ユーザーとして振舞いたいのか分からない人が増えてきた。 スノッブなユーザーとして振舞う場合は、Rの特性を語れる必要があるので、ユーザーになるよりもRへの知識や理解が必要で、実は難易度が高い行動である。 それでもあえて意識の高いRユーザーとして振舞いたい人々のために、最低限求められる事のチェック・リストを用意してみた。 1. 参考文献や参考ページを押さえておく 一番大事な事だが、参考文献や参考ページを押さえておこう。 毎日が例外 » 魚でもわかるRandom Projection. Using Eigen::MatrixXd; using Eigen::VectorXd; MatrixXd mat(D, N); for(int i = 0; i &lt; N; i++) for(int j = 0; j &lt; D; j++)

Www.math.tohoku.ac.jp/~kuroki/LaTeX/20101013Morioka.pdf. Nicosia.is.s.u-tokyo.ac.jp/pub/essay/hagiya/kaisetsu/riron_joushiki. プログラム言語とその他のメモ。 Index > ¥×¥í¥°¥é¥à¸À¸ì¤È¤½¤Î¾¤Î¥á¥â ¥×¥í¥°¥é¥à¸À¸ì¤È¤½¤Î¾¤Î¥á¥â¡£ ¥×¥í¥°¥é¥ß¥ó¥°¤½¤Î¤â¤Î¤Ï¡¢¤¢¤Þ¤ê¹¥¤­¤Ç¤Ï¤Ê¤¤¡£ ÅöÁ³¡¢¼ÂÍÑŪ¤ÊÆâÍƤϤʤ¤¡£ 私的. ヘラクレスが必ずヒドラに勝つ事のいい加減な説明. Ìá¤ë ¤«¤Ê¤ê¤¤¤ó¤Á¤­¡£ 命題論理の形式システムLPの公理の独立性 - 数学屋のメガネ. ■[論理]命題論理の形式システムLPの公理の独立性.

Dat/rsm/2011w402.pdf. 意外と不完全性定理に関係あるメモ. ˆÓŠO‚Æ•sŠ®‘S«’藝‚ÉŠÖŒW‚ ‚郁ƒ‚ Www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1525-7.pdf. Www.kurims.kyoto-u.ac.jp/~terui/birth.pdf. はやしのブログ 世界を統べる論理は何か. 選択公理. External Memory  グラフと線形代数. ホモトピー論と私. 自主セミナー やって候 コホモロジーのこころ.

ML

文系と呼ばれる分野に純粋培養された俺が数学に再入門するためのインターネット・リソースガイド - 蟲!虫!蟲! - #!/usr/bin/bugrammer. プログラム意味論 « Cruel to be kind. Linear Logic. Exploratory data analysis. Gephi, オープンソースのグラフ可視化ソフトウェア. 03Sept. 図式順テキスト記法(DOTN) Jk. 関手と自然変換:コゥゼンの記号法 - 檜山正幸のキマイラ飼育記. 確率っていったい何だろう - hiroyukikojimaの日記.