相互に関連した体系的な記事のリストです.
統計学とデータ分析
統計的因果推論と効果検証
【効果検証】合成コントロール法による反実仮想データの作成
【効果検証】効果検証と因果推論についての書籍まとめ(仕事で使うための知識)
【線形回帰】線形回帰で遊んでみる[効果検証のための基礎練習]
Box-Cox変換とRankGauss法を試す【観測データを正規分布に近づける】
ベイズ統計学
その他
数理論理学
数学が専門でない方へ
命題論理の健全性と完全性
1. 命題論理とは
2. 論理式とモデルの定義
3. 論理的帰結と証明可能性
4. 演繹定理
5. 完全性定理
6. コンパクト性定理
【PDF】命題論理の健全性と完全性(上記の内容をPDFにまとめたもの)
一階述語論理の健全性と完全性
1. 論理式と構造
2. モデルと論理的帰結
3. 形式的証明と健全性
4. モデルの存在定理と完全性
【PDF】一階述語論理の健全性と完全性(上記の内容をPDFにまとめたもの)