7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年02月03日(日)
ここ数日かけて、位数 < 60 の群は単純群でないことを地道に示すのをやった。
これだけでも結構面倒なのに、有限単純群の分類を人類が成し遂げたというのは、ただ驚くしかない。
タグ：
posted at 02:10:06
Gr(2,4)のプリュッカー関係式とトレミーの定理の話は、放送大学の放送授業「非ユークリッド幾何と時空」（橋本義武）でもやっているので、放送大学はかなり良いと思う twitter.com/kyow_Q/status/...
タグ：
posted at 02:22:43
昨日トポスでdescentについて話したのをもう少し丁寧にしてみた。いわゆるグロタンディークのガロア理論というやつの基本になってる考え方で、SGA1とかにもっとちゃんと書いてある。群作用で不変なものが下の体に落ちるというのと貼り合わせ条件を満たすものが商に落ちるという話が同じ。 pic.twitter.com/YYAQ2Zl1Hm
タグ：
posted at 11:19:18
関数はグラフを考えると図形と思えて、図形は層だと思えるので層でやるのが一般化になるけど、貼り合わせをやる時に圏というかgroupoidで考えるのでコサイクル条件が必要。貼り合わせをホモトピーでやるなら高次のコサイクル条件が出てきて、無限圏が必要という感じになるのかな？
タグ：
posted at 12:35:31
人類は紙と鉛筆が無いと計算できないので、脳onlyの環境では対称性や群論によるアッサリとした議論に頼りがちになる。一方、机に向かうと計算ゲーの力技に頼りがちになる。なので立ったり座ったりを繰り返すことで、自動的にバランスの良い考察を進めることができるのじゃ。
タグ：
posted at 18:32:23
新東名 伊勢原ジャンクション 1km予告標識。ジャンクション名称標識の「伊勢原」の部分だけマスキングされていた。 pic.twitter.com/HLCgH0zAPX
タグ：
posted at 20:35:15
大学の先生から「友人の数学者がYoutuberになった」という話だけを聞いていたので、動画開始直後から「みなさんの良く知っているコホモロジーはホモロジーの構成の双対から生まれる自然なアーベル群の列ですが」みたいなタイプの洗礼を受けるのではと震えながらクリックした(そんなことはなかった)
タグ：
posted at 20:38:12
鬱の時は本当に自殺してしまいたかった。
本当は実家に帰るんじゃなくて、病院に入院してしまいたかった。
それくらい辛かった。
なにより、元気そうに見えるって言われるのが一番辛かった。
自分の病は人には理解されにくい。
外側が無傷に見えるからって、内側も無傷とは限らないんだよ。
タグ：
posted at 21:07:51
機械学習をやるために測度論とか関数解析とかが数学科ほど必要だとは思えないけど（もちろんそういうことを知ってる方がいい場合はあると思うけど）、数学科の人がそういうことで「マウントを取ってくる」みたいな言い方する人ってなんかコンプレックスとかあるのかなと思いますよね。
タグ：
posted at 22:47:09
2019年02月04日(月)
昨日今日偏頭痛でいつもの鎮痛剤も効かず迷って最後のラストエリクサー（イミグラン点鼻一噴霧/￥300）を使ってしまった節分の今日豆なんぞ買ってなかったので冷蔵庫にあった納豆をパックごと鬼はそと福はうちしてみましたみなさんお元気ですか私は元気ですおやすみなさい
タグ：
posted at 00:01:10
可積分系、２体問題とか扱ってるくらいしか知らなかったけどそもそものモチベとして対称性の高い微分方程式の解を具体的に求めていくっていうのがあるからそりゃ群の話と関係してるに決まってるし、なんならLie群と関係の深いヤング図形使ってKP方程式の解を書き表したりしてるしーって調べたら色々で
タグ：
posted at 01:36:04
adhara_mathphys @adhara_mathphys
"From Conformal Group to Symmetries
of Hypergeometric Type Equations"
www.emis.de/journals/SIGMA...
タグ：
posted at 07:33:54
ある時点で能力がなくてもしばらくした後に能力を獲得することってあると思うんですけど、能力のない人のリストというのは適切に更新してもらえるんでしょうかね。そういうのは心配ですよね。
タグ：
posted at 10:28:48
誰かが自慢してきたら、知らないことを勉強する大チャンス。
質問攻めにします。
今まで私に自慢してきた人から色々と勉強させて頂き、本当に感謝しています。
念のため申し上げますが、皮肉ではなく、私は本気でそう思っています。
皆さん、どんどん自慢して下さい twitter.com/kankimura/stat...
タグ：
posted at 10:44:37
@unaoya @wed7931 創造性と厳密性、もともと並列関係ではなく階層の違いでしょうか。発想時と論証過程という時差もあります。
ただ気になるのは、自分の創造性が薄いと悟ったとき、厳密さの方向に逃げるという傾向。あちこちで見てきました。
governance.tokyo/also-innovative/
タグ：
posted at 11:00:45
adhara_mathphys @adhara_mathphys
水素原子というのは物理の数学的構造を探求する上で終着点ではないかも知れませんが、重要な地点にはあると思っています。
タグ：
posted at 11:49:29
無事に終了。
特に大きな異常もなく、優秀な胃と言われました。
優秀な胃とは…( ﾟдﾟ)ﾎﾟｶｰﾝ twitter.com/tetsupon1011/s...
タグ：
posted at 12:08:58
ゆらまきYuramaki｜デザイナー・松 @yuramakid
私達2人共、しんどいときは素直にしんどいって言うのです。我慢しない。今日全部やんなくたっていいんだよ。
時事刻々、事情は変わるんだから！
旦那さんはお皿を洗うのが、「タスクが目に見えて終わる」良さがあって、心のハードル低いのです。洗濯物は、2人とも面倒くさいので、協力してやります笑 twitter.com/mitarashicanno...
タグ：
posted at 13:40:19
足立恒雄先生の「数学から社会へ、社会から数学へ」
#peing #質問箱 peing.net/ja/qs/135484049
posted at 14:25:30
個人的にはgradやrotやdivは微分形式の話にすれば外微分dで統一的に書ける、というのを強調しすぎるのはあまり好きではなくて
以下でその理由を述べると
これらを微分形式の話と見なすとき
grad:リーマン計量を使う
rot:リーマン計量と向きと3次元であることを使う
div:リーマン計量と向きを使う
タグ：
posted at 14:39:56
訳ですが、一方でベクトル場のdivを取って関数にするという操作は向き関係なく一般のリーマン多様体でも定義できて
ベクトル場をレビチビタ接続で微分してからトレースを取ることで定まるし
発散定理(divを取って積分すれば境界における法ベクトルと内積を取った積分になる)も成り立つからです
タグ：
posted at 14:39:56
おつかれさまでした😊
ふんわりとしたやさしい雰囲気で癒されました🍀 ありがとうございました🌻
@cotree_official さん twitter.com/marisakura/sta...
タグ：
posted at 20:24:33
基礎は日々の積み重ねよりなる。新しい情報はすぐに普遍的法則に変わり、また新たな基礎となる。ここをほっておくと、あっという間にやせ細ってしまう。古い古い基礎はもう誰でも知ってるのだ。ここにリソースをつぎ込まなかった日本は、瞬時に基礎の力を失いつつある。このやせ細り方は想定外だった。
タグ：
posted at 23:42:01
