7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2021年02月08日(月)
本日は誕生日なので誕生日休暇を取得しました。
……そんな制度は弊社にはないッ！
当初の予定では昨日は小樽に行ったりなんだりで疲労困憊だろうな、と思ってたので、冬季休暇を入れておいたのです。
キャンセルしようかとも考えたけれど、イベの変更後の日程がいつかわからんし、まあいいか、と。
タグ：
posted at 09:10:22
今の時代って、価値観が変わった訳ではなく、今までは認められてもらえなかった価値観が認められ、認知され始めただけなんだよね。
だから「昔はこんなことなかった」って言う人がいるけど、それは価値観がなかった訳ではなく、そういった人達は社会から認められず、ずっと孤独を味わっていたんだよ。 twitter.com/1kani1dai/stat...
タグ：
posted at 09:16:43
非公開
タグ：
posted at xx:xx:xx
結び目理論では図を描きまくるけど，図を描いただけでは厳密な証明にはならないのでは？ という疑念を解消する定理でもありますね．
keyneqq.fanbox.cc/posts/1859476?...
タグ：
posted at 19:49:16
ライデマイスターの定理について軽い気持ちで書こうと思ったら，"連続変形"に関する部分をどれだけ厳密に書くべきかかなり悩んだ．そこは参考書籍にお願いすることにした．
タグ：
posted at 19:53:05
Mathlog。登録してみて少し数式を打ち始めてみたんですが、普段はてなブログで書いていることを差し引いても、あまりに快適で感動しています…！
これはすごい。(このあたりの技術に疎すぎて語彙不足)
タグ：
posted at 20:16:16
新たに思い付いた解法を加えて40通りになりました。更に(適した計算方法じゃないと汚くなりますが理論上)計算の道具は座標でもベクトルでも複素数平面でも同様の証明が構成できるはずなので、40×3=120通りぐらいの証明法が考えられます。
大学数学の手法では未定乗数法と変分法が特にかっこいいです。 twitter.com/keisankionwyki... pic.twitter.com/Ueg8CsorZl
タグ：
posted at 20:37:48
現役で東大に受かった結果、「キリンの研究者になろう」と決意して、解剖学にハマっていく私を見て、眉を潜めることもなく、「そういう学問やそういう選択肢があるって知っていたら、私の人生ももっと面白くなったのに！羨ましい」と言ってくれた母親が、今の私を作っているんだなぁと改めて思いました twitter.com/anatomygiraffe...
タグ：
posted at 23:26:47
