要らないものを多そうだが、、、JPEG画像だけを探してみると： ~\.emacs.d\image-dired\ の下に大量の画像、すべて一時的。 .emacs.d -> Dot.emacs.d というシンボリックリンクがある。このためにimage-diredのキャッシュ画像が二重に検索される。 ~\ に若干…

{definition (form)? | specification | signature | (type)? class | interface | concept} {example | model | (type)? instance | structure | implementation | class | algebra}

表記のゆれも考慮すると、用語表記は爆発する、という話。 https://ncatlab.org/nlab/show/Lawvere+theory 考えられる表記は、まず、 {代数的 | ローヴェル}{理論 | セオリー} 「ローヴェルの代数的セオリー」もある。「的」の有無もあるから、 {代数(的)? |…

匿名性、非差別性 - 檜山正幸のキマイラ飼育記 メモ編の続き。環境依拠主義（って言葉が適切な気はしないが）は、要素還元主義とは違う（たぶん対極的）。なぜなら、対象（圏論の意味での対象でもあり、一般的な語彙としての対象でもある）を解体（分解、腑…

要素還元主義と環境依拠主義 - 檜山正幸のキマイラ飼育記 メモ編の続き。nLab記事 https://ncatlab.org/nlab/show/principle+of+equivalence の同値性原理〈principle ofequivalence〉は、 リスコフの置換原則 「インターフェイスに対してプログラミングせよ…

仏教 大乗仏教中観派と一般モデル理論 - 檜山正幸のキマイラ飼育記 スノーグローブ スノーグローブ現象 再び - 檜山正幸のキマイラ飼育記 マイクロコスモ原理 マイクロコスモ原理の恐怖 - 檜山正幸のキマイラ飼育記 入れ子 入れ子の世界が大好きだけど怖い -…