フランツによる統計的独立性の定義 - 檜山正幸のキマイラ飼育記 (はてなBlog) 射影付きモノイド積に対するフランツの独立性、これもモダリティ／コンストラクタ／コンビネータでアプローチできないか。

用語法・記法 定義・定式化 解釈・理解 判断・発想 において、 固定化・絶対化する 執着する 拘る 縛られる 囚われる はいけない。 変化・変動 多様性 柔軟さ 寛容さ 臨機応変な対応 を大事にする。

hrタグを直接入れるとき、表示が変わる。一番多く使っていた「前後空行なし改行」が隙間が空くので、修正している。以前は、隙間は開かなかった。 前後空行なし改行 段落。 <hr> 段落。 段落。 段落。 前後空行あり改行 段落。 <hr> 段落。 段落。段落。 空行なし後</hr></hr>…

パレス、使える！ - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。デカルト作用圏（例えば、デカルト作用圏が面白い - 檜山正幸のキマイラ飼育記 (はてなBlog)）の純部分圏は、やはりパレスの例になっている。フレイド圏ももちろんそうだ。パレスの例は： …