  |
はてなキーワード: idaとは
エレメンタリートポスの枠組みを用いることで、情報と存在の関係を数学的にモデル化できる。このモデルでは、存在をトポスの対象として、情報をその間の射や、内部論理における命題として表現する。
- 射の集合：任意の対象 A, B ∈ Ob(𝓔) に対し、射の集合 Hom𝓔(A, B)。
- 合成写像：∘ : Hom𝓔(B, C) × Hom𝓔(A, B) → Hom𝓔(A, C)。
- 恒等射：各対象 A に対し、idA ∈ Hom𝓔(A, A)。
- 合成の結合律：f ∘ (g ∘ h) = (f ∘ g) ∘ h。
- 恒等射の単位性：idB ∘ f = f、f ∘ idA = f。
1. 有限極限の存在：𝓔 は有限極限（特に、積と等化子）を持つ完備な圏である。
2. 指数対象の存在：任意の対象 A, B ∈ 𝓔 に対し、指数対象 BA が存在し、以下の自然同型が成り立つ。
Hom𝓔(C × A, B) ≅ Hom𝓔(C, BA)
3. 部分対象分類子の存在：特別な対象 Ω ∈ 𝓔 と単射 true: 1 → Ω が存在し、任意のモノ射（単射） m: U ↪ A に対し、一意的な射（特性射） χU: A → Ω が存在して以下の可換図式を満たす。
U ↪ A
↓ ↓
1 → Ω
1. 射としての情報：存在間の関係や変換を表す射 f: A → B は、存在 A から存在 B への情報の伝達や変換をモデル化する。
2. 部分対象としての情報：対象 A の部分対象 m: U ↪ A は、存在 A の特定の性質や部分構造（情報）を表す。これはモノ射として表現される。
3. 特性射と命題：部分対象 m: U ↪ A に対応する特性射 χU: A → Ω は、存在 A の要素が部分対象 U に属するかどうかを示す情報を提供する。
トポス 𝓔 の内部では、高階直観主義論理が展開される。ここで、以下の対応が成立する。
- 論理積（AND）：P ∧ Q は積対象を用いて、χP∧Q = ⟨χP, χQ⟩ : A → Ω × Ω → Ω。
- 論理和（OR）：P ∨ Q は余積（和）を用いて表現される。
- 含意（IMPLIES）：P ⇒ Q は指数対象を用いて、χP⇒Q: A → ΩΩ。
- 否定（NOT）：¬P は、χ¬P = χP⇒⊥ として表され、⊥ は偽を表す部分対象である。
1. 一致性：開被覆 { fi: Ui → U } に対し、各 F(Ui) の要素が F(Ui ×U Uj) 上で一致するなら、それらは F(U) の要素から誘導される。
2. 貼り合わせ可能性：F(U) の要素は、その制限が各 F(Ui) の要素に一致する。
以上の構造を組み合わせることで、情報と存在の関係を統一的にモデル化できる。
- 射 f: A → B は存在間の情報の伝達や変換を示す。
- 部分対象 m: U ↪ A は存在の部分的な情報や性質を示す。
桜ういろう
@uirousakura
文鮮明創刊「世界日報」が活動に共鳴している暇空茜さんによると、インターネットには悪魔（サタン）がいるそうな。サタンが本気になったら暇空さんも本気になるらしい。
なんだかキナ臭くなって参りマシター😃
https://twitter.com/uirousakura/status/1614618059695853571
桜ういろう
@uirousakura
31分
返信先:
@uirousakuraさん
暇空茜氏にサタンと名指しされたピンフスキー氏は、暇空氏の天敵である青識亜論氏にラブコールを送っており、事態は混迷を深めているようです。暇空軍団と青識連合軍の闘いが熱を帯びて参りました！😂
桜ういろう
@uirousakura
【メモ】暇空茜氏が統一教会信者であることを否定し「絶対に近寄りたくない対象」「文鮮明はバカ アホ」と明言しました。ただ教団や関連団体からの支援の有無に関する説明はありませんでした。
訴えられそうになりビビるくらいなら決めつけない方がいい。
桜ういろう
@uirousakura
そうは言っても国際勝共連合からお金をもらったナザレンコ・アンドリーさんを引用RTし、不自然に共産党を強調してColaboを叩く暇空氏の行為についてあーだこーだと論評することは全く問題ではありません😉
これは誰が言っても正しい。
桜ういろう
@uirousakura
2時間
返信先: @uirousakura
さん
ところで暇空茜さんの「明確に否定を表明したから、僕の名誉を棄損します」って理屈は、ご自身のColabo批判や陰謀論に盛大なブーメランになるんじゃないの？
Christopher
@minimalsafe
返信先:
@uirousakura
さん
話は変わりますが、統一協会は「神のためならうそをついてもいい」と教えているそうですね。
桜ういろう
@uirousakura
2時間
返信先:
@minimalsafe
さん
それな😂
アウトでは……
桜ういろう
@uirousakura
ネトウヨさんたちが「売春を奨励している」と喚き散らしながらコンドーム工場を襲撃しないか心配になるレベル
#純潔教育
桜ういろう
@uirousakura
2時間
そんな証拠があるの？
https://www.worldtimes.co.jp/japan/20221226-167638/
井田奈穂/Naho Ida/選択的夫婦別姓・全国陳情アクション
@nana77rey1
13時間
井田奈穂/Naho Ida/選択的夫婦別姓・全国陳情アクション
@nana77rey1
1時間
「集団リンチするミソジニーな暇アノンの皆さん」の一員であるという自覚があるんですね。嘆かわしい。
龍🇯🇵
@ryokanamori
1時間
返信先: @nana77rey1さん
それは侮辱と捉えてよろしいでしょうか？
意味が分からない。これで自分がクールな返しをしているとかうぬぼれているのがすごい。なんでもミソジニーといえばいいということか。
井田奈穂/Naho Ida/選択的夫婦別姓・全国陳情アクション
@nana77rey1
2時間
集団リンチするミソジニーの暇アノンの皆さんのことは、心からお気の毒と思っています。実態として大した数はいないでしょうけども。
@UMFLJqOW98RKLkr
4時間
返信先: @nana77rey1さん
男性嫌悪拗らせて、不正疑惑をミソジニー問題に仕立て上げたがるその執念をこそ、もっと役立つ方向へ向けたなら…と思うと涙と震えが止まらない（笑）
ふつうは2度も結婚しないと思いますが。何度でも結婚するために選択的夫婦別姓を主張しているのでしょうか。。。
井田奈穂/Naho Ida/選択的夫婦別姓・全国陳情アクション
@nana77rey1
7時間
成人式のきれいな振り袖姿の子をたくさん見たけど、成人式って今後も20歳の1月なのかしら…。
18歳に移行したら、受験期でそれどころじゃない子多そう。
そういう風に若者を苦しめてとても楽しそうですね。
大本営発表によると、これは「禁輸措置ではないことの証明」であり、経産省は粛々と取引審査を行っていることになるのだろう。
しかし、この裏には真の狙いがあると思われる。
いわゆるホワイト国除外に先駆けて３品目の個別許可申請が必要になったわけだが、これにより３品目を輸出する企業は、これらの貨物を無断で転売しない旨の誓約書を韓国企業から取得することになる。
一つは日本の輸出企業が罰せられる。なぜなら転売する場合は経産省に報告する義務があるからだ。この義務の不履行による罰則が課される。
そして、韓国の企業とはいえ、何も罰せられないわけではない。経産省の発行する「外国ユーザーリスト」に掲載される可能性があるのだ。
外国ユーザーリスト：https://www.meti.go.jp/policy/anpo/EUL_3.pdf
この「外国ユーザーリスト」に掲載されると、どんな品目であろうと輸出に許可が必要となる。
（正確に言えば該当ユーザーの懸念区分と貨物の懸念区分が異なっていれば、ガイドラインに従って許可不要となる場合もある。しかし懸念用途に使用されないことは日本企業側が責任を負うため、大抵は輸出を自粛してしまう）
外国ユーザーリストに掲載されている組織・団体はIslamic Revolutionary Guard Corps（イラン革命防衛隊）とか、もっと有名どころだとAl Qa'ida（アルカイダ）とか、やべーやつばかり。そこに掲載されることは、すなわち（日本企業との取引という意味では）死である。
そして、ここからが重要なのだが、ホワイト国の企業については、外国ユーザーリストに載ることがないのである。
私は３品目の輸出規制こそが経産省の本丸だと睨んでいるのだが、韓国をホワイト国から外した理由はよく分からなかった。まあ対徴用工の外交カード程度の話なのだろうと思っていたが、外国ユーザーリストに特定の企業を載せるためだと考えれば、ホワイト国外しにも納得がいく。
そして、外国ユーザーリストに韓国企業を載せるには、いったんは輸出を許可しなければならない。最初から輸出を不許可にしていたのでは、誓約違反も発生しないからだ。
