Gsan

ソフトウェアエンジニア/プログラミングの数学っぽい話が好きです/競プロやってました/最近は型システム入門をCoqで証明してます

[代数学を学ぶ倉本千奈 @tina_algebra]

【Abel群Mに環Q上の左加群の構造は高々1つしか入らないことを示せ】

千奈
「こうぞうが、はいる？」

広
「加群の積って加群ごとに定義されるから構造がたくさんあることもある、よ。それが一意に定まることを示せばいいね。構造をふたつ仮定して同じであることを示すよ。」

[Gsan @gsan_]

最近流行ってる世界のどこかで産まれるゲームで、ストレスの発散方法としてお酒が提案されるが、選ぶと人間関係のパラメータが下がるので、僕も控えようと思いました。

[Samuel Fitoussi @SamuelFitouss10]

Il y a quelque chose de profondément attristant dans la jubilation mauvaise de gens médiocres devant le désarroi de mathématiciens de génie qui ont consacré leur vie (ou projetaient de la consacrer) à l’une des plus hautes et des plus nobles activités de l’esprit.

[Gsan @gsan_]

普通に自分が何をするかわからなくて暴れ馬に常に乗っている気分なんですが、これをコントロールできるようになったらチュートリアル終了な気がします。

[Gsan @gsan_]

助けて！失神する！

[Gsan @gsan_]

助けて！失神する！

[Gsan @gsan_]

助けて！失神する！

[Gsan @gsan_]

厳しすぎます

[Gsan @gsan_]

16個の正方形の最適なパッキングが一瞬証明できなくて泣いちゃった(面積求めればいいですね)

[Gsan @gsan_]

教授は正しかったのかもなぁと。Problem solverになるのではなく、知りたいことを研究しなさいと言われてた気がします。

[Gsan @gsan_]

逆にうまくいかなかった問題教えて欲しいなぁ(絶対してくれないけど)

[Quantіan @quantian1]

You can do Fourier transforms in O(N log(N)^0.9999999999999) time. Fuck this gay chud universe

[Gsan @gsan_]

；；；；；；

[官報ブログ @kanpo_blog]

日本トイザらスが民事再生、おもちゃ量販店では過去最大の倒産 ｜ 民事再生法の適用を申請 負債132億円　https://t.co/IkAx39ohfc

負債は債権者約1100名に対し約132億円、おもちゃ量販店では過去最大の倒産となった。

[Gsan @gsan_]

いいなぁ

[Mamoru B Komachi @mamoruk]

今年から PFN の皆さんに「人工知能特論」の授業をしていただいており、1-2回目は齋藤俊太さん、3回目の今日は岡野原大輔さんの講義。QAの時間たっぷり取ってくださったが、無茶苦茶挙手が多くてとてもいい。Appleでインターンしてたとき毎日のようにトークがあったが、そのときもすごい挙手率だった。

[Ryan Williams @rrwilliams.bsky.social @rrwilliams]

The Alon-Yuster-Zwick color coding trick can be used to get 2^{O(sqrt(n))} size depth-3 AC circuits for every symmetric Boolean function!! https://t.co/ouqCtwJ1EQ
Just the latest exhibit that "circuit lower bounds are hard to prove because they are false"

[Gsan @gsan_]

文書書きたくないー破滅的行動を繰り返してます

[ryo (supercell) @ryo_spcl]

supercell、再始動します。
新曲「夜と青」、ボーカルはやなぎなぎ。
劇場アニメーション『魔法使いの夜』の主題歌です。
今回のことを、自分の言葉でnoteに書きました。
https://t.co/q0A8qMNU58