ここらへんの定理に位相が出るのがやはり謎だ。うまくいき過ぎてる。 ちなみに、微分ガロアでも、類似が完全に成り立ちます。 pic.twitter.com/L8rqDh34I7
2017-05-23 22:19:55特殊関数のうち、エルミート、ラゲール、ルジャンドル、チェビシェフあたりまで簡約すると、直交多項式になり、定義のバリエーションも増える。 1. ガウスの超幾何微分方程式の特殊解 2. 母関数+ローラン展開 3. 重み関数+シュミットの直交化 4. 漸化式 最も有用なのは、たぶん母関数表示だろう。
2018-03-17 20:32:12点と直線の距離を導いていた。ついでにこれが覚えにくかったので、覚えやすい方法を考えていた。直線の法線ベクトルの大きさを1にすればずっと覚えやすいじゃん! pic.twitter.com/HQgQHppJvN
2018-07-23 21:15:41全ての群は自由群の商群であるって聞いたときはびびった。 自由群は群の圏の自由対象であるって聞いたときはそのままやんけと思った。
2018-08-31 17:03:41#Φカフェ数学デー で発表!自然変換や関手圏の定義をし、自然数nを固定したとき、行列式detが、cRingからMonoidへの、n×n行列全体を対応させる関手M_nから、足し算を忘れる関手Uへの自然変換であることを確かめました。これは全ての環に対し行列式が「一様に」定義されていることに対応するそうです◎ pic.twitter.com/1RCXH1eWJm
2018-08-31 23:29:07うまく言えないが、対角化できる線形変換とできない線形変換では、どのような振る舞いの違いがあるのか?この疑問は、突き詰めると固有値の重複度と固有空間の次元が一致しないことの真の意味は何か?ということになる。これは果たして妥当な疑問なのかという不安もあるが、机上でいろいろ実験したい。
2018-09-02 11:32:43#iOSDC #c 「圏論とSwiftへの応用」 のスライドをアップしました! speakerdeck.com/inamiy/iosdc-j…
2018-09-02 15:53:50「Swift で数学研究のススメ」 久しぶりのエンジニアカンファレンスで楽しかったです😁 Khovanov homology 使いの iOS エンジニアが増えることを願って🌠 slideshare.net/taketo1024/swi… #iosdc #LT
2018-09-02 18:15:44圏論とCS(プログラミング言語系)との関係を紹介するスライドとしてはいい感じですね。米田の補題とCPSの関係とかもさっくり説明しているし。 twitter.com/inamiy/status/…
2018-09-03 13:56:27#今日の圏論 #圏論の基礎 代数的位相幾何学における関手の例として次元nの特異ホモロジーの話。位相空間と連続写像をアーベル群と準同型に移す関手(Top→Ab)。数学ガールでよく出てくる世界と世界の橋渡しだ。 pic.twitter.com/9oMct9NlOm
2018-09-03 19:39:18さっき気がついたんだけど、Wikipediaの項目にはときどき「圏だったらこういうこと」みたいな記述がある(それは射だとか関手だとか)んだけど、それ、少しずつ読めるようになってるよ私!うれしー!ふふふ(^^)
2018-09-03 23:26:19円板から境界の円周への、境界を動かさない連続写像を作ることができないということをホモロジーを使って証明する議論、習ったときは「ふーん」って感じだったけど、あるとき「これが関手か…!」と分かって感動した記憶がある💡
2018-09-03 23:44:16最近annihilator(アナイアレイター)の発音を間違えていることが判明したので、これを機に間違えそうな数学用語を挙げてみた finite ファイナイト(有限の) eigen- アイゲン(固有の) height ハイト(高さ) pseudo- スード(擬~) anti- エンタイ,エンティ(反~) relative レラティブ(相対)
2018-09-05 17:57:34「三角関数の合成をするには加法定理をまず覚えよう,とか言って,いままでどうしてこれを誰も教えてくれなかったのか!」(←教えてくれてた人はいたのに私が理解できていなかった説) pic.twitter.com/Rp2XTagqL4
2018-09-06 22:14:02俺の俺による俺のための離散と連続のあいだ(フーリエ解析版)俺 point of view、みたいな資料を作成しないとどうにもならない気がしてきた。工学的な解説は数学的な視点がなさすぎるし数学の解説は実装的な観点がなさすぎる。
2018-09-07 19:50:34多項式で成り立つことは、複素関数でも成り立つ? こういう類似があると圏で書いてみたくなる意識が醸成される pic.twitter.com/w1wj2NFNoQ
2018-09-07 23:38:25何回でも偏微分できる2変数関数や偏導関数が連続な関数など性質の良い2変数関数のグラフは局所的には楕円放物面か双曲放物面か平面で近似できることも去年寄贈した本を使いつつ強調した 彼はすぐにインターネットで二次曲面を見て周りにも見せていた 本質は理解されたようで良かった pic.twitter.com/ByK0hZzyQ2
2018-09-08 12:43:16射影空間P^1の上で、具体的な計算のできる複素関数論を構築できないものか?大学の授業では、無限遠点、リーマン球は習うが、その後話が続かない。
2018-09-09 12:53:51#今日の圏論 #圏論の基礎 《例示は理解の試金石》ルールにより「行列式は自然変換」の自分の理解を試すため、本には載ってない例を作りました!(間違ってたらおしえてね) pic.twitter.com/atp1XLxbZr
2018-09-10 21:26:05長男(小4)の算数の宿題を見る。 「99×99」を分配法則などを使って工夫して計算する問題。 (☆)で筆算したい気持ちをグッと抑えて一工夫するところを教える。 「9900-100+1だと、9900-101を計算しているみたい」というコメントが出てきて、「いい質問!」と思いながら説明。 算数を教えるのは楽しい。 pic.twitter.com/eaB7o55x2K
2018-09-11 21:50:32世界に1つだけの三角形の組 -抽象現代数学を駆使して素朴な定理の証明に成功- research-er.jp/articles/view/…
2018-09-12 17:40:12