ガットですりおろされたい大根のブログ

• 2023.02.11

• 解析, 数学

距離空間上の Borel 確率測度全体は距離空間になる (準備編)

        この記事は以下の記事を読むにあたっての予備知識をまとめたものです。同じ記事にすると長くなりすぎるので分けることにしました。 「距離空間上の Borel 確率測度全体は距離空間になる」 「Prokhorov...

続きを読む

• 2023.01.07

• プログラミング

hspecでHaskellのテストコードを書く (Haskell初心者が電卓アプリを作る : 4)

        この記事は https://zenn.dev/oroshi/articles/haskell_calc_test に移行しました。 ...

続きを読む

• 2023.01.07

• プログラミング

HaskellでStateパターンを実装する (Haskell初心者が電卓アプリを作る : 3)

        この記事は https://zenn.dev/oroshi/articles/haskell_calc_state に移行しました。 ...

続きを読む

• 2023.01.07

• プログラミング

GUIと計算部分の実装 (Haskell初心者が電卓アプリを作る : 2)

        この記事は https://zenn.dev/oroshi/articles/haskell_calc_gui に移行しました。 ...

続きを読む

• 2023.01.07

• プログラミング

Haskell初心者が電卓アプリを作る : 1

        この記事は https://zenn.dev/oroshi/articles/haskell_calc_spec に移行しました。 ...

続きを読む

• 2023.01.02

• 解析, 数学, 統計・機械学習

統計的仮説検定とクラメールの定理

        統計的仮説検定は、仮説を正しいとした場合の期待値と実際の期待値のずれ具合により、仮説が正しいかどうかを検証する手法です。大偏差原理は期待値から外れる確率の漸近的な挙動を記述するものであり、仮説検定に応用できるのではない...

続きを読む

• 2022.12.10

• 解析, 数学, 統計・機械学習

確率の合成と統計モデル【Giryモナド】

        統計モデル (=確率モデル) ではしばしば、条件付き確率 $p(y | x)$ を考える事があります。また、統計モデルはいくつかの統計モデルを組み合わせて構成される事があります。これらは統計モデルを確率的写像 (sto...

続きを読む

• 2022.12.01

• 圏論, 数学

前層の圏がトポスであることの証明

        $\mathcal{Set}$ を集合の圏とし、$\mathcal{C}$ を小圏 (全ての射の集まりが集合である) とします。このとき、前層 $\hat{\mathcal{C}} = \mathcal{Set}^{\...

続きを読む

• 2022.11.24

• 圏論, 数学

米田埋め込みは連続関手である

        $\mathcal{Set}$ を集合の圏とし、$\mathcal{C}$ を局所小圏とします。$\hat{\mathcal{C}} = \mathcal{Set}^{\mathcal{C}^{op}}$, $h_c ...

続きを読む

• 2022.11.18

• 幾何, 数学

リーマン幾何学の捩れテンソルの意味 : 最短性と真っ直ぐさ（接続の幾何：番外編１）

        捩れテンソル (捩率テンソル) について調べて、矢野健太郎先生の「接続の幾何学」という本を呼んでいたら、なぜ捩れテンソルが現れる理由が分かりにくいのかわかった気がしました。本記事ではそれを紹介しようと思います。 ...

続きを読む