結び目理論における圏論とコンピュータ計算Direct computation of Khovanov homology and knot Floer homology
ベイズ統計の理論と方法
ベイズ統計の理論と方法 渡辺澄夫 ベイズ統計の理論と方法、コロナ社、2012 ， アマゾンのページ この本ではベイズ統計の理論と方法を紹介しています。 ベイズ統計については良い本がたくさん出版されていますので、他の本と 合わせてお読み頂ければ幸いです。 初めてベイズ統計に出あった人はもちろん、これまでにベイズ統計について勉強を されていて、多くの疑問を持たれているかたに本書をお薦めします。 特に、ベイズ統計について『いろいろな本に○○○と書いてあるが、これは 本当のところ正しいのだろうか』と思われていることが沢山あるかたに本書を お勧めします。例えば、 Q１．なぜ事前分布を信じることができるのだろうか？ Q２．ベイズ法は数理や理論に支えられていないのだろうか？ 『百人いれば百個の推論』でよいのだろうか？ Q３．私は BIC や DIC でモデルを設計して来たが、それで本当によかったのだろう
代数的データ型と初等代数学 - ryota-ka's blog
この記事は以下のページに移転しました． blog.ryota-ka.me 「関数プログラミングとはなんですか？」と問われたときには「デ，データファースト……(震え声)」と答えることが多いのだが，実際 Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう．その有用性ゆえに，近年では新たな言語の策定の際にその概念が輸出され，Rust や Swift などの言語にも採用されている． 「代数的データ型とはなんですか？」と問われたときには―問われたことがないのでわからないのだが―おもむろに ghci か utop を立ち上げて，解説を始めるのではないかと思う．ひとしきり解説をした後，「つまり直積の直和なんですよ〜🙌✨」と言って話を締めくくるだろう． int 型や float 型など，「メモ
可換環論bot on Twitter: "超難問です。ぼくは15年以上「可換環論を学んでいます」と言い続けてきましたが、「可換環論とは何ですか？」という質問にお応えできる自信はありません。しかし、少し頑張ってお話ししてみます。 #マシュマロを投げ合おう… https://t.co/5nv13ksl87"
超難問です。ぼくは15年以上「可換環論を学んでいます」と言い続けてきましたが、「可換環論とは何ですか？」という質問にお応えできる自信はありません。しかし、少し頑張ってお話ししてみます。 #マシュマロを投げ合おう… https://t.co/5nv13ksl87
二点しかない離散空間に長さ1の線分を描けるか？ - 檜山正幸のキマイラ飼育記 (はてなBlog)
a, bを実数の定数として、f(x) = ax + b は中学校で習った1次関数です。xの変域を単位閉区間 [0, 1] = {x∈R | 0 ≦ x ≦1} に制限します。ax + b = b(1 - x) + (a + b)x であることに注意して、s := b （sはstart点のs）, t := a + b （tはtarget点のt）と置けば、f(x) を次のように書き換えられます。 f(x) = s(1 - x) + tx xを時刻とみなせば、時刻0でスタート点s（出発地）にいて、時刻1でターゲット点t（目的地）に到着する等速直線運動（速度はa）の記述と解釈できます。0と1の中間の時刻（例えば x = 1/2）でも、必ず対応する位置 f(x) が存在します。 さて、いま二点だけの集合 {2, 3} を考えます。ホントに二点だけですよ！ 中間の位置はありません。関数 f:[0, 1
abc予想解決と数学の進化 - hiroyukikojima’s blog
先日、望月新一教授によるabc予想解決が、論文として正式に学術誌にアクセプトされたことが、朝日新聞一面で大々的に報道された。数学の結果がこれほど大きな紙面で報じられたのは今回が初めてような気がする。(記憶では、フェルマー予想のときも、ポアンカレ予想のときもこんなでなかったような)。とにかく、今年の数学界最大のイベントであったと思う。ぼく自身も、望月教授がネット上に論文をアップロードして騒ぎになった2012年にエントリーしているので(abc予想が解決された？ - hiroyukikojimaの日記)、この予想の解説についてはそちらで読んでほしい。あるいは、黒川信重さんの本の紹介(ＡＢＣ予想入門 - hiroyukikojimaの日記)のほうでも。 abc予想がおまけとして(系として)得られる宇宙際タイヒミュラー理論(IUT)は、聞くところによると、新しい数学言語を作り上げた、と言えるぐらいに
行列の乗法 - Wikipedia
数学において、行列の対から別の行列を作り出す二項演算としての行列の乗法（ぎょうれつのじょうほう）は、実数や複素数などの数が初等的な四則演算でいうところの乗法を持つことと対照的に、そのような「数の配列」の間の乗法として必ずしも一意的な演算を指しうるものではない。そのような意味では、一般に「行列の乗法」は幾つかの異なる二項演算を総称するものと考えることができる。行列の乗法の持つ重要な特徴には、与えられた行列の行および列の数（行列の型やサイズあるいは次元と呼ばれるもの）が関係して、得られる行列の成分がどのように特定されるかが述べられるということが挙げられる。 例えば、ベクトルの場合と同様に、任意の行列に対してスカラーを掛けるという操作が、その行列の全ての成分に同じ数を掛けるという方法で与えられる。また、加法や減法（英語版）の場合と同様に、同じサイズの行列に対して成分ごとの乗法を入れることによって
0 x 0 行列の行列式 - のらんぶろぐ X
ときどき，「0 x 0 行列の行列式」を考える必要が生じる． 0 x 0 行列の行列式はいくつなのか，行列式の定義に従って考えてみたい．行列式を定義する方法はいくつもあり，人ごとに（或いは場面ごとに）定義のしかたの流儀が異なるかもしれない．ここでは，次の目次に挙げる４つの流儀に基づいて考えてみる．好みの定義のところを読んでほしい．好みの定義のところでないところも読んでほしい．なお，行列の係数は断らない限り一般の体 とする（ だと思って読んでもいい）． 1. 置換を使った公式で定義するよ派 2. 多重交代線形性とかで特徴づけるよ派 3. 余因子展開で帰納的に定義するよ派 4. 外積代数を使って定義するよ派 結論 1. 置換を使った公式で定義するよ派 行列 の行列式 を次のように定義する． これを の場合に適用してみる．まず，総和記号は の元 全てに亙る和である． とは集合 から自分自身への全
行列ノルム - Wikipedia
線型代数学における行列ノルム（ぎょうれつノルム、英: matrix norm）は、ベクトルのノルムを行列に対し自然に一般化したものである。 性質[編集] 以下では体 K を実数体 R または複素数体 C のいずれかを指すものとして用いる。また、Km×n を、K の元を成分に持つ m 行 n 列の矩形行列の全体が、通常の和とスカラー倍に関してなすベクトル空間とする。Km×n 上の行列のノルムはベクトルとしてのノルムである。すなわち、行列 A のノルムを ‖ A ‖ で表せば 正定値性：‖ A ‖ ≥ 0 かつ等号成立は A = O と同値 斉次性：α ∈ K, A ∈ Km×n ならば ‖ αA ‖ = |α|‖ A ‖ 劣加法性：A, B ∈ Km×n ならば ‖ A + B ‖ ≤ ‖ A ‖ + ‖ B ‖ が全て満たされる。 正方行列 (m = n) に関して、以下に挙げる条件を課す
一元体 - Wikipedia
数学において一元体（いちげんたい、英: field with one element）あるいは標数 1 の体 (field of characteristic one) とは、「ただひとつの元からなる有限体」と呼んでもおかしくない程に有限体と類似の性質を持つ数学的対象を示唆する仮想的な呼称である。しばしば、一元体を F1 あるいは Fun[note 1] で表す。通常の抽象代数学的な意味での「ただひとつの元からなる体」は存在せず、「一元体」の呼称や「F1」といった表示はあくまで示唆的なものでしかないということには留意すべきである。その代わり、F1 の概念は、抽象代数学を形作る旧来の材料である「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論を提供するものと考えられている。そういった新しい枠組みにおける理論で一元体を実現しているようなものは未だ存在していないが、
半直積 - Wikipedia
群論において、群の半直積（はんちょくせき、英: semidirect product）とは、ふたつの群から新たな群を作り出す方法の一種。 群の直積の一般化であり、通常の直積をその特別な場合として含む。 定義[編集] 内部半直積[編集] ふたつの群 N, H に対して N の H による内部半直積とは、次の性質を満たす群 G のことで、 G = N ⋊ H と表す[1]。 N は群 G の正規部分群かつ H は群 G の部分群であって、G = NH を満たす N と H は自明な共通部分をもつ：N ∩ H = 1 G を群とし、H をその部分群、N を正規部分群 (N ◁ G) とすると、以下は同値である。 G = NH かつ N ∩ H = 1. G のすべての元は積 nh (n ∈ N, h ∈ H) として一意的に書ける。 G のすべての元は積 hn (h ∈ H, n ∈ N) とし
群の拡大 - Wikipedia
数学において、群の拡大（ぐんのかくだい、英: group extension）は、一般に特定の正規部分群と剰余群を使って群を記述することを意味する。Q および N をふたつの群とするとき、G が N による Q の拡大 (extension) であるとは短完全列 が存在することを言う。G が N による Q の拡大（これとあべこべに "G が N の Q による拡大である" と書く文献もある[1]）ならば G は群であり、N は G の正規部分群で剰余群 G/N は群 Q に同型となる。群の拡大は、Q と N が既知の群であるとき、群 G の性質を決定できるかという拡大の問題 (extension problem)の文脈で現れる。任意の有限群 G は極大正規部分群 N と単純剰余群 G/N を持つから、任意の有限群は有限単純群の列として構成することができる。この事実があるため、有限単純群の
)
生成 (数学) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "生成" 数学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2015年11月） 数学における生成（せいせい、generate）とは、与えられた対象と条件に対して、その条件を満たしかつ与えられた対象を全て含むような最小の構成物を求めることである。このとき与えられた対象の集まりを生成系（生成集合）(generating set) といい、生成集合の各元を生成元 (generator) という。また、「最小の構成物」は生成系から生成されるという。生成系が1つの対象からなるような場合には、生成系と生成元は同一視できる。 例[編集] 生成された群
群作用 - Wikipedia
正三角形が与えられたとき、三角形の重心を中心とする反時計回りの 120° 回転は、三角形の各頂点を別な頂点に移す写像として三角形の頂点集合の上に作用する。 数学における群作用（ぐんさよう、英: group action）は、群を用いて対象の対称性を記述する方法である。 導入[編集] 物体の本質的な要素を集合によって表し、物体の対称性をその集合上の対称性の群（英語版）（その集合の全単射な変換からなる群）によって記述するとき、この群は（特に集合が有限集合であるとき）置換群 (permutation group) あるいは（特に集合がベクトル空間で、群作用が線型変換などであるとき）変換群 (transformation group) と呼ばれる。 群作用は、群の各元がある集合上の全単射な変換（対称変換）の如く「作用」するけれども、それがそのような変換と同一視される必要は無いという点において、対称
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
imset による条件付き独立性の記述（文献紹介）
http://park.itc.u-tokyo.ac.jp/atstat/CREST/120601-tokyo/slide/120601-tanaka-slide.pdf
https://www.maths.ed.ac.uk/~tl/sapporo/sapporo_talk.pdf
https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20ni%20tsuite%20no%20FAQ.pdf
Categorification の例
Conjugacy class - Wikipedia