7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年10月21日(月)
tsujimotter 日曜数学者 @tsujimotter
瀬下さんの数学が好きになった瞬間がすごく良い「ベクトル空間という概念に出会ったときに興奮して鼻血が出た」 #マスパーティ
タグ： マスパーティ
posted at 21:11:17
面白そうな本を送っていただきました。まえがきだけでも物理観にインパクトが。これから勉強したいと思いますがとりあえずシェア。
SGCライブラリ 153
高次元共形場理論への招待 ― 3次元臨界 Ising 模型を解く ―
中山 優(立教大学准教授)著
www.saiensu.co.jp/fair/sk.pdf pic.twitter.com/SEkGhB89Cg
タグ：
posted at 16:15:04
@hyuki @Lucien0308 論文ではアルゴリズムの正当性を論理的に保証しつつ、それがプログラムとして正しく作られてるかどうかはテストを回したり既知の結果と矛盾する結果が出ないかで確認することになると思います。他の論文でプログラムの URL がリンク切れになってたりして困ることも割とあるので、
タグ：
posted at 16:14:43
カワズ on the bird @kawazu_on_bird
これはリー環gの双対の対称代数で、すなわちリー環gの多項式環を意味する。これをリー群Gの随伴表現による作用で割ってあげれば、特性類を構成するときの不変多項式になります。チャーンヴェイユ準同型を構成する時に現れます twitter.com/kyow_qq/status...
タグ：
posted at 15:43:38
@Lucien0308 @taketo1024 ところで、素朴な疑問で恐縮ですが「プログラムで得られた結果の数学的正しさの担保」はどうやって確保するものなのでしょうか。複数のアルゴリズムで検証するのでしょうか。それともソースコードを公開することで他者が検証できるようにするのでしょうか。🤔
タグ：
posted at 12:49:31
わからないことについては「まず黙って聞く」（誤解して喋ってることは大いにある）という態度をとりますが、決して同意しているわけではありません。まだ賛成でも反対でもありません。きちんと決をとってください。
タグ：
posted at 11:14:12
@hyuki @taketo1024 ありがとうございます😆✨莫大な計算量と戦ったり、僕だけでは到底乗り越えられない問題が幾つもあったのですが、佐野さんと力を合わせることで乗り越えられました‼︎
計算機の威力を純粋数学者にもどんどん見せていきたいと思いました☺️
タグ：
posted at 10:26:35
ご無沙汰しております‼︎
今はアメリカのミズーリ州セントルイスに滞在して、共同研究の真っ最中です😊
あと二週間以上はこちらにいるので、その間はドップリ数学漬けです🤤
目標は論文を形にして帰りたい📝！頑張るぞー✊🏻🔥
タグ：
posted at 08:30:30
そもそも無限次元多様体の扱いがよくわからない。。。。でもリー環を単に無限次元にするんじゃなくて、カッツムーディ代数みたいな、うまい無限次元化を経る必要があるので多様体側の拡張とどう整合するのか謎 大森英樹の無限次元リー群とかに兄が書いてあるか見るといいのだろうか。。。
タグ：
posted at 00:44:14
