しんくん

博士(数理科学)/数理情報/航空宇宙/#しんくんグルメ

[しんくん @nobo0409]

明日から旅行なのだが、旅行あけ即出張で、出張あけ各種〆切

[タカハシヨウ（家の裏でマンボウが死んでるP） @takahashi_manbo]

第一弾！来月で発表から15周年を迎える「クワガタにチョップしたらタイムスリップした」のリメイクです！めちゃくちゃパワーアップしたのでお楽しみに！

https://t.co/f153mwATh3

[いぬくん @fluffydog_bow]

1429 個の補題が生成されて，実際に証明に使ったのは378個だった．

[Takami Sato @tkm2261]

米国のしか知らんけど、PIってそういうもんじゃないの？周りの研究室見渡してもPIがfirstで書いてるのなんて見たことないな。むしろほぼ書いてあげても指導PhD学生をfirstにすると思う。Playerとして研究したい場合は民間研究職（+ポスドク）という空気感

[はま @hmkz_]

世界最高の頭脳をもつ学生たちは、3x3行列の計算をするために9.7兆パラメータの行列計算をする。

[T.Hayase @ThayaFluss]

今日から理研AIP着任です。自由確率論とランダム行列で深層学習の理論解析とアルゴリズム開発をやっていきますので、見かけたらお声がけをー

[しんくん @nobo0409]

世の中こんなにたくさんの論文があるのに対して読まず適当なサーベイをしてくるのなんなん

[PS2 @recorderPS]

※会長本人は多様体愛護思想を放棄しました

[しんくん @nobo0409]

せっかくbiddingして一枚めっちゃ査読したい論文あったのに、全然asignされなかった

[しんくん @nobo0409]

飲みたい欲を抑えてちゃんと帰る、えらい

[TCN @TCN_Kyoto_TPU]

最近は研究がかなり難しくなっていると思っていて、今普通だと思っている人のスキルを20年前に移したら同年代最強の天才なのでは…？？という場合もないわけではないよなぁと思っています。

[しんくん @nobo0409]

研究者にも色々いるよね！

[おおいし𓆡 @O___ishi]

論文を投稿しました。
抵抗距離空間の列が適当な意味で収束する場合に、対応する確率過程の列の収束レートを評価した、という内容です。

以下のツリーで(大体abst, introに書いていますが)少し詳しく書きます。

https://t.co/TQVCDxXAcx

[しんくん @nobo0409]

@leanyaritai 6/22の週に、理研の園田さんの集中講義が京大であるらしいっすよ: https://t.co/iUY3vUh4ws

[IIJIMAS @IIJIMAS]

「凝集数学」
現代数学の最先端中の最先端なのだろうな。。
[Link]「[2605.03658] Lectures on Condensed Mathematics」 https://t.co/VoheLTT8SO

[OpenAI @OpenAI]

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.

For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.

An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.

This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.

[いんそうさん @insou]

研究室、フランス語話者が増えてきて日本語話者の数を追い越そうとしている。

[いもらっく @imoraUniv]

無給にも関わらず夜中まで広大な東大構内を駆け巡って安全確認し、五月祭２日目開催を実現させた五月祭委員

↑「好き」が芽吹くとき

[Haruhiko Okumura @h_okumura]

Codexに「LaTeX」プラグインが加わった。まず同梱のTectonicを試し、それでうまくいかなければ検出されたTeX Live/MacTeXを使うのか

[しんくん @nobo0409]

考えながら書く、ということが大事なんだろうな