7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年02月05日(火)
この本、単純Lie群の分類とか例の二重被覆の話とか既約表現の分類とか電弱統一理論の話とか色々載ってて最高にエモいの。 pic.twitter.com/7p3wUomieT
タグ：
posted at 23:23:34
今日は体調不良のまま頑張ったものの、家で力尽きてご飯の肉弁当を落としてばら撒いてしまい、楽しみだっただけにちょっと落ち込みました。甘いものを食べて気を取り直して頑張ろうと思います。
タグ：
posted at 22:17:29
非公開
タグ：
posted at xx:xx:xx
環の地図をブログに再現する試みをしています．修正や環の追加がすぐできるようなフォーマットの作成を試行錯誤しています． pic.twitter.com/b4DSCRVIRN
タグ：
posted at 18:38:37
この方の研究内容を聴くと「他の誰がスルーしていても自分が素朴に疑問に思ったことは徹底的に調べればいい」という勇気が湧いてくる。この感想はピント外れかもしれないけれども、とにかく私はそう感じる。
タグ：
posted at 15:22:59
新しい論文を書きました．
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
中部横断道きた！
【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
釧路外環状道路（釧路東IC～釧路別保IC）と釧路中標津道路（一般国道272号）上別保道路が平成31年3月9日（土曜日）15時に開通します！
www.hkd.mlit.go.jp/ks/release/b0s... pic.twitter.com/IkcRygecMY
タグ：
posted at 13:43:19
修論審査のこと改めて思うと、あれだけのラスボス級の先生方に自分の研究について聞いてもらえる機会って相当貴重なんじゃないかと思えてきた。次あるとしたら博論審査で、その次あるとしたら〇〇賞（←すごい賞）受賞ぐらいのことでないと無理そう。
タグ：
posted at 11:35:43
（偏微分方程式の）数値計算の落とし穴 齊藤宣一
www.oishi.info.waseda.ac.jp/seminar/171226...
面白くてねむれなくなった・・・
タグ：
posted at 05:51:27
アドバイスをいただいて「タイムラインを快適に保つ」のを改めて意識してみると、少しだけど確実に良くなった。うれしい。ストレスに耐えながら知見を広げるのは後でいいんだ
タグ：
posted at 05:02:42
