  |
はてなキーワード: CWとは
先日街コンに参加してきた。
少し話をした女性の方は美人で若くてハキハキしてて、如何にもCWって感じだった。
もちろん直接的にこういった言い方をした訳ではないけど、まとめると同様のことを主張していたわけだ。
話すことがなくなりお互いに沈黙してしまうと、俺はガンダムの話題を口にした。
反応はいまひとつで、彼女はガンダム系の作品をまったく観たことがないらしく、そもそもロボットアニメに興味がないらしい。
ガンダムって、みんな同じでしょ？なんて言う始末だ。
都内だと生活保護で借りられる部屋いえば一口ih、3点ユニットバスと相場が決まっていて、川越や所沢など郊外でもそういうところはある。
心エステートとか東京ミライエステートが売ってるアパートで、生活保護の家賃で、一口ihの3点ユニットバスとかあったなあ…
23区だと1日2250円の調理禁止のドヤに住むしかないこともある。
やれると言うなら、お手本を示してな。
もちろん、住宅扶助の範囲を超えてもいいなら、ちゃんと料理のできる3点ユニットバスじゃない物件も紹介できるが、そういう物件出したら、sv側が落とすやろ。
目標：与えられた高度な数学的概念（高次トポス理論、(∞,1)-カテゴリー、L∞-代数など）をフルに活用して、三平方の定理程度の簡単な定理を証明します。
定理：1次元トーラス上の閉曲線のホモトピー類は整数と一対一に対応する
背景：
高次トポス理論：ホモトピー論を高次元で一般化し、空間や位相的構造を抽象的に扱うための枠組み。
(∞,1)-カテゴリー：対象と射だけでなく、高次の同値（ホモトピー）を持つカテゴリー。
L∞-代数：リー代数の高次元一般化であり、物理学や微分幾何学で対称性や保存量を記述する。
証明：
トーラス
𝑇
1
T
1
は、円周
𝑆
1
S
1
[
,
1
]
[0,1] の両端を同一視して得られる。
𝑇
1
T
1
を高次トポス理論の枠組みで扱うために、位相空間のホモトピータイプとして考える。
これは、1つの0次元セルと1つの1次元セルを持つCW複体としてモデル化できる。
閉曲線のホモトピー類：
𝑇
1
T
1
上の閉曲線は、連続写像
𝛾
:
𝑆
1
→
𝑇
1
γ:S
1
→T
1
で表される。
2つの閉曲線
𝛾
1
,
𝛾
2
γ
1
,γ
2
がホモトピックであるとは、ある連続変形（ホモトピー）によって互いに移り合うことを意味する。
基本群の計算：
トーラス
𝑇
1
T
1
の基本群
𝜋
1
(
𝑇
1
)
π
1
(T
1
𝑍
Z と同型である。
これは、高次トポス理論においても同様であり、(∞,1)-カテゴリーにおける自己同型射として解釈できる。
各閉曲線
𝛾
𝑛
この対応は、ホモトピータイプ理論（HoTT）の基礎に基づいて厳密に定式化できる。
円周
𝑆
1
S
1
のループ空間のL∞-代数構造を考えると、ホモトピー類の加法的性質を代数的に記述できる。
つまり、2つの曲線の合成に対応するホモトピー類は、それらの巻数の和に対応する。
結論：
𝑇
1
T
1
上の閉曲線のホモトピー類が整数と一対一に対応することを証明した。
解説：
この証明では、与えられた高度な数学的概念を用いて、基本的なトポロジーの結果を導き出しました。具体的には、トーラス上の閉曲線の分類というシンプルな問題を、高次トポス理論とL∞-代数を使って厳密に定式化し、証明しました。
高次トポス理論は、空間のホモトピー的性質を扱うのに適しており、基本群の概念を一般化できます。
(∞,1)-カテゴリーの言葉で基本群を考えると、対象の自己同型射のホモトピー類として理解できます。
L∞-代数を使うことで、ホモトピー類の代数的構造を詳細に記述できます。
まとめ：
このように、高度な数学的枠組みを用いて、基本的な定理を新たな視点から証明することができます。これにより、既存の数学的知見を深めるだけでなく、新たな一般化や応用の可能性も見えてきます。
定義 1: M理論の基礎空間を (M, g) とする。ここで M は 11 次元 C∞ 多様体、g は符号 (-,+,...,+) のローレンツ計量とする。
定義 2: M 上の主束 P(M, Spin(1,10)) をスピン構造とし、関連するスピノール束を S とする。
定義 3: M 上の外積代数を Λ*(M) とし、特に Λ³(M) と Λ⁴(M) に注目する。
C = {(g, C, ψ) | g ∈ Met(M), C ∈ Γ(Λ³(M)), ψ ∈ Γ(S)}
ここで Met(M) は M 上のローレンツ計量全体、Γ は滑らかな切断を表す。
定理 1 (作用汎関数): M理論の作用 S: C → ℝ は以下で与えられる：
S[g, C, ψ] = ∫_M (R * 1 - 1/2 dC ∧ *dC - 1/6 C ∧ dC ∧ dC - ψ̄D̸ψ) vol_g
ここで R はスカラー曲率、D̸ はディラック作用素、vol_g は g による体積要素である。
定理 2 (場の方程式): δS = 0 から以下の Euler-Lagrange 方程式が導かれる：
1. Einstein 方程式： Ric(g) - 1/2 R g = T[C, ψ]
2. C-場の方程式： d*dC + 1/2 dC ∧ dC = 0
ここで Ric(g) は Ricci テンソル、T[C, ψ] はエネルギー運動量テンソルである。
定義 5: M の 7 次元コンパクト化を X とし、M = R^(1,3) × X と分解する。
定義 6: X 上の G₂ 構造を φ ∈ Ω³(X) とし、以下を満たすものとする：
1. dφ = 0
2. d*φ = 0
3. (x ↦ i_x φ ∧ i_y φ ∧ φ) は X 上の Riemann 計量を定める。
定理 3 (Holonomy reduction):X が G₂ 構造を持つとき、X の holonomy 群は G₂ の部分群に含まれる。
定義 7: X 上の接束の構造群を G₂ に制限する縮約を σ: P → X とする。ここで P は主 G₂ 束である。
定義 8: M の K 理論群を K(M) とし、その Chern 指標を ch: K(M) → H^even(M; ℚ) とする。
定理 4 (Anomaly cancellation): M理論の量子異常が相殺されるための必要十分条件は以下である：
I₈ = 1/48 [p₂(M) - (p₁(M)/2)²] = 0
ここで p₁(M), p₂(M) は M の Pontryagin 類である。
定理 5 (Index theorem): M 上の Dirac 作用素 D̸ の指数は以下で与えられる：
ind(D̸) = ∫_M Â(M) ch(S)
ここで Â(M) は M の Â-genus、ch(S) は S の Chern 指標である。
定義 9: 位相的 CW 複体の圏を Top、アーベル群の圏を Ab とする。
定理 6 (T-duality): 適切な条件下で、以下の同型が存在する：
K(X × S¹) ≅ K(X × S¹)
定理 7 (S-duality): 適切な条件下で、以下の同型が存在する：
H^k(M; ℤ) ≅ H_{11-k}(M; ℤ)
独身・氷河期世代・精神病持ち・会社を追い出された。毎日ずっと、ジ○ツする事しか頭から離れない。自分が幸せになることなんて無理なんだともうこの年齢から挽回なんて不可能なんだと理解している。追い打ちをかけて、先日、２年ほど片思いであった女性に交際をOKしてもらえたのも束の間、たった１日後には、考え直したが、やっぱり止めたいと拒絶された。誰の言葉も信用出来ない。精神病・双極性障害２型とADHDのおかげで仕事を続けられなくなった。生活保護のケースワーカーに相談にいくと、２０代の若い男性CWに鼻で嘲笑われ馬鹿にされた。○○してやろうかって本気で思った。犯罪でもして刑務所に入るほうがマシかもしれない。散々人に騙されてきた。利用されてきた。みんなで俺を微笑ってる。連中になにかをしてからジ○ツするべきかと思うことがある。やり残したのはそれだけか。氷河期世代は遺棄された世代だという。もう行き場も何も無い。
自作PCはオワコンwwwwメーカーPCやBTOのコスパ良いのが常識wwwwみたいなブクマがあったので、そろそろPC環境更新しようかと思ってた頃合いだし調べてみた。
予算は前回組んだときと同じ30万程度で現行8070K+1080を131700K+4070程度が目標。
といったもの。
価格comの最安値ベースなので実費は+1～2万はある想定。丁度予算通り。
CPU：131700K \62,980
Cooler：H100x RGB ELITE CW-9060065-WW2 ¥14,066
メモリ：CMK64GX4M2E3200C16 [DDR4 PC4-25600 32GB 2枚組] ¥18,969
SSD：980 PRO MZ-V8P1T0B/IT ¥10,980
GPU：DUAL-RTX4070-O12G [PCIExp 12GB] ¥92,900
Case：Define 7 Solid FD-C-DEF7A-01 [ブラック] ¥24,800
Sound：Sound BlasterX AE-5 Plus SBX-AE5P-BK ¥16,800
合計¥283,677
光学ドライブ、その他ストレージ、OSは流用。ケースも流用しても良いが一応買い替え想定。
BTOなんて気にしたことすらなかったので標準的なブランドがわからん…なので取り敢えず「BTO パソコン おすすめ」でぐぐって出てきたサイトのお勧め1位にあったマウスコンピュータで試算。
ベースモデル：G-Tune FZ-I7G70 #FZI7G70B7ACCW101DEC
カスタマイズ後¥ 374,000
13700K「F」、ブランド不明32GBx2メモリ、ブランド不明4070、ブランド不明1TB SSD、ブランド不明750W電源(80PLUS GOLD)、その他オプション無し。
電源は標準がBROZEで、+4,400でGOLDに変更可能なので選んでみたがメーカー不明ってのが一番嫌な感じ。
当然OS（Win11 Home）含む構成なので公平のためDSP版の価格15,000円を差し引いても6万ぐらいお高い。この差額分が組み上げとOSインストール、梱包と発送費用と考えるとまあそんなもんやろなではある。
今時、自作PC組もうとする奴なんて組み上げとかセットアップ自体も趣味の範疇なのでこの差額分をどう思うか？がBTOにするか自作にするかの分水嶺なのだと思う。
自分的には、やはり使っているパーツのブランド不明なのがやはり面白く無いなと。メーカーとして一定品質を満たすものをメーカーの責任で選定しているのは理解するが同じぐらいの費用がかかるなら良さげなのを使っていて欲しいみたいなのがある（ただしマウスだと3年保証を\3,300～追加できるので、メモリとストレージと電源以外は基本1年保証しかない自作時よりはお得（？）という考え方はあると思う）。
あと自作PC好きは得てして余ったパーツでサブPCを組みたがる習性がある（要出典）。パーツ単位だとメモリは永久保証、電源は5～10年保証なのでサブPCでも安心して流用できるのはメリットかなと。もちろんこういうのをメリットと思わないなら無意味なのでBTOが良いのだと思う。
Twitterくんがバタバタしているので、万が一に備えてどこかにアカウント持っておこうと思い色々探してみた。
最終的に misskey.io が色々使いやすくて居心地も良かったので、しばらくはここに落ち着こうと思っている。
同じ感じで移住先や保険のアカウント確保先を探している人がいるかもしれないので、備忘録的に残しておく。
2023年2月現在Misskeyについて調べるとどうしてもエンジニアなどIT勢向けの記事が多いため、意識的に非IT勢が読めるように書いてみた。
用語などを意図的に公式の物から変えて、わかりやすさ重視で記載していくのでその点はご容赦頂きたい。
向いてそうな人
向いてなさそうな人
向いてそうな人に当てはまるなら、この先を読んでみて欲しい。
Misskeyは日本人エンジニアのsyuiloさんが開発したSNS構築ソフトウェアのこと。
Webサイトを簡単に構築できるソフトウェアとしてWordpressがあるように、それのSNS版だと思って貰えれば良い。（超ざっくり
Twitterの移住先として数年前や最近話題になっていMastodonも同様にSNS構築ソフトウェアのお仲間だ。
Wordpressと言って特定のサイトを指すわけではないように、MisskeyやMastodonとだけ言う場合は特定のサイトではなくソフトウェア自体を指す。
これを使って、いろんな人が自分のSNSを作っている。これが「インスタンス」と呼ばれる。
Discordで言うサーバーみたいな物と思って貰えればだいたい良いと思う。
それぞれのインスタンス（サーバ）にはそれぞれのユーザがいて、それぞれが別々のSNSとして成り立っている。
そしてここからがMisskeyやMastodonの特徴的な所なんだが、各インスタンスは別々のSNSとして成立しているがお互いが連携しあっている。
サーバ同士でフォロー/フォロワーの関係が作られているようなイメージだ。
なので"Aさんが作ったSNS A"と"Bさんが作ったSNS B"がそれぞれ連携している（F/F内にある関係）なら、SNS Aのユーザが SNS Bのユーザをフォローしたりすることもできる。
独立した各サーバそれぞれにアカウントを作らないといけないわけではなく、どこか一箇所住処を決めて、他のサーバのユーザさんをフォローしに行くという使い方も可能だ。
MisskeyやMastodonは同じActivityPubっていう連携ルールを採用しているので、MastodonのサーバとMisskeyのサーバの間でも上記のようなことができる。
少し前のニュースだと、いずれTumblrがこの仲間に入るらしい。
基本的にはTwitterライクな時系列順に投稿が流れていくタイプのSNSと思ってもらえれば良い。
その中で今のTwitterと特に異なる点をいくつかご紹介したい。
これはMisskey/Mastodon共通の仕様ではあるが。
前述の通り、これらのソフトウェアを使ったサイトはそれぞれが独立したSNSとして成り立っている。
その各SNSサービス内の全ツイート（とあえて書く）が見れるのがローカルTL（LTL）だ。
おそらくMisskey/Mastodonのユーザの大半はここを見ていることが多いのではないだろうか。
登録したてでテストツイートをしたら、フォロワー0なのに速攻で反応が来てびびった…みたいな話があるが、理由はローカルTLに流れてきてみんなそれを見ているからである。
連合TL（またはグローバルTL）は、前述の連携しあっているサーバのツイートが全て流れ込んでくるTLだ。
凄まじい濁流なのでおそらく追いきれないことが多いと思うが、他所のサーバのユーザやそのツイートも見ることができる。
通常の各種絵文字に加えて、[いいね]とか[おはようございます]とか[偉業]みたいな組み文字スタンプ、果ては[レターパックで現金送れ][はすべて詐欺です][官営八幡製鉄所]みたいななんだこれっていうものまで。
misskey.ioでは風呂に入った報告をすると何故か[偉業]スタンプが大量につくのだが、なんかこの感じに初期のTwitterみを感じて楽しい。
同時に、ツイートの公開範囲をフォロワーのみ、ローカルTLまで、グローバルTLまで と毎回設定することが可能だ。
つまり、Twitterでいう鍵垢とオープン垢を1つのアカウントで両立させることができる。（もちろん誤爆注意だけど）
オープンのツイートでも、投稿の本文を隠す（CWというらしい）機能が存在している。
ふせったーとか使って配慮するタイプのものも、ネタバレに配慮しながらツイートできる。
Twitterでは画像は4枚までだが、Misskeyだともっと沢山添付できる。
そして音声ファイルやその他形式の物も、単体で（動画などの形にせずに）添付が可能だ。
さらに添付ファイルは1つ1つ個別に閲覧注意の設定ができるので、えっちなイラストとそうじゃない物を一緒にツイートしても片方は見せたまま・・・みたいなことができる。
さらに添付したファイルはユーザそれぞれに与えられた数GBのストレージスペースで管理される。
フォルダを作って整理したり、ギャラリーとして公開したりもできるので絵師さんなど創作をされている方には便利かもしれない。
選択肢が大量に設定できるアンケートや、Markupでいじれる文字装飾、そしてプロフィール設定からﾈｺﾁｬﾝになれるなどなど、おもしろ機能が盛り沢山。
Mastodonの開発者はTwitterがだいっきらいだという話だけど、Misskeyの開発者shuiloさんはツイ廃らしいので、その辺がソフトウェアの色の違いなんだろう。
あと流石に限界まで使う人は見かけないけど、一応文字数限界は3,000文字に設定されている。
繰り返しになるがMisskey本体はあくまでもソフトウェアなので、SNSとしての運営はサーバの管理者それぞれが行っている。
だいたいは個人運営なので企業運営サービスのような手厚いサポートは受けられないし、私財の持ち出しで運営されているところが多いと思うのでスペックや挙動にはあまり大きな期待はしないほうが良い。
ええんやでの心で応援しつつ見守るくらいの気持ちで利用すると穏やかに過ごせると思う。
また連携している他所のサーバのユーザをフォローはできるが、アカウントを知っていないと見つけることは難しい。
（前述の通りグローバルTLは超濁流なので、そこから見つけるのは至難の業だ）
基本的にどこかのサーバに入って新しいコミュニティで知らない人たちとワイワイする感じになるので、Twitterで仲の良かった特定の人と話したい場合は一斉に移住するか相手のアカウントとサーバを把握しておく必要がある。
よっぽど壊滅的なことが起きない限りは、おそらく自分はTwitterと両方を運用する形になると思う。
ただmisskey.ioのTwitter初期的な緩い感じや、Slackライクな絵文字でリアクションがガンガンくる感じをとても楽しんでいる。
もしこの増田で興味が湧いたら、ぜひどこかのインスタンスにアカウントを作って体験してみてはいかがだろうか。
他に行き先の選択肢ができると、Twitterくんの色々への憤りも少し収まるんじゃないかな。
