非常に広いジリィスタイル・モナドじゃなくて、ジリィモナド。次の6種がジリィモナド 一般 単位的 劣単位的 Meas MG<∞ MG1 MG≦1 Polish PG<∞ PG1 PG≦1 狭義ジリィモナドは、MG1とPG1の2つ。以下では、次の略記 G := MG<∞ G1 := MG1 用語は次のとおり： 拡散 …

吉田朋広『数理統計学』は異例に厳密に書かれた良い本だが、それでも、関数結合と汎関数適用がゴッチャになっていたりする。統計的決定論を圏Stoch内で展開するために、少し記法を変える。'→'はStochの射、'→!'はクリスプ（フリスクじゃない）射。 吉田本 こ…

なんだかもう、呆れるを通り越して凄い気がする。 説明変数＝独立変数≒原因 目的変数＝被説明変数＝従属変数≒結果 関数を因果関係と捉えたいとき（実際はどうであれ）に、こういう言葉を使うのだろう。しかし、独立変数／従属変数を今も使うのかぁ。

まず、普通の統計用語に関して、 inferenceとesitimateがどちらも推定。inferenceを推計として区別することもあるが、「推計」自体が変な言葉。 estimateとestimatorが一応は区別される。が、一般に統計値と統計量〈statistic〉を区別するわけではない。統計…