一様性原理と帰納原理
一様性原理 - 檜山正幸のキマイラ飼育記 メモ編を別な記号法で書いてみる。
- [HU] f;(B+ψ) = (A+ψ);g ⇒ f↑ = g↑
- [PU] f;ψ = (A+ψ);g ⇒ f†;ψ = g†
- [KU] f;ψ = ψ;g ⇒ f*;ψ = ψ;g*
- [KI-1] f;ψ ≦ ψ ⇒ f*;ψ ≦ ψ
- [KI-2] ψ;g ≦ ψ⇒ ψ;g* ≦ ψ
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
一様性原理 - 檜山正幸のキマイラ飼育記 メモ編を別な記号法で書いてみる。