数学に関するツイート その7

数学について興味があるツイートを集めました。具体的な問題や技術的なものが多いです。数学そのものの考え方は別のまとめで。2018/8/31~のまとめ。
1
Loveブルバキ(ラブル) @lovebourbaki

ここらへんの定理に位相が出るのがやはり謎だ。うまくいき過ぎてる。 ちなみに、微分ガロアでも、類似が完全に成り立ちます。 pic.twitter.com/L8rqDh34I7

2017-05-23 22:19:55
拡大
解答略 @kaitou_ryaku

特殊関数のうち、エルミート、ラゲール、ルジャンドル、チェビシェフあたりまで簡約すると、直交多項式になり、定義のバリエーションも増える。 1. ガウスの超幾何微分方程式の特殊解 2. 母関数+ローラン展開 3. 重み関数+シュミットの直交化 4. 漸化式 最も有用なのは、たぶん母関数表示だろう。

2018-03-17 20:32:12
結城浩 / Hiroshi Yuki @hyuki

点と直線の距離を導いていた。ついでにこれが覚えにくかったので、覚えやすい方法を考えていた。直線の法線ベクトルの大きさを1にすればずっと覚えやすいじゃん! pic.twitter.com/HQgQHppJvN

2018-07-23 21:15:41
拡大
拡大
拡大
直感の破壊者、Aaron/Aaron, Intuition Destroyer @sanjutsu_yu

全ての群は自由群の商群であるって聞いたときはびびった。 自由群は群の圏の自由対象であるって聞いたときはそのままやんけと思った。

2018-08-31 17:03:41
松森至宏 @yoshi_matsumori

#Φカフェ数学デー で発表!自然変換や関手圏の定義をし、自然数nを固定したとき、行列式detが、cRingからMonoidへの、n×n行列全体を対応させる関手M_nから、足し算を忘れる関手Uへの自然変換であることを確かめました。これは全ての環に対し行列式が「一様に」定義されていることに対応するそうです◎ pic.twitter.com/1RCXH1eWJm

2018-08-31 23:29:07
拡大
ぺんぐ理論 @peng_theory

うまく言えないが、対角化できる線形変換とできない線形変換では、どのような振る舞いの違いがあるのか?この疑問は、突き詰めると固有値の重複度と固有空間の次元が一致しないことの真の意味は何か?ということになる。これは果たして妥当な疑問なのかという不安もあるが、机上でいろいろ実験したい。

2018-09-02 11:32:43
🕊️ @inamiy

#iOSDC #c 「圏論とSwiftへの応用」 のスライドをアップしました! speakerdeck.com/inamiy/iosdc-j…

2018-09-02 15:53:50
さのたけと @taketo1024

「Swift で数学研究のススメ」 久しぶりのエンジニアカンファレンスで楽しかったです😁 Khovanov homology 使いの iOS エンジニアが増えることを願って🌠 slideshare.net/taketo1024/swi… #iosdc #LT

2018-09-02 18:15:44
わかばめ @wakaba_me

常微分方程式の解の一意性が成り立たない例についてざっくりと。 trtmfile.com/2018/09/02/pos…

2018-09-02 21:50:35
H. Miyoshi (ALC Japan is rescheduled in 2025) @metaphusika

圏論とCS(プログラミング言語系)との関係を紹介するスライドとしてはいい感じですね。米田の補題とCPSの関係とかもさっくり説明しているし。 twitter.com/inamiy/status/…

2018-09-03 13:56:27
結城浩 / Hiroshi Yuki @hyuki

#今日の圏論 #圏論の基礎 代数的位相幾何学における関手の例として次元nの特異ホモロジーの話。位相空間と連続写像をアーベル群と準同型に移す関手(Top→Ab)。数学ガールでよく出てくる世界と世界の橋渡しだ。 pic.twitter.com/9oMct9NlOm

2018-09-03 19:39:18
拡大
結城浩 / Hiroshi Yuki @hyuki

さっき気がついたんだけど、Wikipediaの項目にはときどき「圏だったらこういうこと」みたいな記述がある(それは射だとか関手だとか)んだけど、それ、少しずつ読めるようになってるよ私!うれしー!ふふふ(^^)

2018-09-03 23:26:19
さのたけと @taketo1024

円板から境界の円周への、境界を動かさない連続写像を作ることができないということをホモロジーを使って証明する議論、習ったときは「ふーん」って感じだったけど、あるとき「これが関手か…!」と分かって感動した記憶がある💡

2018-09-03 23:44:16
きいねく @Keyneqq

最近annihilator(アナイアレイター)の発音を間違えていることが判明したので、これを機に間違えそうな数学用語を挙げてみた finite ファイナイト(有限の) eigen- アイゲン(固有の) height ハイト(高さ) pseudo- スード(擬~) anti- エンタイ,エンティ(反~) relative レラティブ(相対)

2018-09-05 17:57:34
すど @ysmemoirs

「三角関数の合成をするには加法定理をまず覚えよう,とか言って,いままでどうしてこれを誰も教えてくれなかったのか!」(←教えてくれてた人はいたのに私が理解できていなかった説) pic.twitter.com/Rp2XTagqL4

2018-09-06 22:14:02
拡大
Kohta Ishikawa @_kohta

俺の俺による俺のための離散と連続のあいだ(フーリエ解析版)俺 point of view、みたいな資料を作成しないとどうにもならない気がしてきた。工学的な解説は数学的な視点がなさすぎるし数学の解説は実装的な観点がなさすぎる。

2018-09-07 19:50:34
きいねく @Keyneqq

多項式で成り立つことは、複素関数でも成り立つ? こういう類似があると圏で書いてみたくなる意識が醸成される pic.twitter.com/w1wj2NFNoQ

2018-09-07 23:38:25
拡大
7931 @wed7931

有限と無限の新しい見方を知った! twitter.com/Keyneqq/status…

2018-09-08 10:51:10
新訂版序文の人 大類昌俊 @Ohrui_math_bass

何回でも偏微分できる2変数関数や偏導関数が連続な関数など性質の良い2変数関数のグラフは局所的には楕円放物面か双曲放物面か平面で近似できることも去年寄贈した本を使いつつ強調した 彼はすぐにインターネットで二次曲面を見て周りにも見せていた 本質は理解されたようで良かった pic.twitter.com/ByK0hZzyQ2

2018-09-08 12:43:16
拡大
拡大
あいみょんとガーファンクル♪🇯🇵🇺🇦 @HideOgata

射影空間P^1の上で、具体的な計算のできる複素関数論を構築できないものか?大学の授業では、無限遠点、リーマン球は習うが、その後話が続かない。

2018-09-09 12:53:51
結城浩 / Hiroshi Yuki @hyuki

#今日の圏論 #圏論の基礎 《例示は理解の試金石》ルールにより「行列式は自然変換」の自分の理解を試すため、本には載ってない例を作りました!(間違ってたらおしえてね) pic.twitter.com/atp1XLxbZr

2018-09-10 21:26:05
拡大
7931 @wed7931

長男(小4)の算数の宿題を見る。 「99×99」を分配法則などを使って工夫して計算する問題。 (☆)で筆算したい気持ちをグッと抑えて一工夫するところを教える。 「9900-100+1だと、9900-101を計算しているみたい」というコメントが出てきて、「いい質問!」と思いながら説明。 算数を教えるのは楽しい。 pic.twitter.com/eaB7o55x2K

2018-09-11 21:50:32
拡大
日曜数学会 @nichimath

世界に1つだけの三角形の組 -抽象現代数学を駆使して素朴な定理の証明に成功- research-er.jp/articles/view/…

2018-09-12 17:40:12
結城浩 / Hiroshi Yuki @hyuki

数百のオーダーでたった1組、というのがとっても不思議ですごい

2018-09-12 19:30:59
1 ・・ 5 次へ