7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年05月19日(日)
測度論が難しいというような話がたまにあるけど、実際どこが難しいんでしょうね。（これは反語ではなくて疑問です。）抽象的に書かれてるから難しいんですかね。なんのためにこういう抽象的な話をするのかわからないというのもあるのかもしれないけど。
タグ：
posted at 00:06:08
@Paul_Painleve そうですね。一方で今の時代はそういった解析主体のものよりもより広い現代数学が必要になっていく過渡的な時期なのだろうと思います。先のリプライにあった光工学の先生から圏論というのは実際にあったお話なんですか？
タグ：
posted at 01:01:34
特に意味は無いけれど
2+3=5という式
は
3を足すって関数f₊₃の像f₊₃(2)
を表してるとも思えるし(↓のf₊のカリー化？)
f₊という二変数関数の像f₊(2,3)とも思えるし
2を足すって関数f₊₂とf₊₃の合成f₊₂∘f₊₃=f₊₅とも思える
タグ：
posted at 01:02:13
あえて空リプでつぶやくと、関数のグラフの平行移動でy=f(x)をy=f(x-a)に置き換えるのは、座標軸（特に原点）を動かしているとも言えるんだけど、グラフの方が動いているとだけ思い込んでいて、環に群を作用させるようになるまで明日はこの思い込みは解れなかった。
タグ：
posted at 08:04:21
I大きなコンピュータ会社の特許の中に、企業のワークロード／フローを管理するシステムに関するよくわからないものがたまにあって、どこまでがコンピュータの話でどこまでが人の話なのか混然となってわからないようなのを見かける。よき管理のためには全部考えないと、というはあとでジワジワ染みる twitter.com/wed7931/status...
タグ：
posted at 10:35:52
6月中旬新刊予定
『数学基礎論序説 －数の体系への論理的アプローチ－』田中一之（裳華房）
意味と形式の織り成す世界へ――．
数学基礎論の入門から最先端までを，大胆な構成と精緻な記述で探る．21世紀の数学基礎論を切り開く力作． ow.ly/1fqr30oKPcY pic.twitter.com/QVD4xrUprE
タグ：
posted at 12:15:05
僕は10年以上前に製造関連にいたのだけど、分野内でエンジニアと言えば自分たちのことだし、世間的にエンジニアと言えばコンピュータ関係だと認識してたなぁ。 twitter.com/wed7931/status...
タグ：
posted at 13:39:47
さて、サークルが終わって休憩。
背後の席の若者たちの「ハミルトニアンが〜」「シュレーディンガー方程式が〜」という会話が気になってあまり読書が進まない。 pic.twitter.com/wZ8uCAxXM6
タグ：
posted at 19:35:42
これですけど、最近思うのは大学にいなくてもおそらく数学の研究をすることは可能だが、大学にいないとまわりに自分が興味のある数学を研究をしている人がいないことがほとんどなので、それがどうかということかな。 twitter.com/unaoya/status/...
タグ：
posted at 20:16:49
非公開
タグ：
posted at xx:xx:xx
@Paul_Painleve C2級でも、パッと見で判断するのはなかなか難しそうな気がします。曲面を評価する場合は図のように照明によって、不連続な個所を視覚的に把握しやすくする工夫が行われます。
「わかりやすい NURBS 解説」金井仁志
www.unisys.co.jp/tec_info/tr114... pic.twitter.com/JF1vQeRoGi
タグ：
posted at 23:47:26
これいいな。普通に。
夫婦共有Slackのススメ。｜とみこ @tomiko_tokyo｜note（ノート） note.mu/tomikotokyo/n/...
タグ：
posted at 23:56:54
数学してると体調が悪いのも忘れるので、今日のセミナーが終わったあとめちゃくちゃお腹が痛くなって面白かった(面白くはないんだけど)。
精神と体の関係は興味深いな。
タグ：
posted at 23:59:44
2019年05月20日(月)
#今日の圏論
ふと思ったんですが「行列に対して固有多項式を考える」というのは圏論的な解釈ができるのではないかしら（以前 #圏論の基礎 で読んだ「行列式は自然変換」を思い出しながら）。ケイリー・ハミルトンの定理も合わせて何か言えそう。 twitter.com/statement_bot/...
posted at 05:34:07
テセレーション協会 藤田さんの新刊
敷きつめ塗り絵で体験しよう！数学アート
#テセレーション #tessellation #エッシャー #敷きつめ twitter.com/rikoushonotana...
タグ： tessellation エッシャー テセレーション 敷きつめ
posted at 07:39:36
通勤中にcotree のラジオを
聴いている。
ユーザー会の雰囲気にも似ていて
実にコトっている。
ユーザーとして
出てみるのも楽しそう。
ゆるさがなかなかよい。
#cotoru_radio #cotree twitter.com/tami_cotoru/st...
タグ： cotoru_radio cotree
posted at 08:46:32
でもいただいたリプで「普遍性」の意義が少しわかったかも。一意的に射が決まるなら、それは考える価値がある概念だ。そして買ったけど読んでない『ベーシック圏論』の副題のココロに少し近づいたか？
タグ：
posted at 11:06:16
特殊相対論では光速度はどの慣性系でも同じというのが第一原理だけど、ここでいう光速度の定義は何だろう？速度は変位を時間で割った（微分した）ものだが、相対論では時間は座標系によって変わる。。。
タグ：
posted at 11:44:38
adhara_mathphys @adhara_mathphys
Dynkin diagram of E11 twitter.com/theorypapers/s...
タグ：
posted at 11:53:30
こういう本が出るらしい。
相対論とゲージ場の古典論を噛み砕く ゲージ場の量子論を学ぶ準備として 松尾 衛 www.amazon.co.jp/dp/4768705081/... @amazonJPさんから
タグ：
posted at 11:58:20
好評発売中『複素領域における線形微分方程式』原岡喜重 著（数学書房）
この分野の基礎理論から始めて最先端であるKatz-大島理論まで到達し, 微分方程式の変形理論, 多変数の完全積分可能系についても 必要十分な知識が得られるように内容を取りそろえた. pic.twitter.com/FpAsWTSU3v
タグ：
posted at 16:07:15
前順序をゼンジュンジョと読むと全順序とまぎらわしいけど、実はマエジュンジョなのか? と思って、『岩波数学辞典 第4版』を調べたら、そもそも preorder を擬順序と訳していて前順序の読み方はわからず。そして、前層はゼンソウでなくてマエソウらしいと知って驚愕(索引「マ」の項にある)。
タグ：
posted at 17:03:01
adhara_mathphys @adhara_mathphys
(pdf)スピン幾何入門その1
クリフォード代数とスピン群
のp.10〜13あたりが詳しいです。
www.f.waseda.jp/homma_yasushi/...
タグ：
posted at 17:19:17
[総合科目II(数学との出会い)(4/15,No.1)]対称群(置換群)についての話と、最後にS_6の外部自己同型について。blogに書きました。motochans.blogspot.com/2019/05/ii1.html
タグ：
posted at 18:22:05
うつ病になって睡眠と生産性は関係していると実感している。家に帰っても、仕事の悩みを抱えては病むわけで。自己肯定感が持てる習慣を身につけるのが良き。 twitter.com/yonemura2006/s...
タグ：
posted at 20:32:20
私の専門のバイアスかもですが、大学数学ってもっと幾何を教えるべきだと思います。古典的なユークリッド幾何じゃなくて微分幾何やリーマン幾何を。
代数と解析は必須でカリキュラムに入るべきなんですが、例えば多様体やってその後、代数トポロジーかリーマン幾何を選べるといいと思うんです。
タグ：
posted at 21:37:44
