  |
はてなキーワード: descentとは
https://docs.un.org/en/CEDAW/C/PHL/CO/9
The Committee is concerned at the absence of comprehensive antidiscrimination legislation to protect disadvantaged and marginalized groups of
women facing intersecting forms of discrimination in the State 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 insufficient state-level
budgetary allocations to implement and monitor the laws relating to gender equality
and women’s right to a life free of violence have failed to eliminate discrimination,
notably intersecting forms of discrimination, in particular against indigenous women,
Mexican women of African descent, 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 Topos Theory / 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 of categoriesというより抽象的で強力な命題に昇格した。
この全体像の論理的一貫性を保つ鍵はcohesion と descent の二つの原理。
cohesion は対象が局所的情報からどのようにくっつくかを支配し、descent は高次層化したデータがどの条件で下から上へ再構成されるかを規定する。
∞-topos と condensed/lquid の枠組みは、cohesion を定式化する最適解であり、prismatic や spectral 構成は descent を極めて精密に実行するための算術的・ホモトピー的ツール群を与える。
これらを背景にして、TQFT/Factorization Homology 的な視点（場の理論の言語を借りた圏論的局所→大域の解析）を導入すると、純粋な数論的現象も場の理論的なファンクターとして扱えるようになる。
つまり数学的対象が物理の場の理論のように振る舞い、双対性や余代数的操作が自然に現れる。
ここで超最新の価値ある進展を一言で述べると、次のようになる。
従来バラバラに存在した「解析」「位相」「代数」「表現論」「算術」の言語が、∞-categorical な場の上で一つに融解し、しかもその結合部（condensed + prismatic + spectral）の中で新しい不変量と双対性が計算可能になった、ということだ。
具体例としては、prismatic cohomology による integral p-adic invariants の導出、condensed approach による関数空間の代数化、そして Fargues–Fontaine 曲線を介した局所–大域のgeometrization が、categorical Langlands の実現可能性をこれまでより遥かに強く支持している点が挙げられる。
これらは単なる技法の集積ではなく、「数学的対象を高次圏として扱う」という一つの理念の具体化であり、今後の発展は新しい種の reciprocity lawsを生むだろう。
もしこの地図を一行で表現するならばこうなる。数学の最深部は∞-categories上のcohesiveなfunctorialityの理論であり、そこでは解析も代数も数論も場の理論も同じ言語で表現され、prismatic・condensed・spectral といった新しい道具がその言語を実際に計算可能にしている。
専門家しか知らない細部（例えばprismの技術的挙動、liquid vector spaces の精密条件、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の学習の基本です。
バックプロパゲーションで計算された勾配を使って、具体的にどのようにパラメータを更新するかを決めるのがオプティマイザ（最適化手法）の役割です。
最も基本的な考え方は、損失という名の「谷」の底（最小値）に向かって、勾配（傾き）が最も急な方向に一歩ずつ下っていく勾配降下法 (Gradient Descent)です。
θ_new = θ_old - η ∇L
現在、最も広く使われているオプティマイザの一つが Adam です。これは、勾配降下法をより賢くしたもので、主に2つの工夫がされています。
1. 慣性 (Momentum): 過去の勾配の移動平均を保持します。これにより、坂道を転がるボールのように、同じ方向に進み続ける場合は加速し、学習が停滞しにくくなります。
2. 適応的な学習率 (Adaptive Learning Rate): パラメータごとに学習率を自動で調整します。頻繁に更新されるパラメータは慎重に（学習率を小さく）、あまり更新されないパラメータは大胆に（学習率を大きく）更新することで、学習を効率化します。
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 (市場、通貨、資源等)
J is a Grothendieck topology encoding local economic accessibility (情報、価格、選好構造の被覆)
Let 𝓟 ∈ 𝔛 be an ∞-sheaf of price structures (物価∞-層)
ε ∈ Aut_𝔛(𝓟): 円購買力を記述する∞-自己同型変換
𝓤 ∈ π₀Map(1,𝓟): price-dependent global welfare section（厚生の∞-射影）
Assume:
∀x ∈ Obj(𝓟), ε(x) ≃ x in 𝔛
⇒ ε is an equivalence in Ho(𝔛)
⇒ preserves all ∞-categorical colimits and finite limits
⇨ 円高・デフレ操作は、𝔛の(∞,1)-安定構造を保ち、選好構造と整合的に作用する。
加えて、
Map(1,𝓟) ⊂ Stable_𝔛
ならば、ε induces a loop structure: ε ∈ Ω𝓟
⇨ ε はトポス論的 loop operation として、厚生構造の保存的変形を定義
Let ℛ: 𝓟 → 𝓟 be a morphism not preserving descent,
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
I am working as an engineer in the IT area, but I managed to hold it for some 2 years.
I do not have confidence yet, and I feel even more confident about my confidence for the rest of my life, the excellence of my colleague.
If I do not desperately do it I am working everyday with feelings that it is not amusing even if I receive a notification outside the fighting strength.
Still, in Japan, I think that Japan has much better skill than CTO in that area.
In the future I thought that if I could return to Japan and contribute to the Japanese society, Japan that is visible from the outside is bad.
What is bad, first aspect of politics.
The point that democracy is not fully functioning against the fact that there are stupid citizens who blind the LDP, such as Abe's descent.
That other party is also not good. Hope party? What is that lady like that disciple of Ru Ooshiba? Rou Koike?
The more you do not have it, the stupid will be clouded in katakana and psychology. You idiots, you guys say this. I love Katakana anyway, I love psychology, 100% I do not say big things. What is Y's Spending. Do not fix what you normally call katakana.
Since the political system is over in the first place, I think that it is the cause of failure of not receiving popular people, especially elderly people, only short-term and useless policies absolutely. So we will not attack only the LDP.
It is too fatal that politics is not rational and it is impossible to include the policy that should be done. Because it ends with poppiness if I can not vote.
Unfortunately, the trend of changing the political system probably will not happen if it fails.
In recent decades, politicians have accelerated the declining birthrate and aging society to a distortion with outlook on the preferential treatment for the elderly + measures against the declining birthrate.
The decline in Japan's birthrate and birthrate is partly spontaneous, but the world's low birthrate and aging society is not caused by natural phenomena.
There is not any future that putting all the energy to surrender the tax to the old man by tax free over medical care. It was already late when we were discussing whether a large amount of tax would be used due to politicians' old elderly votes or ten years ago, so it was already late, we have not corrected the orbit again so far I am going to politate on the same route.
An aged politician does not think about a short-circuiting policy, the future. Citizens delight in the immediate economic policy.
Grass grows now, as the nation 's collapse has become a reality.
If the declining birthrate and the aging population advanced at this pace as it is, the Japanese boat will sink in 20 years. Two years ago I thought I would have 30 years.
I gave up completely to Japan's politics. Defeated entertainment is not funny. I'm saying that it is japanese, but I do not dislike it. To give up means to accept failures.
Next is the aspect of business.
Did you have a business anywhere other than bidding? I do not have pieces of creativity. There is no further ethics.
What is it, Mercari or DeNA or moral business or something is a social sin. I just confused society, did not I? The country and the country came to know not ethics.
Ethics of the Japanese are lower than the Japanese think.
Although I derail for a while, accident happens in front of my eyes, the idiots who take pictures with smaho are not minorities at all Nationality is bad.
Even though there is service only where money is involved, do not say hospitality as if it were the national character of the Japanese.
It is not a minority to be a completely individualist society and people are troubled and help people.
At this time new creative business is born from one to the next. It is at an unthinkable pace in Japan. Of course, there are many doubtful businesses as to whether it will become money, but it is better than Japanese society where there is no brain except copying the business of another company at all.
So almost no company wants to work in Japan.
And the fall of the company. Almost no international competitiveness. Even large corporations will be crushed.
With this aging birthrate and declining birthrate, you can not contribute even to domestic demand with the elderly who can not see the future if it is full of old people.
There are no people with a declining birthrate. It seems that young people are supporting the LDP by thinking positively as being a seller's market completely.
There is only one person who is not merely a policy of an aging population declining birthrate. Your future is pitch dark.
Were I so stupid as to whom I thought of going back to Japan? What? It is certain that at least the field of view and experience has been much lower than it was now.
If I see myself two years ago, I feel mercy only now.
Indeed it is visible that it will collapse in another few decades Indeed it will not be possible to return to Japan.
Why do I have to board a sinking ship? Parents are the only team to surrender, only you are to protect yourself.
Originally I decided not to make children from the uncertain future of society, not myself. I think that choice was right.
Politician Now, if you are not stupid, it means that you are doing intentional bankruptcy activities.
It is good that you are only interested in being inspected. I do not know anymore.
At the very least, please try to make Japanese citizens work in the world. If the hurdle of labor visa goes down, then you will be able to do it if you have English proficiency.
I had a lot of hardships. Although it is inferior to native, I am working without problems.
Relatives and friends of the 150 passengers and crew on Germanwings Flight 4U 9525 are due to go to the crash site high in the French Alps.
Lufthansa will operate two special flights - one from Barcelona and one from Duesseldorf - to Marseille, and both groups will travel on by road.
Reports say one of the two pilots on the doomed flight had left the cockpit and had been unable to get back in just before the crash on Tuesday.
There were no survivors, officials say.
They say the Airbus 320 from Barcelona to Duesseldorf hit a mountain after a rapid eight-minute descent.
Germanwings chief Thomas Winkelmann said 72 passengers were German citizens, including 16 pupils returning from an exchange trip.
Spain's government said 51 of the dead were Spanish.
Other victims were from Australia, Argentina, Britain, Iran, Venezuela, the US, the Netherlands, Colombia, Mexico, Japan, Denmark and Israel.
Germanwings is a low-cost airline owned by Germany's main carrier Lufthansa.
Cockpit mystery
Families and friends of the victims are expected to arrive at the crash site at Meolans-Revels later on Thursday.
Separately, a bus carrying 14 relatives of Spanish victims left Barcelona on Wednesday for the crash area, because they did not want to fly.
In France, special teams have been prepared to assist the families during their visit.
On Wednesday, French officials said usable data had been extracted from the cockpit voice recorder of the Germanwings plane.
Remi Jouty, the director of the French aviation investigative agency, said there were sounds and voices on the cockpit voice recorder but that it was too early to draw any conclusions.
He said he hoped investigators would have the "first rough ideas in a matter of days" but that the full analysis could take weeks or even months.
But the New York Times quoted an unnamed investigator as saying that one of the pilots had left the cockpit and had been unable to get back in.
"You can hear he is trying to smash the door down," the investigator adds, describing audio from the recorder.
A source close to the investigation told a similar story to the AFP news agency.
There had been earlier reports that the second black box - the flight data recorder - had been found. But Mr Jouty said this was not the case.
'Flying to the end'
Mr Jouty said the plane's last communication was a routine one with air traffic control.
The plane confirmed instructions to continue on its planned flight path but then began its descent a minute later.
Mr Jouty said controllers observed the plane beginning to descend and tried to get back in contact with the pilots but without success.
He ruled out an explosion, saying: "The plane was flying right to the end."
