2023.03.23 ポーランド空間上の有限 Borel 測度全体の位相的性質 ポーランド空間 (可分完備距離空間) $S$ 上の符号付有限 Borel 測度全体 $\mathcal{M}_{\mathbb{R}}(S)$ には全変動ノルム $||\cdot||_{var}$ による位相と弱位相の... 続きを読む
2023.03.11 Prokhorov 距離と可分性、完備性、コンパクト性の遺伝 距離空間 $(S, d)$ 上の Borel 確率測度全体の集合 $\mathcal{P}(S)$ には距離を定義することができ、元の距離空間のいくつかの特徴を引き継ぐことが知られています。例えば、可分性や完備性、コン... 続きを読む
2023.02.24 ChatGPTに数学の命題を証明させてみたら1行で矛盾した いまさらながら ChatGPT に数学の問題を解かせてみたら、回答が面白かったので記事にしようと思います。解かせた問題は以下になります。 「ハウスドルフ空間のコンパクト集合が閉集合であることを証明してください。」... 続きを読む
2023.02.20 環準同型によるイデアルの対応まとめ 可換環論では特に代数幾何の文脈において、環準同型によるイデアルの対応はとても重要です。しかし、基本的で単純なものほど、教科書中の証明において明らかであると飛ばされてしまい、たびたび手が止まってしまって面倒な思いをしまし... 続きを読む
2023.02.11 距離空間上の Borel 確率測度全体は距離空間になる 距離空間 $(S, d)$ 上の Borel 確率測度全体の集合 $\mathcal{P}(S)$ には距離を定義することができ、元の距離空間のいくつかの特徴を引き継ぐことが知られています。例えば、可分性や完備性、コン... 続きを読む
2023.02.11 距離空間上の Borel 確率測度全体は距離空間になる (準備編) この記事は以下の記事を読むにあたっての予備知識をまとめたものです。同じ記事にすると長くなりすぎるので分けることにしました。 「距離空間上の Borel 確率測度全体は距離空間になる」 「Prokhorov... 続きを読む
2023.01.07 hspecでHaskellのテストコードを書く (Haskell初心者が電卓アプリを作る : 4) Haskell で電卓アプリを作った際のテストコードの書き方を紹介します。この記事は連載記事「Haskell初心者が電卓アプリを作る」の4回目の記事です。 「Haskell初心者が電卓アプリを作る : 1」 ... 続きを読む
2023.01.07 HaskellでStateパターンを実装する (Haskell初心者が電卓アプリを作る : 3) 本記事では、Haskell での State パターンの実装について記載します。 この記事は連載記事「Haskell初心者が電卓アプリを作る」の3回目の記事です。 「Haskell初心者が電卓アプリを作る... 続きを読む
2023.01.07 GUIと計算部分の実装 (Haskell初心者が電卓アプリを作る : 2) 本記事では、GUI部分の実装と計算部分の実装について書いていきます。この記事は連載記事「Haskell初心者が電卓アプリを作る」の2回目の記事です。 「Haskell初心者が電卓アプリを作る : 1」 「... 続きを読む
2023.01.07 Haskell初心者が電卓アプリを作る : 1 電卓アプリには以下の要素が含まれており、どんな言語でも初学者の練習に向いているように思います。 状態の管理、遷移 計算中の値の保持、更新 (副作用) 文字列と数値の相互変換 (型の違い) イベ... 続きを読む