7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年02月05日(火)
アドバイスをいただいて「タイムラインを快適に保つ」のを改めて意識してみると、少しだけど確実に良くなった。うれしい。ストレスに耐えながら知見を広げるのは後でいいんだ
タグ：
posted at 05:02:42
（偏微分方程式の）数値計算の落とし穴 齊藤宣一
www.oishi.info.waseda.ac.jp/seminar/171226...
面白くてねむれなくなった・・・
タグ：
posted at 05:51:27
修論審査のこと改めて思うと、あれだけのラスボス級の先生方に自分の研究について聞いてもらえる機会って相当貴重なんじゃないかと思えてきた。次あるとしたら博論審査で、その次あるとしたら〇〇賞（←すごい賞）受賞ぐらいのことでないと無理そう。
タグ：
posted at 11:35:43
釧路外環状道路（釧路東IC～釧路別保IC）と釧路中標津道路（一般国道272号）上別保道路が平成31年3月9日（土曜日）15時に開通します！
www.hkd.mlit.go.jp/ks/release/b0s... pic.twitter.com/IkcRygecMY
タグ：
posted at 13:43:19
中部横断道きた！
【E52】中部横断自動車道 新清水JCT～富沢IC、下部温泉早川IC～六郷IC 2019年3月10日(日)16時30分に開通
www.ktr.mlit.go.jp/kisha/koufu_00... pic.twitter.com/39IjXn0T4e
タグ：
posted at 14:06:16
新しい論文を書きました．
A note on derivability conditions
arxiv.org/abs/1902.00895
第二不完全性定理とは例えば PA について
「derivability conditions の成立する Σ_1 provability predicate で作られた PA の無矛盾性は PA で証明できない」
が最もよく知られた正確な形だと思います． pic.twitter.com/JDrywpoEfB
タグ：
posted at 14:51:17
この方の研究内容を聴くと「他の誰がスルーしていても自分が素朴に疑問に思ったことは徹底的に調べればいい」という勇気が湧いてくる。この感想はピント外れかもしれないけれども、とにかく私はそう感じる。
タグ：
posted at 15:22:59
環の地図をブログに再現する試みをしています．修正や環の追加がすぐできるようなフォーマットの作成を試行錯誤しています． pic.twitter.com/b4DSCRVIRN
タグ：
posted at 18:38:37
非公開
タグ：
posted at xx:xx:xx
今日は体調不良のまま頑張ったものの、家で力尽きてご飯の肉弁当を落としてばら撒いてしまい、楽しみだっただけにちょっと落ち込みました。甘いものを食べて気を取り直して頑張ろうと思います。
タグ：
posted at 22:17:29
この本、単純Lie群の分類とか例の二重被覆の話とか既約表現の分類とか電弱統一理論の話とか色々載ってて最高にエモいの。 pic.twitter.com/7p3wUomieT
タグ：
posted at 23:23:34
2019年02月06日(水)
ゲージ理論をクリフォード代数を使って自分に親しみやすい形に書き替えようとしていたら、物質場に対する局所変換をディラック作用素のものと同じクリフォード代数の基底で書いたら（普通の）ライプニッツ則が成り立たなくてわけわからないことになって頓挫したのであった。
タグ：
posted at 05:05:28
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Scrapboxの面白さ、良さ、すごさ、伝えにくさ。まさにこのとおり。
——
1ページでは絶対にわからないScrapboxの良さ rashita.net/blog/?p=26757 @rashita2さんから
タグ：
posted at 08:38:11
非公開
タグ：
posted at xx:xx:xx
物理学科で、院は素粒子論だったけど、今は翻訳家で生きてます。
大学・大学院で学んだことは、直接ではなくてもかなり役に立っていると思う。あとは仕事に興味が持てるかどうかの問題かなあ。
タグ：
posted at 12:11:02
簡単にいっちゃうと統計力学や解析力学の勉強を「これは機械学習に必要だから」という動機「だけ」で理解する努力をするのは常人には精神的に耐えられない。「これを勉強したら世界の真実がわかる！」くらいの意気込みがないと絶対、途中で挫折する。統計力学も解析力学も数学とは違う意味で難解です。 twitter.com/hayashiyus/sta...
タグ：
posted at 12:26:52
数学バトル漫画でありがちな展開
主人公「くっ……！なんてすごい定理なんだ……！！」
教授「定理？ははっ 今のはただの”補題”ですよ？」
主人公「今のが……”補題”……だと……！！」
タグ：
posted at 12:35:27
非公開
タグ：
posted at xx:xx:xx
「お絵描きアプリを作りながら学ぶ線形代数」というアイディアが降ってきた。画像の拡大縮小とか回転とか対称、平行移動などを通して線形代数を学ぶ的な。ついでに三角関数も勉強できます。線形代数をやりたいプログラム得意な人と一緒にやったら楽しそう。
タグ：
posted at 18:06:55
ゾウが踏んでも壊れないように書くには、単位元の存在を要請したあと、単位元の一意性を証明し、それから単位元をあらわす新しい記号を導入して、ようやく逆元の存在の要請に進む。
あるいは単位元をあらわす記号εを先に用意しておいて、存在の要請ではなく「εは単位元である」を公理としてもよい。
タグ：
posted at 19:08:07
非公開
タグ：
posted at xx:xx:xx
証明：
4点を
0,1,∞,t (t∈C\{0,1})
にうつす一次分数変換が存在するので、この形を保つ一次分数変換のみを考えればよい
それらは有限群Gを成すので、Gによる商集合は無限個の軌道を持つ■
twitter.com/math_elliptic/...
タグ：
posted at 22:00:54
