幻の粒子

数学と計算機科学と物理学が好き。
hogehoge

[幻の粒子 @mudbdb]

すごいぞ。違法性がなければ問題視するのはオカシイことらしい。SNSはマジに何でもありの空間だな。

[幻の粒子 @mudbdb]

誹謗中傷動画問題では高市首相の答弁は虚偽っぽさが濃くなってきたな。文春を甘く見ちゃったか。

[幻の粒子 @mudbdb]

昭和天皇を名君の一人に挙げている人がいて笑っちゃった。戦争を起こしといて敗戦後何の責任も取らずにその席に居座り続けるような人間が名君だとは。

[幻の粒子 @mudbdb]

立法府の総意という言い方は短すぎて何に対する総意なのか全然分からん。皇室典範を修正することへの了解が揃ったってこと？そういうことだよね？

[幻の粒子 @mudbdb]

内閣府沖縄総合事務局は死亡した金井船長を一般不定期航路事業の不正で告発したようだ。当局は過去に同事業不正で告発した事例はなさそうなのと、死亡者を告発する行為も異例で、政治的意図がみえる事例ですね。

[幻の粒子 @mudbdb]

政治的に左派系の団体は市民団体とだけ呼ばれてクリーンさを強調されるのに、右派の団体は右派系市民グループとか保守系市民団体とか区別しやすいように枕詞を付けるんだよな。こういうのが分かってくると、市民団体とだけ呼ばれる団体は左派系市民グループと。政治的無色の市民団体には迷惑な話。

[幻の粒子 @mudbdb]

磐越道バス事故と辺野古転覆事故で警察もマスメディアも扱いをあからさまに変えてくるんだよな。磐越道の方は運転手はすぐに実名報道されてるしすぐに逮捕されてるのに、辺野古の方は船長の実名は報道されず逮捕もされていない。何、この差は。

[幻の粒子 @mudbdb]

石油の備蓄が今後減っていくことになるが、日本中がパニックに陥るのは、備蓄量がどれだけ減ったら、だろうか。半分も減ったら、まあパニックになると予想。4月の時点で7ヶ月だから、7,8月ごろになるのだろうか。

[幻の粒子 @mudbdb]

アメリカはホルムズ海峡が閉鎖状態で長期のにらみ合いをすることを決めたようだ。交渉ではイランが飲めない高い条件で妥協することを求めて、条件を飲めない理由をイラン内部の権力の分裂としてる。アメリカは自国で石油が出るから、世界がどんだけ苦しもうが頓着しない。最悪の国アメリカ。

[幻の粒子 @mudbdb]

@grok イランの最高指導者になるための資格を教えてください。

[幻の粒子 @mudbdb]

((X,T),S)はn次元微分可能多様体のとき、
T={ V | V⊂X ∧ ∀φ(φ∈S ⇒ Image(φ,Cap(Dom(φ),V))はR^nの開集合) }
が成立するらしい。

[幻の粒子 @mudbdb]

多様体とは、集合X、Xの位相T、T上の座標近傍系Sの3つがあって初めて多様体と言えると思っていたら、SからTを再現できるので、XとSがあれば多様体の定義としては十分らしい。びっくり。

[幻の粒子 @mudbdb]

exp := Intersect({ A | { ((m,o),suc(o)) | m∈N }⊂A ∧ ∀m∀n∀l(((m,n),l)∈A ⇒ ((m,suc(n)),mul(m,l))∈A) })

[幻の粒子 @mudbdb]

加法addと乗法mulが共存する体系でその接点は
∀x∀y(x,y∈X ⇒ mul(x,suc(y))＝add(x,mul(x,y)))
という関係なのである。
逆にこの関係を満足する演算suc,add,mulと集合Xとは何か考えるのも面白いかも。
逆転の発想大事。

[幻の粒子 @mudbdb]

形式性を追及するならば、
add := Intersect({ A | { ((m,o),m) | m∈N }⊂A ∧ ∀m∀n∀l(((m,n),l)∈A ⇒ ((m,suc(n)),suc(l))∈A) })
mul := Intersect({ A | { ((m,o),o) | m∈N }⊂A ∧ ∀m∀n∀l(((m,n),l)∈A ⇒ ((m,suc(n)),add(m,l))∈A) })

[幻の粒子 @mudbdb]

可換群のときZ加群が自然に生み出される。(G,p)は群、x∈G、n∈Natとして、exp(x,n)はxをn回繰り返し演算するものとする。可換なとき、exp(p(x,y),n)=p(exp(x,n),exp(y,n))が成立して、((G,p),exp)はZ加群になる。もちろん、exp(x,-n):=exp(x^-1,n)、exp(x,0):=Gの単位元、exp(x,1):=x。

[幻の粒子 @mudbdb]

複素数には自然な加法と乗法が入っている。そして特筆なのは、ベキ乗法がちゃんと入ってることなのだろうな。ところで複素数にはベキ乗法は一種類しかないのだろうか。さらに一般の環にはベキ乗法は入ってるものなのだろうか。

[幻の粒子 @mudbdb]

一般の群で繰り返し演算はZ加群を生み出すだけ。実数全体の系のように、∀x∀y(x,y∈Real ⇒ pow(x,y)∈Real)というベキ演算は珍しいのではないか。自然数全体の系でもあるか。∀x∀y(x,y∈Nat ⇒ pow(x,y)∈Nat)。もちろん複素数全体の系でも。なんだか不思議。

[幻の粒子 @mudbdb]

初心に戻らねば

[幻の粒子 @mudbdb]

X Window SystemからWaylandという物への置き換えが進んでいるらしい。