EDA†beans@えだまめ

数学の話とかはここ p=3 icon:@nagi_2220 数学の研究をしてる学生。代数的手法で位相幾何的に分類された特異点を微分幾何的に特徴づけてる猫です。#えだびが今読んでる本の感想

[EDA†beans@えだまめ @EDAbeans_2357]

#えだびが今読んでる本の感想
「土と生命の46億年史」

[EDA†beans@えだまめ @EDAbeans_2357]

@eu_guma 研究会は大抵そっちなので、東京一sci にして欲しい

[EDA†beans@えだまめ @EDAbeans_2357]

呼び方慣れてなさすぎてなんかやだな w

[EDA†beans@えだまめ @EDAbeans_2357]

むかしからの非数学科のねこともに「今日あんま数学の話してないね」って昨日言われた。vrc の談話会とかで欲が発散してるからだろうけど、数学の話してる記憶なかってから結構無意識に数学してるらしい

[EDA†beans@えだまめ @EDAbeans_2357]

@to_manifold 最近は大丈夫ですぜ、眼鏡屋で視力測れます。少なくともじーんずとメガネ市場は大丈夫でしたよん

[EDA†beans@えだまめ @EDAbeans_2357]

ちらっと計算できないのだるいな

[EDA†beans@えだまめ @EDAbeans_2357]

そもそも微分同相なら対称性保つ？
判例x^2+y^2とy^3で摂動

[EDA†beans@えだまめ @EDAbeans_2357]

境界を保つ微分同相と対称性を保つ微分同相…

[EDA†beans@えだまめ @EDAbeans_2357]

あまりに不愉快だったらやめてとは言う

[EDA†beans@えだまめ @EDAbeans_2357]

感情をわざわざ発露してつかれたくないしな

[EDA†beans@えだまめ @EDAbeans_2357]

言われて思ったけど、僕ってあまり怒らないんだなぁ

[EDA†beans@えだまめ @EDAbeans_2357]

僕の研究はこんなすっきりとしたのじゃなくて、もっと嫌になる形してます

[EDA†beans@えだまめ @EDAbeans_2357]

AIも同じ回答してて草

[EDA†beans@えだまめ @EDAbeans_2357]

んでこれ
に1/(1+X)=1-X+X^2-X^3+...を適応しちゃえば
tanh x = (x + 1/6x^3 + o(x^3)) (1- (1/2x^2 + o(x^3)) + (1/2x^2 + o(x^3))^2 - (1/2x^2 + o(x^3))^3 + o(x^3))
=(x + 1/6x^3 + o(x^3)) (1 - 1/2x^2 + O(x^3))
= x + (-1/2+1/6)x^3 + o(x^3)
を得て三次までなら1-1/3x^3が得られるんよね

[EDA†beans@えだまめ @EDAbeans_2357]

こういうのをくそうまく処理して研究してるんですけど、tanh x = (e^x-e^{-1})/(e^x-e^{-1})じゃないですか。そしたらtanhを形式的冪級数だと思ってe^xのテイラー展開突っ込んじゃうんですよ

[あ〜る菊池誠(反緊縮)公式 @kikumaco]

tanh xをx=0のまわりでx^3までテーラー展開せよという問題はイジングモデルの平均場近似の解析で出てくるのですが、テーラーの定理通りにこれを三回微分するのは相当大変で、テーラー展開は「極力微分しない」方針でやらないとわりと詰む

[EDA†beans@えだまめ @EDAbeans_2357]

tanh x = ((1/0!-1/0!) + (1/1!+1/1!)x + (1/2!-1/2!)x^2 + (1/3!+1/3!)x^3 + o(x^3)) / ((1/0!+1/0!) + (1/1!-1/1!)x + (1/2!+1/2!)x^2 + (1/3!-1/3!)x^3 + o(x^3))
= (2x + 1/3x^3 + o(x^3)) / (2 + x^2 ++ o(x^3))
= (x + 1/6x^3 + o(x^3)) / (1 + 1/2x^2 + o(x^3))

[EDA†beans@えだまめ @EDAbeans_2357]

誰か似たようなことやってると思うんだよなぁ…Mondとか

[EDA†beans@えだまめ @EDAbeans_2357]

乗り越えた、その先に2つ山ある、ウヘェ

[EDA†beans@えだまめ @EDAbeans_2357]

研究行き詰まって困ってる

[EDA†beans@えだまめ @EDAbeans_2357]

だからゆーぐまさん慶応だと思ってたｗ

[EDA†beans@えだまめ @EDAbeans_2357]

わせまてぃかなぜか慶応だと思ってたなｗｗなんでだｗｗ