  |
はてなキーワード:descentとは
https://docs.un.org/en/CEDAW/C/PHL/CO/9
The Committeeis concernedat the absence of comprehensive antidiscrimination legislation to protect disadvantaged and marginalized groups of
women facing intersecting forms of discrimination in theState party, in particular
Indigenous and Bangsamoro women; women with disabilities; lesbian, bisexual.
transgender and intersex women;
PR13 で「transgender」って直接的に誤解の余地なく他の女性と同列に言及してる
CEDAW/C/MEX/CO/8-9 は PR11
https://docs.un.org/en/CEDAW/C/MEX/CO/9
(b) The lack of effective mechanisms and the insufficientstate-level
budgetary allocations to implement and monitor thelaws relating togender equality
and women’s right to alife free ofviolence have failed to eliminate discrimination,
notably intersecting forms of discrimination, in particular against indigenous women,
Mexican women of Africandescent,migrant women, women with disabilities,
lesbian, bisexual and transgender women and intersex persons;
こちらでも「transgender women」を他の女性と同じように扱っている。
おつむが可哀想なやつはここで「transgender women」はトランスジェンダー女性だからFtMのことだ！みたいな事を言うがそれはFtMを棍棒にしてるだけでFtMの人権を守るのであれば彼らを彼らとしてあつかう事が人権の尊重ってことを思い出してもらわないといけませんね
これらの文章の指す「transgender」は誤解の余地なくMale-to-Femaleでしたー🤪🤪🤪はーい ろんぱっぱ🤪🤪🤪
数学の最も抽象的な核心は、structured homotopy typesをファンクターとして扱い、それらの相互作用＝dualities・correspondencesで世界を説明することに集約できる。
ここでいう構造とは、単に集合上の追加情報ではなく、加法や乗法のような代数的構造、位相的・解析的な滑らかさ、そしてさらにsheafやstackとしての振る舞いまで含む。
現代の主要な発展は、これらを有限次元的な点や空間として扱うのをやめ、∞-categoricalな言葉でfunctorial worldに持ち込んだ点にある。
Jacob Lurie の Higher ToposTheory / Spectral Algebraic Geometry が示すのは、空間・代数・解析・同値を一つの∞-topos的な舞台で同時に扱う方法論。
これにより空間＝式や対象＝表現といった古典的二分法が溶け、全てが層化され、higher stacksとして統一的に振る舞う。
この舞台で出現するもう一つの中心的構造がcondensed mathematicsとliquid的手法だ。
従来、解析的対象（位相群や関数空間）は代数的手法と混ぜると不整合を起こしやすかったが、Clausen–Scholze の condensed approach は、位相情報を condensed なファンクターとしてエンコードし、代数的操作とホモトピー的操作を同時に行える共通語彙を与えた。
結果として、従来別々に扱われてきた解析的現象と算術的現象が同じ圏論的言語で扱えるようになり、解析的/p-adic/複素解析的直観が一つの大きな圏で共存する。
これがPrismaticやPerfectoidの諸成果と接続することで、局所的・積分的なp-adic現象を世界規模で扱う新しいコホモロジーとして立ち上がる。
Prismatic cohomology はその典型例で、p-adic領域におけるintegralな共変的情報をprismという新しい座標系で表し、既存の多様なp-adic cohomology理論を統一・精緻化する。
ここで重要なのはfieldや曲線そのものが、異なるdeformation parameters（例えばqやpに対応するプリズム）を通じて連続的に変化するファミリーとして扱える点である。
言い換えれば、代数的・表現論的対象の同型や対応が、もはや単一の写像ではなく、プリズム上のファミリー＝自然変換として現れる。
これがSpectral Algebraic Geometryや∞-categorical手法と噛み合うことで、従来の局所解析と大域的整数論が同一の高次構造として接続される。
Langlands 型の双対性は、こうした統一的舞台で根本的に再解釈される。
古典的にはautomorphicとGaloisの対応だったが、現代的視点では両者はそれぞれcategoriesであり、対応＝functorial equivalence はこれら圏の間の高度に構造化された対応（categorical/derived equivalence）として現れる。
さらに、Fargues–Fontaine 曲線やそれに基づくlocal geometrization の進展は、数論的Galoisデータを幾何的な点として再具現化し、Langlands対応をモジュールcategorical matchingとして見る道を拓いた。
結果として、Langlands はもはや個別の同型写像の集合ではなく、duality ofcategoriesというより抽象的で強力な命題に昇格した。
この全体像の論理的一貫性を保つ鍵はcohesion とdescent の二つの原理。
cohesion は対象が局所的情報からどのようにくっつくかを支配し、descent は高次層化したデータがどの条件で下から上へ再構成されるかを規定する。
∞-topos と condensed/lquid の枠組みは、cohesion を定式化する最適解であり、prismatic や spectral構成はdescent を極めて精密に実行するための算術的・ホモトピー的ツール群を与える。
これらを背景にして、TQFT/Factorization Homology 的な視点（場の理論の言語を借りた圏論的局所→大域の解析）を導入すると、純粋な数論的現象も場の理論的なファンクターとして扱えるようになる。
つまり数学的対象が物理の場の理論のように振る舞い、双対性や余代数的操作が自然に現れる。
ここで超最新の価値ある進展を一言で述べると、次のようになる。
従来バラバラに存在した「解析」「位相」「代数」「表現論」「算術」の言語が、∞-categorical な場の上で一つに融解し、しかもその結合部（condensed +prismatic + spectral）の中で新しい不変量と双対性が計算可能になった、ということだ。
具体例としては、prismatic cohomology による integralp-adic invariants の導出、condensed approach による関数空間の代数化、そして Fargues–Fontaine 曲線を介した局所–大域のgeometrization が、categorical Langlands の実現可能性をこれまでより遥かに強く支持している点が挙げられる。
これらは単なる技法の集積ではなく、「数学的対象を高次圏として扱う」という一つの理念の具体化であり、今後の発展は新しい種の reciprocitylawsを生むだろう。
もしこの地図を一行で表現するならばこうなる。数学の最深部は∞-categories上のcohesiveなfunctorialityの理論であり、そこでは解析も代数も数論も場の理論も同じ言語で表現され、prismatic・condensed・spectral といった新しい道具がその言語を実際に計算可能にしている。
専門家しか知らない細部（例えばprismの技術的挙動、liquidvectorspaces の精密条件、Fargues–Fontaine上のsheaves のcategorical特性）、これらを統合することが今の最も抽象的かつ最有望な潮流である。
大規模言語モデル（LLM）の根幹にあるのは数学的な原理です。
ここでは、その仕組みを3つの要点に絞って、数式を交えながらシンプルに解説します。
LLMの最も基本的なタスクは、「ある単語の並び（文脈）が与えられたときに、次に来る単語は何か？」を確率的に予測することです。これを数式で表すと、以下のようになります。
LLMは、インターネット上のブログ記事や書籍といった膨大なテキストデータを読み込みます。
そして、文章中のあらゆる箇所で「次の単語」を予測するクイズを延々と解き続けます。
モデルは、P(晴れ |今日の天気は) の確率が100% (または1.0)に近づくように、内部のパラメータ（後述する重み）を少しだけ調整します。
このプロセスを何十億、何兆回と繰り返すことで、モデルは単語の様々なつながり方や文法、さらには世界の知識に関するパターンを学習していきます。
学習済みのモデルに「AIの未来は」と入力すると、モデルは語彙に含まれる全単語に対して、次に来る確率を計算します。
...
そして、最も確率の高い「明るい」を選んだり、確率分布に従ってランダムに単語を選んだりすることで、文章を生成していくのです。
では、どのようにしてLLMは単なる単語の並びだけでなく、複雑な文脈を理解するのでしょうか？
その技術が Transformerであり、その学習を支えるのがバックプロパゲーション です。
Transformerの最大の特徴は自己注意機構 (Self-Attention) です。
これは、文章中の単語同士の関連性の強さを計算し、どの単語に「注意」を向けるべきかを判断する仕組みです。
例えば、「その猫は疲れていた。なぜなら一日中ネズミを追いかけていたからだ。」という文において、「その猫」が「疲れていた」理由を理解するためには、「追いかけていた」という単語との関連性が重要です。
自己注意機構は、各単語について以下の3つのベクトルを生成します。
そして、以下の計算（概念式）によって、文脈を反映した新しい単語表現を作り出します。
Attention(Q, K, V) = softmax( (Q Kᵀ) / √(dₖ) ) V
1. Q Kᵀ: Queryと各Keyの関連度（内積）を計算します。似ている単語ほど値が大きくなります。
2. / √(dₖ): 値が大きくなりすぎないように調整します（スケーリング）。
3. softmax:計算した関連度スコアを、合計が1になる確率分布に変換します。これにより、関連性の強い単語ほど高い重みが与えられます。
4. V: この重みを使って、各単語の情報（Value）を重み付けして足し合わせます。
この結果、単語は元の意味だけでなく、「文脈の中でどのような役割を果たしているか」という情報を含んだベクトルに変換されます。
Transformerはこの処理を何層も積み重ねることで、非常に複雑で長期的な依存関係を捉えることができるのです。
バックプロパゲーション（誤差逆伝播法）は、モデルの予測と正解との「誤差」を計算し、その誤差を小さくするために、モデル内の膨大な数のパラメータ（重み）をどう調整すればよいかを教えてくれるアルゴリズムです。
1. 順伝播 (Forward Pass):入力（コンテキスト）をTransformerに通し、次の単語の確率分布を予測します。
2. 損失計算 (Loss Calculation):予測した確率分布と、正解の単語とのズレ（誤差）を損失関数（例：クロスエントロピー誤差）で計算します。損失が大きいほど、予測が間違っていることを意味します。`Loss = -Σ yᵢlog(pᵢ)` (yᵢ は正解なら1, それ以外は0。pᵢ はモデルの予測確率)
3. 逆伝播 (Backward Pass): この損失を、出力層から入力層に向かって逆方向に伝播させます。微分の連鎖律を使い、「各パラメータが最終的な損失にどれだけ貢献したか（＝勾配）」を計算します。
4.パラメータ更新: この勾配に基づき、損失が小さくなる方向へ各パラメータを少しだけ更新します。
この「予測 → 誤差計算 → 勾配計算 →更新」というサイクルが、LLMの学習の基本です。
バックプロパゲーションで計算された勾配を使って、具体的にどのようにパラメータを更新するかを決めるのがオプティマイザ（最適化手法）の役割です。
最も基本的な考え方は、損失という名の「谷」の底（最小値）に向かって、勾配（傾き）が最も急な方向に一歩ずつ下っていく勾配降下法 (GradientDescent)です。
θ_new = θ_old - η ∇L
現在、最も広く使われているオプティマイザの一つが Adam です。これは、勾配降下法をより賢くしたもので、主に2つの工夫がされています。
1.慣性 (Momentum):過去の勾配の移動平均を保持します。これにより、坂道を転がるボールのように、同じ方向に進み続ける場合は加速し、学習が停滞しにくくなります。
2.適応的な学習率 (Adaptive LearningRate):パラメータごとに学習率を自動で調整します。頻繁に更新されるパラメータは慎重に（学習率を小さく）、あまり更新されないパラメータは大胆に（学習率を大きく）更新することで、学習を効率化します。
Adamのような優れたオプティマイザがあるからこそ、何十億ものパラメータを持つ巨大なLLMを、現実的な時間で安定して学習させることができるのです。
Transformer というアーキテクチャが、自己注意機構によって文脈を理解し、次の単語の確率 P(next token | context) を予測する。
その予測と正解の誤差をバックプロパゲーション で計算し、その誤差を最小化するように Adam などのオプティマイザがモデルのパラメータを効率的に更新する。
「円高・デフレ」は(∞,1)-圏における安定な∞-構造の自己同型であり、「リフレ」は(∞,1)-論理の破綻とコヒーレンス崩壊を意味します。
Let 𝔛 be an ∞-topos
𝔛 ≅ Sh_∞(𝒞, J)
where 𝒞is a small (∞,1)-category of economic objects (市場、通貨、資源等)
Jis aGrothendieck topology encoding local economic accessibility (情報、価格、選好構造の被覆)
Let 𝓟 ∈ 𝔛 be an ∞-sheaf of pricestructures (物価∞-層)
ε ∈ Aut_𝔛(𝓟): 円購買力を記述する∞-自己同型変換
𝓤 ∈ π₀Map(1,𝓟): price-dependent global welfare section（厚生の∞-射影）
Assume:
∀x ∈ Obj(𝓟), ε(x) ≃ x in 𝔛
⇒ preservesall ∞-categorical colimits and finite limits
⇨円高・デフレ操作は、𝔛の(∞,1)-安定構造を保ち、選好構造と整合的に作用する。
加えて、
Map(1,𝓟) ⊂ Stable_𝔛
ならば、ε induces aloopstructure: ε ∈ Ω𝓟
⇨ ε はトポス論的loop operation として、厚生構造の保存的変形を定義
Let ℛ: 𝓟 → 𝓟 be a morphism not preservingdescent,
i.e., ℛ ∉ Sheaf_∞(𝒞,J), breaks colimit preservation
⇨ ℛis not a geometric morphism ⇨ fails to preserve truncations, ∞-descent
また、ℛ induces a morphism:
with π₀(ℛ)(𝓤) undefined ⇨ ∃i>0, πᵢ(ℛ(𝓤)) ≠ 0 ⇒ 高次ホモトピーが消えない
⇨リフレ政策は、厚生関数の高次ホモトピー的位相不整合をもたらす。
このとき、コヒーレンス条件（Segal条件、Univalence）不成立 ⇨ 𝔛 collapses to incoherent pre-sheaf ∞-category
ε ∈ Aut_𝔛(𝓟) ∧ ε ∈ Ω𝓟 ⇒ 安定・構造保存的作用（円高・デフレ）
リスペクト性なし、descentnessなしの、世の中をよくしないevil thinkに見えるんですが、それは。
“「自由は望むが社会運動には参加しないと明言する人々は 土を耕す苦労をせずに収穫物だけを欲する人たちと同じです。」”
“「迷惑かけちゃいけない」っていう教えは破綻している。敗戦後には分かりきっていた話なのに。”
“組合活動に参加したことない連中が、加入しない言い訳に「あいつらはイデオロギー先行で関係ない活動ばかりして」って嘘ついてるのは見たことあるけどな。 実際にはベアや手当を要求して、ちゃんと勝ち取ることもあるし、非組合員も恩恵受けてるのに知らん顔するの。よく恥ずかしくねーなって思う。”
ほらよ。
https://anond.hatelabo.jp/20171014071350
Iam workingas an engineer in theITarea, but Imanaged to holdit for some 2 years.
I do not have confidence yet, and Ifeel evenmore confident about my confidence for therest ofmy life,the excellence of my colleague.
If I do not desperatelydo it Iam working everyday withfeelings thatitis notamusing even if I receive a notification outside the fighting strength.
Still, inJapan, I think thatJapanhas much better skill thanCTO in thatarea.
Inthe future I thought that if I could return toJapan andcontribute to theJapanesesociety,Japan thatis visible from the outsideis bad.
Whatis bad, firstaspect ofpolitics.
Thepoint that democracyis not fully functioningagainstthe fact that there are stupid citizenswho blind the LDP, suchasAbe'sdescent.
That other partyis also notgood.Hope party? Whatis thatladylike that disciple of Ru Ooshiba? Rou Koike?
Themoreyou do not haveit, the stupidwill be clouded in katakana and psychology.You idiots,you guys say this. Ilove Katakanaanyway, Ilove psychology,100% I do not saybig things. Whatis Y's Spending. Do notfix whatyou normally call katakana.
Since the political systemisover in the first place, I think thatitis the cause of failure of not receiving popular people, especially elderly people,only short-term and useless policies absolutely. So wewill notattackonly the LDP.
Itis too fatal thatpoliticsis not rational anditis impossible to include the policy that should be done. Becauseitends with poppiness if I can not vote.
Unfortunately, the trend of changing the political system probablywill not happen ifit fails.
In recent decades, politicians have accelerated the declining birthrateand agingsociety to adistortion withoutlookon the preferential treatment for the elderly + measuresagainst the declining birthrate.
The decline inJapan's birthrate and birthrateis partly spontaneous, butthe world'slow birthrateand agingsocietyis not causedbynatural phenomena.
Thereis notany future that puttingall the energy to surrender the tax to the oldmanby tax freeover medical care.Itwas already late when we were discussing whether a largeamount of tax would be used due to politicians' old elderly votes or ten years ago, soitwas already late, we have not correctedthe orbitagain so far Iamgoing to politateon the same route.
An aged politiciandoes not think about a short-circuiting policy,the future. Citizens delight in the immediate economic policy.
Grass grows now,as thenation 's collapsehas become areality.
If the declining birthrate and the aging population advancedat this paceasitis, theJapaneseboatwillsink in20 years.Two years ago I thought I would have 30 years.
I gave up completely toJapan'spolitics. Defeatedentertainmentis not funny. I'm saying thatitisjapanese, but I do not dislikeit. To give up means toaccept failures.
Didyou have a businessanywhere other than bidding? I do not havepieces of creativity. Thereis no further ethics.
Whatisit, Mercari orDeNA or moral business orsomethingis a socialsin. I just confusedsociety,did not I? The country and the country came to know not ethics.
Ethics of theJapanese arelower than theJapanese think.
Although I derail for a while,accident happens in front of myeyes, the idiotswhotake pictures with smaho are not minoritiesatallNationalityis bad.
Even though thereis serviceonly where moneyis involved, do not say hospitalityas ifit were thenational character of theJapanese.
Itis not a minority to be a completely individualistsociety and people are troubled and help people.
At this time newcreative businessis born fromone to thenext.Itisat an unthinkable pace inJapan. Of course, there aremany doubtful businessesas to whetheritwill become money, butitis better thanJapanesesociety where thereis no brain except copying the business ofanother companyatall.
So almost no companywants to work inJapan.
Andthe fall of the company. Almost nointernational competitiveness. Even large corporationswill be crushed.
With this aging birthrate and declining birthrate,you can notcontribute even todomestic demandwith the elderlywho can not seethe future ifitis full of old people.
There are no people with a declining birthrate.It seems thatyoung people are supporting the LDPby thinking positivelyasbeing a seller's market completely.
Thereisonlyone personwhois not merely a policy of an aging population declining birthrate.Your futureis pitch dark.
Were I so stupidas towhom I thought ofgoing back toJapan? What?Itis certain thatat leastthe field of view and experiencehas been muchlower thanitwas now.
If I see myselftwo years ago, Ifeel mercyonly now.
Indeeditis visible thatitwill collapse inanother few decades Indeeditwill not be possible to return toJapan.
Why do I have to board asinkingship? Parents are theonly team to surrender,only you are to protectyourself.
Originally I decided not tomake children from the uncertain future ofsociety, not myself. I think that choicewas right.
Politician Now, ifyou are not stupid,it means thatyou are doing intentional bankruptcyactivities.
Itisgood thatyou areonly interested inbeing inspected. I do not knowanymore.
At the very least, pleasetry tomakeJapanese citizens work inthe world. If the hurdle of laborvisagoes down, thenyouwill be able todo it ifyou haveEnglish proficiency.
I had a lot of hardships. Althoughitis inferior to native, Iam working without problems.
Relatives andfriends of the 150 passengers and crewon Germanwings Flight4U 9525 are due togo to thecrash site high in the FrenchAlps.
Lufthansawill operatetwo special flights -one from Barcelona andone from Duesseldorf - to Marseille, and both groupswill travelonbyroad.
Reports sayone of thetwo pilotson the doomed flight had left the cockpit and had been unable toget back in just before thecrashon Tuesday.
There were no survivors, officials say.
They say theAirbus 320 from Barcelona to Duesseldorf hit a mountain after a rapid eight-minutedescent.
Germanwings chief Thomas Winkelmann said 72 passengers were German citizens, including 16 pupils returning from anexchange trip.
Spain'sgovernment said 51 of the dead were Spanish.
Other victims were fromAustralia,Argentina, Britain,Iran,Venezuela, the US, theNetherlands,Colombia,Mexico,Japan,Denmark andIsrael.
Germanwings is alow-costairline ownedbyGermany'smain carrierLufthansa.
Cockpit mystery
Families andfriends of the victims are expected to arriveat thecrash siteat Meolans-Revels lateron Thursday.
Separately, a bus carrying 14 relatives of Spanish victims left Barcelonaon Wednesday for thecrasharea, because theydid not want tofly.
InFrance, special teams have been prepared toassistthe families during their visit.
On Wednesday, French officials said usable data had been extracted from the cockpitvoice recorder of the Germanwingsplane.
Remi Jouty, thedirector of the French aviation investigative agency, said there were sounds andvoiceson the cockpitvoice recorder but thatitwas too early todrawany conclusions.
He said he hoped investigators would have the "first rough ideas in a matter ofdays" but that the full analysis couldtake weeks or even months.
But theNew York Times quoted an unnamed investigatoras saying thatone of the pilots had left the cockpit and had been unable toget back in.
"You can hear he is trying tosmash the door down," the investigator adds, describing audio from the recorder.
A source close to the investigation told a similarstory to theAFPnews agency.
There had been earlier reports thatthe second blackbox - the flight data recorder - had been found. ButMr Jouty said thiswas not thecase.
'Flying to the end'
Mr Jouty said theplane'slast communicationwas a routineone withair traffic control.
Theplane confirmed instructions tocontinueonits planned flightpath but then beganitsdescent a minute later.
Mr Jouty said controllers observed theplane beginning to descend and tried toget back in contactwith the pilots but without success.
He ruledout anexplosion, saying: "Theplanewasflying right to the end."
