なたがわ

Software Engineer

[なたがわ @t5nat]

新幹線とかで読むぞ、と思ってカバンに詰めた数学書を大学生の頃はまともに開いた試しすらなかったけど、29歳にして東京から新大阪までちゃんと読みながら乗った　ドパガキ卒業

[なたがわ @t5nat]

現代、LLMのおかげで数学書読みやすくて最高すぎる　まあこないだ行間を埋める時に[0,1]が連結な証明が欲しくなってサボってAIに投げたらめっちゃ嘘証明出してきたんですけども...

[なたがわ @t5nat]

@elkurin_ 30歳おめでとう

[なたがわ @t5nat]

@Rin_5523 52持っておけばだいたい大丈夫です‼️やりましょう

[コンピュータを科学する | 東京大学理学部情報科学科 @IS_MayFes]

理学部情報科学科は第99回五月祭(2026.5.16-17)にて初の学科企画「コンピュータを科学する」を実施します！

内容は以下の通りです：
1. 学生有志冊子の頒布
2. ライトニングトーク
3. ポスター等の展示

今後情報を発信していくので是非フォローしてください🙇

#東京大学 #五月祭 #好きが芽吹くとき

[なたがわ @t5nat]

軽率にnixos-rebuildしたらなんかdenoのフルビルドが走って一生v8のビルド待ちしてる　今日��かったのでパソコンがあったかくて助かる

[なたがわ @t5nat]

11年越しに雪江代数1読破した　群がある程度大きい部分群を持つとその剰余類への自然な作用が忠実じゃなくなるとか、シローp部分群は1つなら正規だしある程度少ないならこれまた共役作用から非自明なカーネルが取れるとか、あの手この手で正規部分群を引き摺り出す系の話が個人的にお気に入り

[なたがわ @t5nat]

2019年ぐらいからずーーーっとFedora Silverblue使いだったけど昨日の夜なんとなく思い立ってNix OS突っ込んでみた

[なたがわ @t5nat]

@elkurin_ C++警察しながらC++のネガキャンしてる

[なたがわ @t5nat]

@elkurin_ 漸く引っ越す気になった？

[なたがわ @t5nat]

あけましておめでとうございます　絶賛インフルに臥してますが、今年はもう伸びしろしかないということで…

[なたがわ @t5nat]

たくろうめちゃくちゃわらった

[なたがわ @t5nat]

最高！

[なたがわ @t5nat]

おもしれえ　すこ

[なたがわ @t5nat]

std::start_lifetime_asのproposalにこう書いてあるからマジでない説がある

https://t.co/tkI8XUnaCi

[なたがわ @t5nat]

C++でtrivially copyableなobjectをメモリ上の配置のままいったんバイト列として書き出して、それを別プロセスで読み込んで戻す時って（alignment/sizeは当然確認するとして）char*なりからのreinterpret_castだとどうやってもUBだよね？ちゃんとmemcpyしてコンパイラの最適化を祈るしかない？

[なたがわ @t5nat]

C++23からのstd::start_lifetime_asが欲しいものに見えるけどC++23以前で確実にzero-copyでやる方法もしかしてない...？

[佐藤 竜馬 / Ryoma Sato @joisino_]

何だよその引き算の解き方は https://t.co/IWu1hJgqhT

[なたがわ @t5nat]

ランチも一緒に頂いたんだけど、腹壊してて食うのめっちゃゆっくりになっちゃったからアルゴリズムの問題を出すことで時間を稼いだ　みんなオタクで助かった