要素還元主義と環境依拠主義

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

キーワードだけ並べると：

1. モノを要素に分解する vs 分解しないで環境のなかで観測する
2. 解体〈分解 | 解剖〉分析 vs 行動分析
3. モノの構成素と内部構造 vs モノの応答性、（全体のなかでの）役割、（他のモノとの）関係性、刺激・反応・行動・振る舞い
4. モノの下位構造をみる vs モノの上位構造をみる
5. 個体識別する vs 匿名で扱う
6. イコールで識別 vs up-to-iso, up-to-equiv

例えば、単元集合は、「中身を見たら1個しか要素がない」ではなくて、圏全体での役割で定義する。終対象はたくさんあるが、どれを取っても同じ役割だから区別する必要はない。特定された終対象〈distinguished object〉に固有名を付けるのは便宜上。実際、固有名の先の対象が変わっても誰も気づけない。

圏論的固有名は、実は存在を前提としたイプシロン記号。イプシロン記号の条件部は役割を記述する。実は「その役割を担うどれかのモノ」という意味しかない。したがって、「どれか」を変えたときにも理論が不変であることが要求される。

• https://ncatlab.org/nlab/show/principle+of+equivalence 'evil'を検索
• https://ncatlab.org/nlab/show/equivalence 'evil'を検索
• https://ncatlab.org/nlab/show/set 'evil'を検索

匿名性、非差別性

要素還元主義と環境依拠主義 - 檜山正幸のキマイラ飼育記 メモ編の続き。

nLab記事 https://ncatlab.org/nlab/show/principle+of+equivalence の同値性原理〈principle ofequivalence〉は、

• リスコフの置換原則
• 「インターフェイスに対してプログラミングせよ」
• イプシロン記号、イプシロン計算

などと同様の趣旨だ。

実体が何であるかを問わずに、匿名の対象に対して記述や利用を行う。固有名を付けても、それは実際には役割名で、実体がすり替えられても誰も気づけない。

実体のほんとの固有性・個別性・識別性に頼った議論は、nLabの言い方だと'evil'となる。同値性原理からの含意は、Googleのかつての行動規範（社是）"Don't be Evil"ってことだ。

社会的・政治的（PCの意味でのpolitical）に解釈すれば、役割・機能性・反応・行動にのみ基いて対象を調べたり同定するので、

• 注目・要求されている役割・機能性・反応・行動に無関係な個体識別属性を考慮することはevilである。

となる。これはPCつうか、非差別的で正義〈justice〉に基づく判断基準だと思う。

対象、環境、メタ環境

匿名性、非差別性 - 檜山正幸のキマイラ飼育記 メモ編の続き。

環境依拠主義（って言葉が適切な気はしないが）は、要素還元主義とは違う（たぶん対極的）。なぜなら、対象（圏論の意味での対象でもあり、一般的な語彙としての対象でもある）を解体（分解、腑分け）する態度はとらないから。対象は対象として、環境のなかでの役割・応答性・関係性・振る舞いをみる。

よって、スローガンとしては、

• 環境（世界）がなければ、対象（個体）もない。

環境〈environment | ambient | surroundings〉という概念は、アフォーダンスに近いかも知れない。

• アフォーダンス - Wikipedia
• fladdict.net blog: アフォーダンスってなんザンス？

環境の定式化は少なくとも二段階が必要で、

1. 対象が所属する直接的な環境
2. 環境が所属するメタ環境

なんで少なくとも二段階が必要かは、マイクロコスモ原理に関係する。

• マイクロコスモ原理の恐怖

（直接的な）環境とメタ環境をどう呼ぶか？

比喩	対象	環境	メタ環境	環境の固定
海洋	人	アイランド	オーシャン	アイランドへのアンカリング
宇宙	人	惑星	銀河	惑星へのランディング
-	-	ランド	アンビエント	ランドへのランディング

宇宙の比喩に関しては、

• 現場の集合論としての有界素朴集合論
• 圏論的宇宙と反転原理と次元付きの記法

Lawvere theory

表記のゆれも考慮すると、用語表記は爆発する、という話。

• https://ncatlab.org/nlab/show/Lawvere+theory

考えられる表記は、まず、

• {代数的 | ローヴェル}{理論 | セオリー}

「ローヴェルの代数的セオリー」もある。「的」の有無もあるから、

• {代数(的)? | ローヴェル | ローヴェル(の)?代数(的)?}{理論 | セオリー}

ローヴェルをLawvereと書くときもあるから、

• {代数(的)? | ローヴェル | Lawvere | {ローヴェル | Lawvere}(の)?代数(的)?}{理論 | セオリー}

「セオリー」が混乱を招くのでローヴェル圏と呼ぶ人もいるから、

• {代数(的)? | ローヴェル | Lawvere | {ローヴェル | Lawvere}(の)?代数(的)?}{理論 | セオリー | 圏}

「セオリー圏」という言い方もあるだろうから、

• {代数(的)? | ローヴェル | Lawvere | {ローヴェル | Lawvere}(の)?代数(的)?}{理論 | セオリー | {理論 | セオリー}?圏}

展開すると：

1. 代数的理論
2. 代数的セオリー
3. 代数的理論圏
4. 代数的セオリー圏
5. 代数的圏
6. 代数理論
7. 代数セオリー
8. 代数理論圏
9. 代数セオリー圏
10. 代数圏
11. ローヴェル理論
12. ローヴェルセオリー
13. ローヴェル理論圏
14. ローヴェルセオリー圏
15. ローヴェル圏
16. Lawvere理論
17. Lawvereセオリー
18. Lawvere理論圏
19. Lawvereセオリー圏
20. Lawvere圏
21. ローヴェルの代数的理論
22. ローヴェルの代数的セオリー
23. ローヴェルの代数的理論圏
24. ローヴェルの代数的セオリー圏
25. ローヴェルの代数的圏
26. ローヴェルの代数理論
27. ローヴェルの代数セオリー
28. ローヴェルの代数理論圏
29. ローヴェルの代数セオリー圏
30. ローヴェルの代数圏
31. ローヴェル代数的理論
32. ローヴェル代数的セオリー
33. ローヴェル代数的理論圏
34. ローヴェル代数的セオリー圏
35. ローヴェル代数的圏
36. ローヴェル代数理論
37. ローヴェル代数セオリー
38. ローヴェル代数理論圏
39. ローヴェル代数セオリー圏
40. ローヴェル代数圏
41. Lawvereの代数的理論
42. Lawvereの代数的セオリー
43. Lawvereの代数的理論圏
44. Lawvereの代数的セオリー圏
45. Lawvereの代数的圏
46. Lawvereの代数理論
47. Lawvereの代数セオリー
48. Lawvereの代数理論圏
49. Lawvereの代数セオリー圏
50. Lawvereの代数圏
51. Lawvere代数的理論
52. Lawvere代数的セオリー
53. Lawvere代数的理論圏
54. Lawvere代数的セオリー圏
55. Lawvere代数的圏
56. Lawvere代数理論
57. Lawvere代数セオリー
58. Lawvere代数理論圏
59. Lawvere代数セオリー圏
60. Lawvere代数圏

カタカナ表記のバリエーション（ローヴェア、ロウヴィエールとか）、音引き、ナカグロなどのゆれも考えると、さらに増える。

Lawvere’s algebraic theories は実例あり。

• https://www.irif.fr/~mellies/papers/bmw-arities.pdf

defintion and example

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

引っ越す画像

要らないものを多そうだが、、、JPEG画像だけを探してみると：

1. ~\.emacs.d\image-dired\ の下に大量の画像、すべて一時的。
2. .emacs.d -> Dot.emacs.d というシンボリックリンクがある。このためにimage-diredのキャッシュ画像が二重に検索される。
3. ~\ に若干の画像、目視で調べられる程度
4. ~\2017Nagoya\ に講演スライド
5. ~\Chimaira.org\ にサイトアップロード分も含めて大量の画像
6. ~\Chimaira.org\root\books\ 特に、ここには本棚画像
7. ~\Chimaira.org\ForPrinting\ ？
8. ~\Chimaira.org\misc\img\ ？
9. ~\HosoDaigaku\TABROU\ タブロー関係画像
10. ~\IDG-OLD-RENSAI\ 昔の記事の画像
11. ~\images\ よく使う画像をここのまとめる
12. ~\LectureScenarioML\ 以前の仕事の画像
13. ~\mail\User0\Attach\ 古い古いメール添付
14. ~\mail\User1\Attach\ 同上
15. ~\mail\User2\Attach\ 同上
16. ~\MasayukiHIYAMA\JavaWorld\ 昔の記事の画像
17. ~\MasayukiHIYAMA\seagaia2001\ 古い講演の画像
18. ~\OldContent\*\* これは問題、過去のモノがゴッソリ、このディレクトリ構造は良くない。
19. ~\OnHiyama\RecursiveDownloads\ インターネットからのダウンロードしたやつ
20. ~\OU*\ 仕事関係、画像はたいして意味はない。
21. ~\ppts_all\ パワポのやつ
22. ~\PrivateHiyama\ 個人的写真とか
23. ~\ProjectCaty\ Catyのやつ
24. ~\relaxNote\bentenDocs\ Relax関係のバックアップ
25. ~\relaxNote\daikokuDocs\ Relax関係のバックアップ
26. ~\sf\ ？
27. ~\tmp\ 基本捨ててもいいはずだが
28. ~\venvs\ 仮想環境で使っていたやつ
29. ~\WiMAX-BIGLOBE\ 契約書かな？