シャドーイングの問題 - 檜山正幸のキマイラ飼育記 メモ編の続き。入れ子 Σ | Δ があるとき、シャドーイングがあろうとなかろうと、Σ←Σ'→(Σ' + Δ) ができる。この事実から、一段階の入れ子はスパンで表現できることがわかる。一般のスパンではなくて、両脚が…

シャドーイングは、現実的には頭の痛い問題で、認める／認めないの判断（決断）が必要だ。が、理論的には特に問題ない。シャドーイングは入れ子スコープで起こるが、「入れ子にすること」を指標のマージだと解釈する。マージは余ファイバー和と解釈する。余…

モノグサはプログラマの美徳と呼ばれる。モノグサ精神は進化の原動力となるが、同時に理論的整合性を崩したり、混乱と錯誤の元凶ともなる。モノグサ精神は： 記述量を減らしたい、略記したい オーバーロードしたい 名前を考えたくない、名前を付けたくない …